This follows from formal theorems in metamathematics as well as from the history of science. ❋ Unknown (2006)
He talks about the lyrics of 1960s songwriter Randy Newman in terms of metamathematics. ❋ Unknown (2009)
He also contributed to general metamathematics (the theory of consequence operation) and intuitionistic logic. ❋ Wole&324;ski, Jan (2009)
Hilbert found a much more important field to which his “metamathematics” was to be applied, namely arithmetic and analysis. ❋ Unknown (2009)
Soon it dawned on a few insightful souls, Gödel foremost among them, that this way of looking at things opened up a brand-new branch of mathematics — namely, metamathematics. ❋ Sean (2008)
Its subject matter is mathematics and metamathematics, not physics and metaphysics. ❋ James F. McGrath (2008)
Or, perhaps we could call it "psychological metamathematics" until we can think of a better name. ❋ Bill Kerr (2008)
In standard metamathematics, an important role for a thorough understanding of the second incompleteness theorem has been played by Löb's theorem (Löb 1955). ❋ Cantini, Andrea (2007)
On a different but important front, it can be argued that the distinction between mathematics and metamathematics cannot be articulated in the way it has been. ❋ Marquis, Jean-Pierre (2007)
(Curry here makes an exception for metamathematics.) ❋ Horsten, Leon (2007)
The intuitive-contentual operations with signs forms the basis of Hilbert's metamathematics. ❋ Zach, Richard (2003)
By analogy with Hilbert's metamathematics, Tarski constructed metalogic as a distinct discipline. ❋ ROBERT BLANCH (1968)
The halting of these attempts and their futility were explained and sanctioned by the famous proof by K. Gödel (1931); the proof itself was drawn by the rigor - ous procedures of metamathematics and established that the proposition which states the noncontradictori ness of a system in which arithmetic can be developed is not decidable within this system. ❋ ROBERT BLANCH (1968)
Polish-born American mathematician and logician who made important studies of general algebra, measure theory, mathematical logic, set theory, and metamathematics. ❋ Unknown (2009)
One of the big intellectual foundations of functionalism is the work in computability theory that form the core of computer science and modern metamathematics. ❋ Unknown (2009)
And interestingly, a major influence of metamathematics shows up in his work on Lisp, giving rise to the notion that "Numbers are Symbols Too." ❋ Unknown (2008)
Research into this type of question -- the subject being generally called ` metamathematics '-- continues apace. ❋ Unknown (1977)
4 Early partial formalizations and metamathematics ❋ Van Atten, Mark (2009)
Paradoxes: between metamathematics and type-free foundations (1930 “ 1945) 5.1 Paradoxes and diagonalization ❋ Cantini, Andrea (2007)
Paradoxes: between metamathematics and type-free foundations (1930 “ 1945) ❋ Cantini, Andrea (2007)