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 #propositional-calculus
Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed
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", p187


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.