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
We began our discussion by manufacturing what appeared to be an inconsistent formal system—one which was internally inconsistent, as well as inconsistent with the external world. But a moment later we took it all back, when we realized our error: that we had chosen unfortunate interpretations for the symbols. By changing the interpretations (in pq system, q changed its interpretation from "equal" to "equal or greater than"), we re gained consistency! It now becomes clearthat consistency isnota property ofa formal system per se, but depends on the interpretation which is proposed for it.
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.