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.



Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Separation Rule: If \(< x \land y >\) is a theorem, then [...]
Answer
both x and y are theorems.

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Separation Rule: If \(< x \land y >\) is a theorem, then [...]
Answer
?

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus
Question
Separation Rule: If \(< x \land y >\) is a theorem, then [...]
Answer
both x and y are theorems.
If you want to change selection, open original toplevel document below and click on "Move attachment"

Parent (intermediate) annotation

Open it
Separation Rule: If \(< x \land y >\) is a theorem, then both x and y are theorems.

Original toplevel documents (pdfs)

  • owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p187
  • owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p195

Summary

statusnot learnedmeasured difficulty37% [default]last interval [days]               
repetition number in this series0memorised on               scheduled repetition               
scheduled repetition interval               last repetition or drill

Details

No repetitions


Discussion

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