#artificial-intelligence #geb #goedel-escher-bach #hofstadter
We want to find a string of TNT—which we'll call 'G'—which is about itself, in the sense that one of its passive meanings is a sentence about G. In particular the passive meaning will turn out to be "G is not a theorem of TNT."
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p271
Summary
| status | not read | | reprioritisations | |
|---|
| last reprioritisation on | | | suggested re-reading day | |
|---|
| started reading on | | | finished reading on | |
|---|
Details