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
Fantasy Rule: If y can be derived when x is assumed to be a theorem, then \(< x \supset y >\) is a theorem.
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.