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 #typographical-number-theory
Question

Rule of Generalization: [...]

remember restriction
Answer
Suppose x is a theorem in which u, a variable, occurs free. Then $$\forall u:x$$ is a theorem. (Restriction: No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.)

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

Rule of Generalization: [...]

remember restriction
Answer
?

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

Rule of Generalization: [...]

remember restriction
Answer
Suppose x is a theorem in which u, a variable, occurs free. Then $$\forall u:x$$ is a theorem. (Restriction: No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.)
If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

Open it
Rule of Generalization: Suppose x is a theorem in which u, a variable, occurs free. Then $$\forall u:x$$ is a theorem. (Restriction: No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.)

#### Original toplevel document (pdf)

owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p218

#### Summary

status measured difficulty not learned 37% [default] 0

No repetitions

### Discussion

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