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.


  • Presentation
  • Question
  • Answer

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #typographical-number-theory
Question

Rule of Specification: [...]

remember restriction

Answer
Suppose u is a variable which occurs inside the string x. If the string \(\forall u:x\) is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: The term which replaces u must not contain any variable that is quantified in x.)

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #typographical-number-theory
Question

Rule of Specification: [...]

remember restriction

Answer
?

Tags
#artificial-intelligence #geb #goedel-escher-bach #hofstadter #typographical-number-theory
Question

Rule of Specification: [...]

remember restriction

Answer
Suppose u is a variable which occurs inside the string x. If the string \(\forall u:x\) is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: The term which replaces u must not contain any variable that is quantified in x.)
If you want to change selection, open original toplevel document below and click on "Move attachment"

Parent (intermediate) annotation

Open it
Rule of Specification: Suppose u is a variable which occurs inside the string x. If the string \(\forall u:x\) is a theorem, then so is x, and so are any strings made from x by replacing u, wherever it occurs, by one and the same term. (Restriction: The term which replaces u must not contain any variable that is quantified in x.)

Original toplevel documents (pdfs)

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

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.