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
Suppose that in an excavation somewhere, we actually did discover some mysterious formal system. We would try out various interpretations and perhaps eventually hit upon one which seemed to make every theorem come out true, and every nontheorem come out false.
If you want to change selection, open document below and click on "Move attachment"


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


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.