Main Page
From Geb
(Difference between revisions)
(→Chapter IX: Mumon and Gödel) |
|||
| (42 intermediate revisions not shown) | |||
| Line 1: | Line 1: | ||
| - | Gödel, Escher, Bach | + | This wiki is for conversations and thoughts on ''Gödel, Escher, Bach: An Eternal Golden Braid,'' a Pulitzer Prize-winning book by Douglas R. Hofstadter, who describes the work as "a metaphorical fugue on minds and machines in the spirit of Lewis Carroll". |
| - | + | Click [[Special:Allpages|here]] to view a list of all pages with content. This page contains links to the pages for each section of each chapter of the book, where you can enter your own thoughts about each section. (Red links are pages that haven't been created yet, but you can be the first to add a comment!) | |
| - | __NOTOC__ | + | |
| - | =[[ | + | <!-- __NOTOC__ --> |
| - | ==[[ | + | |
| - | *[[Author]] | + | =[[Part I: GEB]]= |
| + | |||
| + | ==[[Introduction: A Musico-Logical Offering]]== | ||
| + | *''[[Author]]'' | ||
*[[Bach]] | *[[Bach]] | ||
*[[Canons and Fugues]] | *[[Canons and Fugues]] | ||
| Line 17: | Line 20: | ||
*[[...and Bach]] | *[[...and Bach]] | ||
*[[Gödel Escher Bach]] | *[[Gödel Escher Bach]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Three-Part Invention]]''== |
| + | |||
| + | ==[[Chapter I: The MU-puzzle]]== | ||
*[[Formal Systems]] | *[[Formal Systems]] | ||
*[[Theorems, Axioms, Rules]] | *[[Theorems, Axioms, Rules]] | ||
| Line 25: | Line 30: | ||
*[[M-Mode, I-Mode, U-Mode]] | *[[M-Mode, I-Mode, U-Mode]] | ||
*[[Decision Procedures]] | *[[Decision Procedures]] | ||
| - | + | ||
| - | ==[[ | + | ==[[Two-Part Invention]]== |
| + | |||
| + | ==[[Chapter II: Meaning and Form in Mathematics]]== | ||
*[[The pq-System]] | *[[The pq-System]] | ||
*[[The Decision Procedure]] | *[[The Decision Procedure]] | ||
| Line 41: | Line 48: | ||
*[[Getting Around Infinity]] | *[[Getting Around Infinity]] | ||
*[[Sonata for Unaccompanied Achilles]] | *[[Sonata for Unaccompanied Achilles]] | ||
| - | ==[[ | + | |
| + | ==[[Chapter III: Figure and Ground]]== | ||
*[[Primes vs. Composites]] | *[[Primes vs. Composites]] | ||
*[[The tq-System]] | *[[The tq-System]] | ||
| Line 50: | Line 58: | ||
*[[Recursively Enumerable Sets vs. Recursive Sets]] | *[[Recursively Enumerable Sets vs. Recursive Sets]] | ||
*[[Primes as Figure Rather than Ground]] | *[[Primes as Figure Rather than Ground]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Contracrostipunctus]]''== |
| + | |||
| + | ==[[Chapter IV: Consistency, Completeness, and Geometry]]== | ||
*[[Implicit and Explicit Meaning]] | *[[Implicit and Explicit Meaning]] | ||
*[[Explicit Meaning of the Contracrostipunctus]] | *[[Explicit Meaning of the Contracrostipunctus]] | ||
| Line 73: | Line 83: | ||
*[[How an Interpretation May Make or Break Completeness]] | *[[How an Interpretation May Make or Break Completeness]] | ||
*[[Incompleteness of Formalized Number Theory]] | *[[Incompleteness of Formalized Number Theory]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Little Harmonic Labyrinth]]''== |
| + | |||
| + | ==[[Chapter V: Recursive Structures and Processes]]== | ||
*[[What Is Recursion?]] | *[[What Is Recursion?]] | ||
*[[Pushing, Popping, and Stacks]] | *[[Pushing, Popping, and Stacks]] | ||
| Line 90: | Line 102: | ||
*[[Recursion in Chess Programs]] | *[[Recursion in Chess Programs]] | ||
*[[Recursion and Unpredictability]] | *[[Recursion and Unpredictability]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Canon by Intervallic Augmentation]]''== |
| + | |||
| + | ==[[Chapter VI: The Location of Meaning]]== | ||
*[[When is One Thing Not Always the Same?]] | *[[When is One Thing Not Always the Same?]] | ||
*[[Information-Bearers and Information-Revealers]] | *[[Information-Bearers and Information-Revealers]] | ||
| Line 112: | Line 126: | ||
*[[Bach vs. Cage Again]] | *[[Bach vs. Cage Again]] | ||
*[[How Universal Is DNA's Message?]] | *[[How Universal Is DNA's Message?]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Chromatic Fantasy, and Feud]]''== |
| + | |||
| + | ==[[Chapter VII: The Propositional Calculus]]== | ||
*[[Words and Symbols]] | *[[Words and Symbols]] | ||
*[[Alphabet and First Rule of the Propositional Calculus]] | *[[Alphabet and First Rule of the Propositional Calculus]] | ||
| Line 135: | Line 151: | ||
*[[Proofs vs. Derivations]] | *[[Proofs vs. Derivations]] | ||
*[[The Handling of Contradictions]] | *[[The Handling of Contradictions]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Crab Canon]]''== |
| + | |||
| + | ==[[Chapter VIII: Typographical Number Theory]]== | ||
*[[The Crab Canon and Indirect Self-Reference]] | *[[The Crab Canon and Indirect Self-Reference]] | ||
*[[What We Want to Be Able to Express in TNT]] | *[[What We Want to Be Able to Express in TNT]] | ||
| Line 158: | Line 176: | ||
*[[Why Specification and Generalization Are Restricted]] | *[[Why Specification and Generalization Are Restricted]] | ||
*[[Something Is Missing]] | *[[Something Is Missing]] | ||
| - | *[[ | + | *[[omega-Incomplete Systems and Undecidable Strings]] |
*[[Non-Euclidean TNT]] | *[[Non-Euclidean TNT]] | ||
| - | *[[ | + | *[[omega-Inconsistency Is Not the Same as Inconsistency]] |
*[[The Last Rule]] | *[[The Last Rule]] | ||
*[[A Long Derivation]] | *[[A Long Derivation]] | ||
| Line 167: | Line 185: | ||
*[[Number Theorists Go out of Business]] | *[[Number Theorists Go out of Business]] | ||
*[[Hilbert's Program]] | *[[Hilbert's Program]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[A Mu Offering]]''== |
| + | |||
| + | ==[[Chapter IX: Mumon and Gödel]]== | ||
| + | |||
*[[What is Zen?]] | *[[What is Zen?]] | ||
*[[Zen Master Mumon]] | *[[Zen Master Mumon]] | ||
| Line 181: | Line 202: | ||
*[[Mumon Shows Us How to Solve the MU-puzzle]] | *[[Mumon Shows Us How to Solve the MU-puzzle]] | ||
*[[Gödel-Numbering the MIU-System]] | *[[Gödel-Numbering the MIU-System]] | ||
| - | *[[Seeing Things Both Typographically and | + | *[[Seeing Things Both Typographically and Arithemtically]] |
*[[MIU-Producible Numbers]] | *[[MIU-Producible Numbers]] | ||
*[[Answering Questions about Producible Numbers by Consulting TNT]] | *[[Answering Questions about Producible Numbers by Consulting TNT]] | ||
| Line 191: | Line 212: | ||
*[[G: A String Which Talks about Itself in Code]] | *[[G: A String Which Talks about Itself in Code]] | ||
*[[G's Existence Is What Causes TNT's Incompleteness]] | *[[G's Existence Is What Causes TNT's Incompleteness]] | ||
| - | *[[Mumon Has the Last Word]] | + | *[[Mumon Has the Last Word]] |
| - | =[[ | + | |
| - | + | =[[Part II: EGB]]= | |
| - | ==[[ | + | |
| - | + | ==''[[Prelude...]]''== | |
| - | + | ||
| - | + | ==[[Chapter X: Levels of Description, and Computer Systems]]== | |
| - | + | ||
| - | + | ==''[[...Ant Fugue]]''== | |
| - | + | ||
| - | + | ==[[Chapter XI: Brains and Thoughts]]== | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | ==[[ | + | |
*[[New Perspectives on Thought]] | *[[New Perspectives on Thought]] | ||
*[[Intensionality and Extensionality]] | *[[Intensionality and Extensionality]] | ||
| Line 246: | Line 246: | ||
*[[Procedural and Declarative Knowledge]] | *[[Procedural and Declarative Knowledge]] | ||
*[[Visual Imagery]] | *[[Visual Imagery]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[English French German Suite]]''== |
| + | |||
| + | ==[[Chapter XII: Minds and Thoughts]]== | ||
*[[Can Minds Be Mapped onto Each Other?]] | *[[Can Minds Be Mapped onto Each Other?]] | ||
*[[Comparing Different Semantic Networks]] | *[[Comparing Different Semantic Networks]] | ||
| Line 266: | Line 268: | ||
*[[The Self-Symbol and Consciousness]] | *[[The Self-Symbol and Consciousness]] | ||
*[[Our First Encounter with Lucas]] | *[[Our First Encounter with Lucas]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Aria with Diverse Variations]]''== |
| + | |||
| + | ==[[Chapter XIII: BlooP and FlooP and GlooP]]== | ||
*[[Self-Awareness and Chaos]] | *[[Self-Awareness and Chaos]] | ||
*[[Representability and Refrigerators]] | *[[Representability and Refrigerators]] | ||
| Line 299: | Line 303: | ||
*[[Terminology: General and Partial Recursive]] | *[[Terminology: General and Partial Recursive]] | ||
*[[The Power of TNT]] | *[[The Power of TNT]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Air on G's String]]''== |
| + | |||
| + | ==[[Chapter XIV: On Formally Undecidable Propositions of TNT and Related Systems]]== | ||
*[[The Two Ideas of the Oyster]] | *[[The Two Ideas of the Oyster]] | ||
*[[The First Idea: Proof-Pairs]] | *[[The First Idea: Proof-Pairs]] | ||
| Line 312: | Line 318: | ||
*[[Yields Nontheoremhood When Arithmoquined]] | *[[Yields Nontheoremhood When Arithmoquined]] | ||
*[[Gödel's Second Theorem]] | *[[Gödel's Second Theorem]] | ||
| - | *[[TNT Is | + | *[[TNT Is ω-Incomplete]] |
*[[Two Different Ways to Plug Up the Hole]] | *[[Two Different Ways to Plug Up the Hole]] | ||
*[[Supernatural Numbers]] | *[[Supernatural Numbers]] | ||
| Line 323: | Line 329: | ||
*[[Bifurcations in Number Theory, and Metamathematicians]] | *[[Bifurcations in Number Theory, and Metamathematicians]] | ||
*[[Hilbert's Tenth Problem and the Tortoise]] | *[[Hilbert's Tenth Problem and the Tortoise]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Birthday Cantatatata...]]''== |
| + | |||
| + | ==[[Chapter XV: Jumping Out of the System]]== | ||
*[[A More Powerful Formal System]] | *[[A More Powerful Formal System]] | ||
*[[The Gödel Method Reapplied]] | *[[The Gödel Method Reapplied]] | ||
| Line 338: | Line 346: | ||
*[[Simplicio, Salviati, Sagredo: Why Three?]] | *[[Simplicio, Salviati, Sagredo: Why Three?]] | ||
*[[Zen and Stepping Out]] | *[[Zen and Stepping Out]] | ||
| - | + | ||
| - | + | ==''[[Edifying Thoughts of a Tobacco Smoker]]''== | |
| - | + | ||
| - | + | ==[[Chapter XVII: Church, Turing, Tarski, and Others]]== | |
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | + | ||
| - | ==[[ | + | |
*[[Formal and Informal Systems]] | *[[Formal and Informal Systems]] | ||
*[[Intuition and the Magnificent Crab]] | *[[Intuition and the Magnificent Crab]] | ||
| Line 418: | Line 372: | ||
*[[Beauty, Truth, and Form]] | *[[Beauty, Truth, and Form]] | ||
*[[The Neural Substrate of the Epimenides Paradox]] | *[[The Neural Substrate of the Epimenides Paradox]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[SHRDLU, Toy of Man's Designing]]''== |
| + | |||
| + | ==[[Chapter XVIII: Artificial Intelligence: Retrospects]]== | ||
*[[Turing]] | *[[Turing]] | ||
*[[The Turing Test]] | *[[The Turing Test]] | ||
| Line 450: | Line 406: | ||
*[[PLANNER Facilitates Problem Reduction]] | *[[PLANNER Facilitates Problem Reduction]] | ||
*[[Syntax and Semantics]] | *[[Syntax and Semantics]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Contrafactus]]''== |
| + | |||
| + | ==[[Chapter XIX: Artificial Intelligence: Prospects]]== | ||
*[[Almost" Situations and Subjunctives"]] | *[[Almost" Situations and Subjunctives"]] | ||
*[[Layers of Stability]] | *[[Layers of Stability]] | ||
| Line 484: | Line 442: | ||
*[[AI Has Far to Go]] | *[[AI Has Far to Go]] | ||
*[[Ten Questions and Speculations]] | *[[Ten Questions and Speculations]] | ||
| - | + | ||
| - | ==[[ | + | ==''[[Sloth Canon]]''== |
| + | |||
| + | ==[[Chapter XX: Strange Loops, or Tangled Hierarchies]]== | ||
*[[Can Machines Possess Originality?]] | *[[Can Machines Possess Originality?]] | ||
*[[Below Every Tangled Hierarchy Lies An Inviolate Level]] | *[[Below Every Tangled Hierarchy Lies An Inviolate Level]] | ||
| Line 514: | Line 474: | ||
*[[An Escher Vortex Where All Levels Cross]] | *[[An Escher Vortex Where All Levels Cross]] | ||
*[[A Bach Vortex Where All Levels Cross]] | *[[A Bach Vortex Where All Levels Cross]] | ||
| - | + | ||
| + | ==''[[Six-Part Ricercar]]''== | ||
Current revision as of 05:22, 10 January 2010
This wiki is for conversations and thoughts on Gödel, Escher, Bach: An Eternal Golden Braid, a Pulitzer Prize-winning book by Douglas R. Hofstadter, who describes the work as "a metaphorical fugue on minds and machines in the spirit of Lewis Carroll".
Click here to view a list of all pages with content. This page contains links to the pages for each section of each chapter of the book, where you can enter your own thoughts about each section. (Red links are pages that haven't been created yet, but you can be the first to add a comment!)
[edit] Part I: GEB
[edit] Introduction: A Musico-Logical Offering
- Author
- Bach
- Canons and Fugues
- An Endlessly Rising Canon
- Escher
- Gödel
- Mathematical Logic: A Synopsis
- Banishing Strange Loops
- Consistency, Completeness, Hilbert's Program
- Babbage, Computers, Artificial Intelligence...
- ...and Bach
- Gödel Escher Bach
[edit] Three-Part Invention
[edit] Chapter I: The MU-puzzle
- Formal Systems
- Theorems, Axioms, Rules
- Inside and Outside the System
- Jumping out of the System
- M-Mode, I-Mode, U-Mode
- Decision Procedures
[edit] Two-Part Invention
[edit] Chapter II: Meaning and Form in Mathematics
- The pq-System
- The Decision Procedure
- Bottom-up vs. Top-down
- Isomorphisms Induce Meaning
- Meaningless and Meaningful Interpretations
- Active vs. Passive Meanings
- Double-Entendre!
- Formal Systems and Reality
- Mathematics and Symbol Manipulation
- The Basic Laws of Arithmetic
- Ideal Numbers
- Euclid's Proof
- Getting Around Infinity
- Sonata for Unaccompanied Achilles
[edit] Chapter III: Figure and Ground
- Primes vs. Composites
- The tq-System
- Capturing Compositeness
- Illegally Characterizing Primes
- Figure and Ground
- Figure and Ground in Music
- Recursively Enumerable Sets vs. Recursive Sets
- Primes as Figure Rather than Ground
[edit] Contracrostipunctus
[edit] Chapter IV: Consistency, Completeness, and Geometry
- Implicit and Explicit Meaning
- Explicit Meaning of the Contracrostipunctus
- Implicit Meanings of the Contracrostipunctus
- Mapping Between the Contracrostipunctus and Gödel's Theorem
- The Art of the Fugue
- Problems Caused by Gödel's Result
- The Modified pq-System and Inconsistency
- Regaining Consistency
- The History of Euclidean Geometry
- The Many Faces of Noneuclid
- Undefined Terms
- The Possibility of Multiple Interpretations
- Varieties of Consistency
- Hypothetical Worlds and Consistency
- Embedding of One Formal System in Another
- Layers of Stability in Visual Perception
- Is Mathematics the Same in Every Conceivable World?
- Is Number Theory the Same in All Conceivable Worlds?
- Completeness
- How an Interpretation May Make or Break Completeness
- Incompleteness of Formalized Number Theory
[edit] Little Harmonic Labyrinth
[edit] Chapter V: Recursive Structures and Processes
- What Is Recursion?
- Pushing, Popping, and Stacks
- Stacks in Music
- Recursion in Language
- Recursive Transition Networks
- Bottoming Out" and Heterarchies"
- Expanding Nodes
- Diagram G and Recursive Sequences
- A Chaotic Sequence
- Two Striking Recursive Graphs
- Recursion at the Lowest Level of Matter
- Copies and Sameness
- Programming and Recursion: Modularity, Loops, Procedures
- Recursion in Chess Programs
- Recursion and Unpredictability
[edit] Canon by Intervallic Augmentation
[edit] Chapter VI: The Location of Meaning
- When is One Thing Not Always the Same?
- Information-Bearers and Information-Revealers
- Genotype and Phenotype
- Exotic and Prosaic Isomorphisms
- Jukeboxes and Triggers
- DNA and the Necessity of Chemical Context
- An Unlikely UFO
- Levels of Understanding of a Message
- Imaginary Spacescape
- The Heroic Decipherers
- Three Layers of Any Message
- Schrödinger's Aperiodic Crystals
- Languages for the Three Levels
- The Jukebox" Theory of Meaning"
- Against the Jukebox Theory
- Meaning Is Intrinsic If Intelligence is Natural
- Earth Chauvinism
- Two Plaques in Space
- Bach vs. Cage Again
- How Universal Is DNA's Message?
[edit] Chromatic Fantasy, and Feud
[edit] Chapter VII: The Propositional Calculus
- Words and Symbols
- Alphabet and First Rule of the Propositional Calculus
- Well-Formed Strings
- More Rules of Inference
- The Fantasy Rule
- Recursion and the Fantasy Rule
- The Converse of the Fantasy Rule
- The Intended Interpretation of the Symbols
- Rounding Out the List of Rules
- Justifying the Rules
- Playing Around with the System
- Semi-Interpretations
- Ganto's Ax
- Is There a Decision Procedure for Theorems?
- Do We Know the System Is Consistent?
- The Carroll Dialogue Again
- Shortcuts and Derived Rules
- Formalizing Higher Levels
- Reflections on the Strengths and Weaknesses of the System
- Proofs vs. Derivations
- The Handling of Contradictions
[edit] Crab Canon
[edit] Chapter VIII: Typographical Number Theory
- The Crab Canon and Indirect Self-Reference
- What We Want to Be Able to Express in TNT
- Numerals
- Variables and Terms
- Atoms and Propositional Symbols
- Free Variables and Quantifiers
- Translating Our Sample Sentences
- Tricks of the Trade
- Translation Puzzles for You
- How to Distinguish True from False?
- The Rules of Well-Formedness
- A Few More Translation Exercises
- A Nontypographical System
- The Five Axioms and First Rules of TNT
- The Five Peano Postulates
- New Rules of TNT: Specification and Generalization
- The Existential Quantifier
- Rules of Equality and Successorship
- Illegal Shortcuts
- Why Specification and Generalization Are Restricted
- Something Is Missing
- omega-Incomplete Systems and Undecidable Strings
- Non-Euclidean TNT
- omega-Inconsistency Is Not the Same as Inconsistency
- The Last Rule
- A Long Derivation
- Tension and Resolution in TNT
- Formal Reasoning vs. Informal Reasoning
- Number Theorists Go out of Business
- Hilbert's Program
[edit] A Mu Offering
[edit] Chapter IX: Mumon and Gödel
- What is Zen?
- Zen Master Mumon
- Zen's Struggle Against Dualism
- Ism, The Un-Mode, and Unmon
- Zen and Tumbolia
- Escher and Zen
- Hemiolia and Escher
- Indra's Net
- Mumon on MU
- From Mumon to the MU-puzzle
- Mumon Shows Us How to Solve the MU-puzzle
- Gödel-Numbering the MIU-System
- Seeing Things Both Typographically and Arithemtically
- MIU-Producible Numbers
- Answering Questions about Producible Numbers by Consulting TNT
- The Dual Nature of MUMON
- Codes and Implicit Meaning
- The Boomerang: Gödel-Numbering TNT
- TNT-Numbers: A Recursively Enumerable Set of Numbers
- TNT Tries to Swallow Itself
- G: A String Which Talks about Itself in Code
- G's Existence Is What Causes TNT's Incompleteness
- Mumon Has the Last Word
[edit] Part II: EGB
[edit] Prelude...
[edit] Chapter X: Levels of Description, and Computer Systems
[edit] ...Ant Fugue
[edit] Chapter XI: Brains and Thoughts
- New Perspectives on Thought
- Intensionality and Extensionality
- The Brain's Ants
- Larger Structures in the Brain
- Mappings between Brains
- Localization of Brain Processes: An Enigma
- Specificity in Visual Processing
- A Grandmother Cell"?"
- Funneling into Neural Modules
- Modules Which Mediate Thought Processes
- Active Symbols
- Classes and Instances
- The Prototype Principle
- The Splitting-off of Instance from Classes
- The Difficulty of Disentangling Symbols from Each Other
- Symbols -- Software or Hardware?
- Liftability of Intelligence
- Can One Symbol Be Isolated?
- The Symbols of Insects
- Class Symbols and Imaginary Worlds
- Intuitive Laws of Physics
- Procedural and Declarative Knowledge
- Visual Imagery
[edit] English French German Suite
[edit] Chapter XII: Minds and Thoughts
- Can Minds Be Mapped onto Each Other?
- Comparing Different Semantic Networks
- Translations of Jabberwocky
- ASU's
- A Surprise Reversal
- Centrality and Universality
- How Much Do Language and Culture Channel Thought?
- Trips and Itineraries in ASU's
- Possible, Potential, and Preposterous Pathways
- Different Styles of Translating Novels
- High-Level Comparisons between Programs
- High-Level Comparisons between Brains
- Potential Beliefs, Potential Symbols
- Where is the Sense of Self?
- Subsystems
- Subsystems and Shared Code
- The Self-Symbol and Consciousness
- Our First Encounter with Lucas
[edit] Aria with Diverse Variations
[edit] Chapter XIII: BlooP and FlooP and GlooP
- Self-Awareness and Chaos
- Representability and Refrigerators
- Ganto's Ax in Metamathmatics
- Finding Order by Choosing the Right Filter
- Primordial Steps of the Language BlooP
- Loops and Upper Bounds
- Conventions of BlooP
- IF-Statements and Branching
- Automatic Chunking
- BlooP Tests
- BlooP Programs Contain Chains of Procedures
- Suggested Exercises
- Expressibility and Representability
- Primitive Recursive Predicates Are Represented in TNT
- Are There Functions Which Are Not Primitive Recursive?
- Pool B, Index Numbers, and Blue Programs
- The Diagonal Method
- Cantor's Original Diagonal Argument
- What Does a Diagonal Argument Prove?
- The Insidious Repeatability of the Diagonal Argument
- From BlooP to FlooP
- Terminating and Nonterminating FlooP Programs
- Turing's Trickery
- A Termination Tester Would Be Magical
- Pool F, Index Numbers, and Green Programs
- The Termination Tester Gives Us Red Programs
- GlooP...
- ...Is a Myth
- The Church-Turing Thesis
- Terminology: General and Partial Recursive
- The Power of TNT
[edit] Air on G's String
[edit] Chapter XIV: On Formally Undecidable Propositions of TNT and Related Systems
- The Two Ideas of the Oyster
- The First Idea: Proof-Pairs
- Proof-Pair-ness Is Primitive Recursive...
- ...And Is Therefore Represented in TNT
- The Power of Proof-Pairs
- Substitution Leads to the Second Idea
- Arithmoquining
- The Last Straw
- TNT Says Uncle!
- Yields Nontheoremhood When Arithmoquined
- Gödel's Second Theorem
- TNT Is ω-Incomplete
- Two Different Ways to Plug Up the Hole
- Supernatural Numbers
- Supernatural Theorems Have Infinitely Long Derivations
- Supernatural Addition and Multiplication
- Supernaturals Are Useful...
- ...But Are They Real?
- Bifurcations in Geometry, and Physicists
- Bifurcations in Number Theory, and Bankers
- Bifurcations in Number Theory, and Metamathematicians
- Hilbert's Tenth Problem and the Tortoise
[edit] Birthday Cantatatata...
[edit] Chapter XV: Jumping Out of the System
- A More Powerful Formal System
- The Gödel Method Reapplied
- Multifurcation
- Essential Incompleteness
- The Passion According to Lucas
- Jumping Up a Dimension
- The Limits of Intelligent Systems
- There Is No Recursive Rule for Naming Ordinals
- Other Refutations of Lucas
- Self-Transcendence -- A Modern Myth
- Advertisement and Framing Devices
- Simplicio, Salviati, Sagredo: Why Three?
- Zen and Stepping Out
[edit] Edifying Thoughts of a Tobacco Smoker
[edit] Chapter XVII: Church, Turing, Tarski, and Others
- Formal and Informal Systems
- Intuition and the Magnificent Crab
- The Church-Turing Thesis
- The Public-Processes Version
- Srinivasa Ramanujan
- Idiots Savants
- The Isomorphism Version of the Church-Turing Thesis
- Representation of Knowledge about the Real World
- Processes That Are Not So Skimmable
- Articles of Reductionistic Faith
- Partial Progress in AI and Brain Simulation?
- Beauty, the Crab, and the Soul
- Irrational and Rational Can Coexist on Different Levels
- More Against Lucas
- An Underpinning of AI
- Church's Theorem
- Tarski's Theorem
- The Impossibility of the Magnificrab
- Two Types of Form
- Meaning Derives from Connections to Cognitive Structures
- Beauty, Truth, and Form
- The Neural Substrate of the Epimenides Paradox
[edit] SHRDLU, Toy of Man's Designing
[edit] Chapter XVIII: Artificial Intelligence: Retrospects
- Turing
- The Turing Test
- Turing Anticipates Objections
- Parry Encounters the Doctor
- A Brief History of AI
- Mechanical Translation
- Computer Chess
- Samuel's Checker Program
- When Is a Program Original?
- Who Composes Computer Music?
- Theorem Proving and Problem Reduction
- Shandy and the Bone
- Changing the Problem Space
- The I-Mode and the M-Mode Again
- Applying AI to Mathematics
- The Crux of AI: Representation of Knowledge
- DNA and Proteins Help Give Some Perspective
- Modularity of Knowledge
- Representing Knowledge in a Logical Formalism
- Deductive vs. Analogical Awareness
- From Computer Haiku to an RTN-Grammar
- From RTN's to ATN's
- A Little Turing Test
- Images of What Thought Is
- Higher-Level Grammars...
- Grammars for Music?
- Winograd's Program SHRDLU
- The Structure of SHRDLU
- PLANNER Facilitates Problem Reduction
- Syntax and Semantics
[edit] Contrafactus
[edit] Chapter XIX: Artificial Intelligence: Prospects
- Almost" Situations and Subjunctives"
- Layers of Stability
- Frames and Nested Contexts
- Bongard Problems
- Preprocessing Selects a Mini-Vocabulary
- High-Level Descriptions
- Templates and Sameness-Detectors
- A Heterarchical Program
- The Concept Network
- Slippage and Tentativity
- Meta-Descriptions
- Flexibility is Important
- Focusing and Filtering
- Science and the World of Bongard Problems
- Connections to Other Types of Thought
- Message-Passing Languages, Frames, and Symbols
- Enzymes and AI
- Fission and Fusion
- Epigenesis of the Crab Canon
- Conceptual Skeletons and Conceptual Mapping
- Recombinant Ideas
- Abstractions, Skeletons, Analogies
- Multiple Representations
- Ports of Access
- Forced Matching
- Recap
- Creativity and Randomness
- Picking up Patterns on All Levels
- The Flexibility of Language
- Intelligence and Emotions
- AI Has Far to Go
- Ten Questions and Speculations
[edit] Sloth Canon
[edit] Chapter XX: Strange Loops, or Tangled Hierarchies
- Can Machines Possess Originality?
- Below Every Tangled Hierarchy Lies An Inviolate Level
- A Self-Modifying Game
- The Authorship Triangle Again
- Escher's Drawing Hands
- Brain and Mind: A Neural Tangle Supporting a Symbol Tangle
- Strange Loops in Government
- Tangles Involving Science and the Occult
- The Nature of Evidence
- Seeing Oneself
- Gödel's Theorem and Other Disciplines
- Introspection and Insanity: A Gödelian Problem
- Can We Understand Our Own Minds or Brains?
- Gödel's Theorem and Personal Nonexistence
- Science and Dualism
- Symbol vs. Object in Modern Music and Art
- Magritte's Semantic Illusions
- The Code" of Modern Art"
- Ism Once Again
- Understanding the Mind
- Accidental Inexplicability of Intelligence?
- Undecidability Is Inseparable from a High-Level Viewpoint
- Consciousness as an Intrinsically High-Level Phenomenon
- Strange Loops as the Crux of Consciousness
- The Self-Symbol and Free Will
- A Gödel Vortex Where All Levels Cross
- An Escher Vortex Where All Levels Cross
- A Bach Vortex Where All Levels Cross
