Related tags
Related subjects
Logic, Symbolic and mathematical (11)
Metamathematics (7)
Gèodel's theorem (6)
Mathematics (6)
Godel, Kurt (4)
Proof theory (4)
Intellect (4)
Mathematics › Philosophy (4)
Soul (4)
Philosophy (4)
Science › Philosophy (3)
Gödel's theorem (3)
Related tagmashes
logic, mathematics (15)
logic, non-fiction (12)
logic, philosophy (10)
mathematics, popular science (9)
mathematics, non-fiction, science (7)
paradox, science (7)
logic, philosophy of science (6)
computer science, mathematics (5)
logic, puzzles (5)
Tag info: metamathematics
Includes: metamathematics, meta-mathematics (what?)
Tag and its aliases used 89 times by 46 users.
Most often tagged metamathematics
- Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter (35)
- Metamagical Themas: Questing For The Essence Of Mind And… by Douglas R. Hofstadter (6)
- Gödel’s Proof by Ernest Nagel (4)
- On Formally Undecidable Propositions of Principia… by Kurt Godel (4)
- Meta Math!: The Quest for Omega by Gregory Chaitin (3)
- Introduction to Metamathematics by Stephen Cole Kleene (3)
- Infinity and the Mind by Rudy Rucker (2)
- Logic, Semantics, Metamathematics by Alfred Tarski (2)
- The Mind's I: Fantasies and Reflections on Self and Soul by Douglas R. Hofstadter (2)
- First-Order Logic: A Concise Introduction (The Jones and… by John Heil (1)
- Theory of formal systems by Raymond M. Smullyan (1)
- Logic and Structure by Dirk van Dalen (1)
- What Is Mathematics?: An Elementary Approach to Ideas and… by Richard Courant (1)
- Mind Tools: The Five Levels of Mathematical Reality by Rudy Rucker (1)
- Incompleteness: The Proof and Paradox of Kurt Godel (Great… by Rebecca Goldstein (1)
- The Philosophy of Mathematics: An Introductory Essay… by Stephan Korner (1)
- How to Read and Do Proofs: An Introduction to Mathematical… by Daniel Solow (1)
- Forever Undecided: A Puzzle Guide to Godel by Raymond M. Smullyan (1)
- The Calculi of Lambda Conversion. (AM-6) (Annals of… by Alonzo Church (1)
- Laws of Form by G. Spencer-Brown (1)
Using the tag metamathematics
bertilak (9), hermannstone (5), chrestomathy (3), divisionbyzer0 (3), swickape (2), FarnumTanner (2), byorgey (2), zduncan (2), sqrt0 (2), zabeth69 (2), mdransfield (2), cirdan747 (2), ison (2), frankcain (1), TheoClarke (1), stromatolite (1), klweaver (1), VesonNautical (1), vararuci (1), mohorovicic (1), anomie (1) ... and 26 other membersRecently tagged metamathematics
Nothing tagged recently.