(show numbers)
Related tags

ai(43) artificial intelligence(77) bach(26) cognition(24) cognitive science(72) computer science(68) douglas r. hofstadter(8) escher(36) godel(47) hofstadter(20) incompleteness(8) logic(70) logica(12) loops(8) mathematics(237) metamathematics(25) mind(35) paradox(23) philosophy of mind(25) recreational mathematics(13) recursion(22) self-reference(14) strange loops(8) symmetry(14) turing test(10)

ai(43) artificial intelligence(77) bach(26) cognition(24) cognitive science(72) computer science(68) douglas r. hofstadter(8) escher(36) godel(47) hofstadter(20) incompleteness(8) logic(70) logica(12) loops(8) mathematics(237) metamathematics(25) mind(35) paradox(23) philosophy of mind(25) recreational mathematics(13) recursion(22) self-reference(14) strange loops(8) symmetry(14) turing test(10)

Related Subjects

Artificial intelligence (8)

Artificial intelligence (8)

Science › Philosophy (4)

Mathematics (4)

Logic, Symbolic and mathematical (3)

Science › Philosophy (2)

Self (Philosophy) (2)

Gèodel, Kurt (2)

Godel, Kurt (2)

Gï¿œdel, Kurt (2)

Self (Philosophy) (2)

Gèodel's theorem (2)

Bach, Johann Sebastian, 1685-1750 (2)

Gödel, Kurt (2)

Decidability (Mathematical logic) (2)

Logic, Symbolic and mathematical (2)

Escher, M. C. (Maurits Cornelis), 1898-1972 (2)

Gï¿œodel, Kurt (2)

Science › Methodology (1)

Recursive functions (1)

Related Tagmashes

physics, psychology (4)

geometry, recreational mathematics (4)

AI, computers (4)

artificial intelligence, biology, chaos, complexity (4)

cognitive science, social science (4)

computers, quantum physics (4)

mathematics, non-fiction, science (4)

music, philosophy (4)

psychology, puzzles (4)

artificial intelligence, computers (4)

Subject: Metamathematics

Sub-subjects

Metamathematics (7 works)

Metamathematics (3 works)

Books under this subject

Gödel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter (6,480 copies)
Metamagical Themas: Questing For The Essence Of Mind And… by Douglas R. Hofstadter (1,384 copies)
Introduction to Metamathematics by Stephen Cole Kleene (32 copies)
Theory of formal systems by Raymond M. Smullyan (10 copies)
Elementary Logic of Sciences and Mathematics by P. H. Nidditch (2 copies)
The mathematics of metamathematics (Polska Akademia Nauk.… by Helena Rasiowa (2 copies)
Natural deduction the logical basis of axiom systems by John Mueller Anderson (1 copies)

Help/FAQs | About | Privacy/Terms | Blog | Contact | APIs | WikiThing | Common Knowledge | 46,149,483 books!

Copyright LibraryThing and/or members of LibraryThing, authors, publishers, libraries, cover designers, Amazon, Bol, Bruna, etc. | static: /