# GetWiki

*metamathematics*

ARTICLE SUBJECTS

being →

database →

ethics →

fiction →

history →

internet →

language →

linux →

logic →

method →

news →

policy →

purpose →

religion →

science →

software →

truth →

unix →

wiki →

ARTICLE TYPES

essay →

feed →

help →

system →

wiki →

ARTICLE ORIGINS

critical →

forked →

imported →

original →

metamathematics

[ temporary import ]

**please note:**

- the content below is remote from Wikipedia

- it has been imported raw for GetWiki

**Metamathematics**is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th century. Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic" (Kleene 1952, p. 59). An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system. An informal illustration of this is categorizing the proposition "2+2=4" as belonging to mathematics while categorizing the proposition "'2+2=4' is valid" as belonging to metamathematics.

## History

Metamathematical metatheorems about mathematics itself were originally differentiated from ordinary mathematical theorems in the 19th century to focus on what was then called the foundational crisis of mathematics. Richard's paradox (Richard 1905) concerning certain 'definitions' of real numbers in the English language is an example of the sort of contradictions that can easily occur if one fails to distinguish between mathematics and metamathematics. Something similar can be said around the well-known Russell's paradox (Does the set of all those sets that do not contain themselves contain itself?).Metamathematics was intimately connected to mathematical logic, so that the early histories of the two fields, during the late 19th and early 20th centuries, largely overlap. More recently, mathematical logic has often included the study of new pure mathematics, such as set theory, recursion theory and pure model theory, which is not directly related to metamathematics{{citation needed|date=March 2013}}.Serious metamathematical reflection began with the work of Gottlob Frege, especially his*Begriffsschrift*.David Hilbert was the first to invoke the term "metamathematics" with regularity (see Hilbert's program). In his hands, it meant something akin to contemporary proof theory, in which finitary methods are used to study various axiomatized mathematical theorems (Kleene 1952, p. 55).Other prominent figures in the field include Bertrand Russell, Thoralf Skolem, Emil Post, Alonzo Church, Stephen Kleene, Willard Quine, Paul Benacerraf, Hilary Putnam, Gregory Chaitin, Alfred Tarski and Kurt GÃ¶del.Today, metalogic and metamathematics are largely synonymous{{citation needed|date=March 2013}} with each other, and both have been substantially subsumed by mathematical logic in academia.

## Milestones

### The discovery of hyperbolic geometry

{{See also|Non-Euclidean geometry#History |Hyperbolic geometry#History}}The discovery of hyperbolic geometry had important philosophical consequences for Metamathematics. Before its discovery there was just one geometry and mathematics; the idea that another geometry existed was considered improbable.When Gauss discovered hyperbolic geometry, it is said that he did not publish anything about it out of fear of the "uproar of the Boeotians", which would ruin his status as*princeps mathematicorum*(Latin, "the Prince of Mathematicians").BOOK, Torretti, Roberto, Philosophy of Geometry from Riemann to Poincare, 1978, Reidel, Dordrecht Holland, 255, The "uproar of the Boeotians" came and went, and gave an impetus to metamathematics and great improvements in mathematical rigour, analytical philosophy and logic.

### Begriffsschrift

**(German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.**

*Begriffsschrift**Begriffsschrift*is usually translated as

*concept writing*or

*concept notation*; the full title of the book identifies it as "a formula language, modeled on that of arithmetic, of pure thought." Frege's motivation for developing his formal approach to logic resembled Leibniz's motivation for his calculus ratiocinator (despite that, in his

*Foreword*Frege clearly denies that he reached this aim, and also that his main aim would be constructing an ideal language like Leibniz's, what Frege declares to be quite hard and idealistic, however, not impossible task). Frege went on to employ his logical calculus in his research on the foundations of mathematics, carried out over the next quarter century.

### Principia Mathematica

Principia Mathematica, or "PM" as it is often abbreviated, was an attempt to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven. As such, this ambitious project is of great importance in the history of mathematics and philosophy,WEB,weblink Principia Mathematica (Stanford Encyclopedia of Philosophy), Irvine, Andrew D., 1 May 2003, Metaphysics Research Lab, CSLI, Stanford University, 5 August 2009, being one of the foremost products of the belief that such an undertaking may be achievable. However, in 1931, GÃ¶del's incompleteness theorem proved definitively that PM, and in fact any other attempt, could never achieve this lofty goal; that is, for any set of axioms and inference rules proposed to encapsulate mathematics, there would in fact be some truths of mathematics which could not be deduced from them.One of the main inspirations and motivations for*PM*was the earlier work of Gottlob Frege on logic, which Russell discovered allowed for the construction of paradoxical sets.

*PM*sought to avoid this problem by ruling out the unrestricted creation of arbitrary sets. This was achieved by replacing the notion of a general set with notion of a hierarchy of sets of different 'types', a set of a certain type only allowed to contain sets of strictly lower types. Contemporary mathematics, however, avoids paradoxes such as Russell's in less unwieldy ways, such as the system of Zermeloâ€“Fraenkel set theory.

### GÃ¶del's incompleteness theorem

GÃ¶del's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt GÃ¶del in 1931, are important both in mathematical logic and in the philosophy of mathematics. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem.The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that such a system cannot demonstrate its own consistency.### Tarski's definition of model-theoretic satisfaction

The T-schema or truth schema (not to be confused with 'Convention T') is used to give an inductive definition of truth which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett.BOOK, Wolfgang KÃ¼nne, Conceptions of truth,weblink 2003, Clarendon Press, 978-0-19-928019-3, 18, The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a**. T-theories form the basis of much fundamental work in philosophical logic, where they are applied in several important controversies in analytic philosophy.As expressed in semi-natural language (where 'S' is the name of the sentence abbreviated to S):'S' is true if and only if SExample: 'snow is white' is true if and only if snow is white.**

*T-theory*### The impossibility of the Entscheidungsproblem

The (German for 'decision problem') is a challenge posed by David Hilbert in 1928.Hilbert and Ackermann The asks for an algorithm that takes as input a statement of a first-order logic (possibly with a finite number of axioms beyond the usual axioms of first-order logic) and answers "Yes" or "No" according to whether the statement is*universally valid*, i.e., valid in every structure satisfying the axioms. By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.In 1936, Alonzo Church and Alan Turing published independent papersChurch's paper was presented to the American Mathematical Society on 19 April 1935 and published on 15 April 1936. Turing, who had made substantial progress in writing up his own results, was disappointed to learn of Church's proof upon its publication (see correspondence between Max Newman and Church in Alonzo Church papers {{webarchive|url=https://web.archive.org/web/20100607132453weblink |date=2010-06-07 }}). Turing quickly completed his paper and rushed it to publication; it was received by the

*Proceedings of the London Mathematical Society*on 28 May 1936, read on 12 November 1936, and published in series 2, volume 42 (1936-7); it appeared in two sections: in Part 3 (pages 230-240), issued on Nov 30, 1936 and in Part 4 (pages 241-265), issued on Dec 23, 1936; Turing added corrections in volume 43(1937) pp. 544â€“546. See the footnote at the end of Soare:1996. showing that a general solution to the Entscheidungsproblem is impossible, assuming that the intuitive notation of "effectively calculable" is captured by the functions computable by a Turing machine (or equivalently, by those expressible in the lambda calculus). This assumption is now known as the Churchâ€“Turing thesis.

## See also

## References

{{reflist}}## Further reading

- W. J. Blok and Don Pigozzi, "Alfred Tarski's Work on General Metamathematics",
*The Journal of Symbolic Logic*, v. 53, No. 1 (Mar., 1988), pp. 36–50. - I. J. Good. "A Note on Richard's Paradox".
*Mind*, New Series, Vol. 75, No. 299 (Jul., 1966), p. 431. JStor - Douglas Hofstadter, 1980.
*GÃ¶del, Escher, Bach*. Vintage Books. Aimed at laypeople. - Stephen Cole Kleene, 1952.
*Introduction to Metamathematics*. North Holland. Aimed at mathematicians. - Jules Richard,
*Les Principes des MathÃ©matiques et le ProblÃ¨me des Ensembles*,*Revue GÃ©nÃ©rale des Sciences Pures et AppliquÃ©es*(1905); translated in Heijenoort J. van (ed.),*Source Book in Mathematical Logic 1879-1931*(Cambridge, Massachusetts, 1964). - Alfred North Whitehead, and Bertrand Russell.
*Principia Mathematica*, 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as*Principia Mathematica to 56*, Cambridge University Press, 1962.

**- content above as imported from Wikipedia**

- "

- time: 12:05pm EDT - Sun, Sep 23 2018

- "

__metamathematics__" does not exist on GetWiki (yet)- time: 12:05pm EDT - Sun, Sep 23 2018

[ this remote article is provided by Wikipedia ]

LATEST EDITS [ see all ]

GETWIKI 09 MAY 2016

GETWIKI 18 OCT 2015

GETWIKI 20 AUG 2014

GETWIKI 19 AUG 2014

GETWIKI 18 AUG 2014

© 2018 M.R.M. PARROTT | ALL RIGHTS RESERVED