Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Analytic — See also: Analysis Contents 1 Natural sciences 2 Philosophy 3 Social sciences … Wikipedia
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Analytic number theory — In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve number theoretical problems. [Page 7 of Apostol 1976] It is often said to have begun with Dirichlet s introduction of… … Wikipedia
Analytic geometry — Cartesian coordinates. Analytic geometry, or analytical geometry has two different meanings in mathematics. The modern and advanced meaning refers to the geometry of analytic varieties. This article focuses on the classical and elementary meaning … Wikipedia
Analytic continuation — In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where … Wikipedia
Analytic set — This article is about analytic sets as defined in descriptive set theory. There is another notion in the context of analytic varieties. In descriptive set theory, a subset of a Polish space X is an analytic set if it is a continuous image of a… … Wikipedia
Analytic capacity — In complex analysis, the analytic capacity of a compact subset K of the complex plane is a number that denotes how big a bounded analytic function from mathbb{C}setminus E can become. Roughly speaking, gamma(E) measures the size of the unit ball… … Wikipedia
Proof that holomorphic functions are analytic — In complex analysis, a field of mathematics, a complex valued function f of a complex variable z *is holomorphic at a point a iff it is differentiable at every point within some open disk centered at a , and* is analytic at a if in some open disk … Wikipedia
