Main Page - Revision history

JohnJamesSmith0: /* Chapter IX: Mumon and Gödel */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:22:00 GMT

Chapter IX: Mumon and Gödel

←Older revision		Revision as of 05:22, 10 January 2010
Line 189:		Line 189:

	==[[Chapter IX: Mumon and Gödel]]==		==[[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]]

	=[[Part II: EGB]]=		=[[Part II: EGB]]=

JohnJamesSmith0 at 05:13, 10 January 2010

JohnJamesSmith0 — Sun, 10 Jan 2010 05:13:37 GMT

←Older revision		Revision as of 05:13, 10 January 2010
Line 1:		Line 1:
	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".		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 ~~have no content~~, but you can add ~~your own comments. Blue links have content.~~)	+	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__ -->

JohnJamesSmith0: let dialogues have their own subsection

JohnJamesSmith0 — Sun, 10 Jan 2010 05:12:12 GMT

let dialogues have their own subsection

←Older revision		Revision as of 05:12, 10 January 2010
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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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...]]	+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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...]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[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]]	+
		+	==''[[Six-Part Ricercar]]''==

JohnJamesSmith0: /* Three-Part Invention */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:07:22 GMT

Three-Part Invention

←Older revision		Revision as of 05:07, 10 January 2010
Line 21:		Line 21:
	*[[Gödel Escher Bach]]		*[[Gödel Escher Bach]]

-	==[[Three-Part Invention]]==	+	==''[[Three-Part Invention]]''==

	==[[Chapter I: The MU-puzzle]]==		==[[Chapter I: The MU-puzzle]]==

JohnJamesSmith0: /* Chapter I: The MU-puzzle */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:05:17 GMT

Chapter I: The MU-puzzle

←Older revision		Revision as of 05:05, 10 January 2010
Line 30:		Line 30:
	*[[M-Mode, I-Mode, U-Mode]]		*[[M-Mode, I-Mode, U-Mode]]
	*[[Decision Procedures]]		*[[Decision Procedures]]
-	*[[Two-Part Invention]]	+
		+	==[[Two-Part Invention]]==

	==[[Chapter II: Meaning and Form in Mathematics]]==		==[[Chapter II: Meaning and Form in Mathematics]]==

JohnJamesSmith0: /* Introduction: A Musico-Logical Offering */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:04:59 GMT

Introduction: A Musico-Logical Offering

←Older revision		Revision as of 05:04, 10 January 2010
Line 20:		Line 20:
	*[[...and Bach]]		*[[...and Bach]]
	*[[Gödel Escher Bach]]		*[[Gödel Escher Bach]]
-	*[[Three-Part Invention]]	+
		+	==[[Three-Part Invention]]==

	==[[Chapter I: The MU-puzzle]]==		==[[Chapter I: The MU-puzzle]]==

JohnJamesSmith0: /* CHAPTER XII: Minds and Thoughts */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:01:01 GMT

CHAPTER XII: Minds and Thoughts

←Older revision		Revision as of 05:01, 10 January 2010
Line 214:		Line 214:
	*[[English French German Suite]]		*[[English French German Suite]]

-	==[[~~CHAPTER~~ XII: Minds and Thoughts]]==	+	==[[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]]

JohnJamesSmith0: /* CHAPTER XI: Brains and Thoughts */

JohnJamesSmith0 — Sun, 10 Jan 2010 05:00:49 GMT

CHAPTER XI: Brains and Thoughts

←Older revision		Revision as of 05:00, 10 January 2010
Line 188:		Line 188:
	==[[Chapter X: Levels of Description, and Computer Systems]]==		==[[Chapter X: Levels of Description, and Computer Systems]]==

-	==[[~~CHAPTER~~ XI: Brains and Thoughts]]==	+	==[[Chapter XI: Brains and Thoughts]]==
	*[[New Perspectives on Thought]]		*[[New Perspectives on Thought]]
	*[[Intensionality and Extensionality]]		*[[Intensionality and Extensionality]]

JohnJamesSmith0: prose, toc, formatting

JohnJamesSmith0 — Sun, 10 Jan 2010 05:00:18 GMT

prose, toc, formatting

Show changes

76.21.5.11 at 19:47, 19 December 2009

76.21.5.11 — Sat, 19 Dec 2009 19:47:48 GMT

Show changes