-
categorizing the
proposition "'2+2=4' is valid" as
belonging to
metamathematics.
Metamathematical metatheorems about mathematics itself were
originally differentiated...
-
instead of "<", may be
found in
Machover (1996, pp. 256–257). On the
metamathematics of Q see Boolos,
Burgess &
Jeffrey (2002, chpt. 16), Tarski, Mostowski...
- the
importance of
distinguishing carefully between mathematics and
metamathematics. Kurt Gödel
specifically cites Richard's
antinomy as a
semantical analogue...
-
foundational for
formal linguistics,
computer science, logic, and
metamathematics especially proof theory. A
generative grammar can be seen as a recursive...
- destro**** the
borderline between metamathematics and mathematics. He
objected to
restricting the role of
metamathematics to the
foundations of mathematics...
- as a
field of
study or
endeavor (metatheory:
theory about a theory;
metamathematics:
mathematical theories about mathematics; meta-axiomatics or meta-axiomaticity:...
-
consistency and
completeness of mathematics,
creating the
topic of
metamathematics. His
hopes for the
success of this
proof were
disappointed by the work...
-
Archived 2013-04-03 at the
Wayback Machine S. C. Kleene,
Introduction to
Metamathematics (1952), Van
Nostrand Publishing. p.88. Hunter,
Geoffrey (1996) [1971]...
- is that
these tiny
fragments of set
theory give rise to such rich
metamathematics.
While ST is a
small fragment of the well-known
canonical set theories...
-
Stephen Kleene in 1938 and
appear in his 1952 book
Introduction to
Metamathematics. A
related theorem,
which constructs fixed points of a com****ble function...
