Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.

#artificial-intelligence #geb #goedel-escher-bach #hofstadter
what is meant by consistency of a formal system (together with an interpretation): that every theorem, when interpreted, becomes a true statement
If you want to change selection, open document below and click on "Move attachment"


  • owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p94
  • owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p102


statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on



Do you want to join discussion? Click here to log in or create user.