Douglas Hofstadter: Difference between revisions
No edit summary |
No edit summary |
||
| Line 19: | Line 19: | ||
** [[Self-Ref and Self-Rep]] | ** [[Self-Ref and Self-Rep]] | ||
** [[Church, Turing, Tarski, and Others]] | ** [[Church, Turing, Tarski, and Others]] | ||
** [[Artificial Intelligence: Retrospects]] | |||
** [[Artificial Intelligence: Prospects]] | ** [[Artificial Intelligence: Prospects]] | ||
** [[Strange Loops, Or Tangled Hierarchies]] | ** [[Strange Loops, Or Tangled Hierarchies]] | ||
Revision as of 15:47, 23 July 2024
Books:
- Gödel, Escher Bach:
- Introduction: A Musico-Logical Offering
- The MU Puzzle
- Meaning and Form in Mathematics
- Figure and Ground
- Consistency, Completeness, and Geometry
- Recursive Structures and Processes
- The Location of Meaning
- The Propositional Calculus
- Typographical Number Theory
- Mumon and Gödel
- Levels of Description, and Computer Systems
- Brains and Thoughts
- Minds and Thoughts
- BlooP and FlooP and GlooP
- On Formally Undecideable Propositions of TNT and Related Systems
- Jumping out of the System
- Self-Ref and Self-Rep
- Church, Turing, Tarski, and Others
- Artificial Intelligence: Retrospects
- Artificial Intelligence: Prospects
- Strange Loops, Or Tangled Hierarchies