Celebrate Hispanic Heritage Month
Amg asked this question about Gödel, Escher, Bach: An Eternal Golden Braid:
Can someone please explain the difference between an axiom and a theorem according to Hofstadter? I need to hear it explained in another way.
Nicolay I see axioms and theorems explained with their traditional meanings.

But in GEB, there is a TNT (typographical number theory), and the meaning is much …moreI see axioms and theorems explained with their traditional meanings.

But in GEB, there is a TNT (typographical number theory), and the meaning is much simpler.

The most important thing: there is a set of rules to derive a string of characters based on another string of characters.

In TNT, an axiom is a string present on the set of valid strings from the start, it was not derived from another string.

TNT theorems are strings derived from the other strings (axioms and previous theorems) using the set of rules.(less)
flag
More questions about Gödel, Escher, Bach…
Image for Gödel, Escher, Bach
Gödel, Escher, Bach
by Douglas R. Hofstadter
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

About Goodreads Q&A

Ask and answer questions about books!

You can pose questions to the Goodreads community with Reader Q&A, or ask your favorite author a question with Ask the Author.

See Featured Authors Answering Questions

Learn more