|
|
| Line 1: |
Line 1: |
| Books: | | Books: |
| * [[Gödel, Escher Bach]]: | | * [[Gödel, Escher Bach]] |
| ** [[Introduction: A Musico-Logical Offering]]
| | * [[I am a Strange Loop]] |
| ** [[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]]
| |
| * I am a Strange Loop
| |
