Main Page
From Geb
(Difference between revisions)
(→Three-Part Invention) |
(let dialogues have their own subsection) |
||
| Line 58: | 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]]== | ==[[Chapter IV: Consistency, Completeness, and Geometry]]== | ||
| Line 82: | 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]]== | ==[[Chapter V: Recursive Structures and Processes]]== | ||
| Line 100: | 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]]== | ==[[Chapter VI: The Location of Meaning]]== | ||
| Line 123: | 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]]== | ==[[Chapter VII: The Propositional Calculus]]== | ||
| Line 147: | Line 151: | ||
*[[Proofs vs. Derivations]] | *[[Proofs vs. Derivations]] | ||
*[[The Handling of Contradictions]] | *[[The Handling of Contradictions]] | ||
| - | + | ||
| + | ==''[[Crab Canon]]''== | ||
==[[Chapter VIII: Typographical Number Theory]]== | ==[[Chapter VIII: Typographical Number Theory]]== | ||
| Line 180: | 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]]== | ==[[Chapter IX: Mumon and Gödel]]== | ||
| Line 186: | Line 192: | ||
=[[Part II: EGB]]= | =[[Part II: EGB]]= | ||
| - | + | ==''[[Prelude...]]''== | |
==[[Chapter X: Levels of Description, and Computer Systems]]== | ==[[Chapter X: Levels of Description, and Computer Systems]]== | ||
| + | |||
| + | ==''[[...Ant Fugue]]''== | ||
==[[Chapter XI: Brains and Thoughts]]== | ==[[Chapter XI: Brains and Thoughts]]== | ||
| Line 214: | Line 222: | ||
*[[Procedural and Declarative Knowledge]] | *[[Procedural and Declarative Knowledge]] | ||
*[[Visual Imagery]] | *[[Visual Imagery]] | ||
| - | + | ||
| + | ==''[[English French German Suite]]''== | ||
==[[Chapter XII: Minds and Thoughts]]== | ==[[Chapter XII: Minds and Thoughts]]== | ||
| Line 235: | Line 244: | ||
*[[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]]== | ==[[Chapter XIII: BlooP and FlooP and GlooP]]== | ||
| Line 269: | Line 279: | ||
*[[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]]== | ==[[Chapter XIV: On Formally Undecidable Propositions of TNT and Related Systems]]== | ||
| Line 294: | Line 305: | ||
*[[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]]== | ==[[Chapter XV: Jumping Out of the System]]== | ||
| Line 310: | Line 322: | ||
*[[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]]== | ==[[Chapter XVII: Church, Turing, Tarski, and Others]]== | ||
| Line 335: | Line 348: | ||
*[[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]]== | ==[[Chapter XVIII: Artificial Intelligence: Retrospects]]== | ||
| Line 368: | Line 382: | ||
*[[PLANNER Facilitates Problem Reduction]] | *[[PLANNER Facilitates Problem Reduction]] | ||
*[[Syntax and Semantics]] | *[[Syntax and Semantics]] | ||
| - | + | ||
| + | ==''[[Contrafactus]]''== | ||
==[[Chapter XIX: Artificial Intelligence: Prospects]]== | ==[[Chapter XIX: Artificial Intelligence: Prospects]]== | ||
| Line 403: | Line 418: | ||
*[[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]]== | ==[[Chapter XX: Strange Loops, or Tangled Hierarchies]]== | ||
| Line 434: | Line 450: | ||
*[[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]]''== | ||
Revision as of 05:12, 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 have no content, but you can add your own comments. Blue links have content.)
Part I: GEB
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
Three-Part Invention
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
Two-Part Invention
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
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
Contracrostipunctus
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
Little Harmonic Labyrinth
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
Canon by Intervallic Augmentation
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?
Chromatic Fantasy, and Feud
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
Crab Canon
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
A Mu Offering
Chapter IX: Mumon and Gödel
Part II: EGB
Prelude...
Chapter X: Levels of Description, and Computer Systems
...Ant Fugue
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
English French German Suite
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
Aria with Diverse Variations
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
Air on G's String
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
Birthday Cantatatata...
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
Edifying Thoughts of a Tobacco Smoker
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
SHRDLU, Toy of Man's Designing
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
Contrafactus
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
Sloth Canon
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
