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
Warning: When we start using the term "provable statements" instead of "theorems", it shows that we are beginning to blur the distinction between formal systems and their in terpretations.
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", p101


Summary

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

Details


Discussion

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