#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
|status||not read|| ||reprioritisations|
|last reprioritisation on|| ||suggested re-reading day|
|started reading on|| ||finished reading on|