Douglas Hofstadter: Difference between revisions
No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
** [[The MU Puzzle]] | ** [[The MU Puzzle]] | ||
** [[Meaning and Form in Mathematics]] | ** [[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: Prospects]] | |||
** [[Strange Loops, Or Tangled Hierarchies]] | |||
Revision as of 08:31, 6 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: Prospects
- Strange Loops, Or Tangled Hierarchies