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 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: [...].)

Answer

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: 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: [...].)

Answer

?

Tags

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

Question

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: [...].)

Answer

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**

urs 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: <span>The term which replaces u must not contain any variable that is quantified in x.) <span>

#### Original toplevel documents (pdfs)

urs 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: <span>The term which replaces u must not contain any variable that is quantified in x.) <span>

- 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

status | not learned | measured difficulty | 37% [default] | last interval [days] | |||
---|---|---|---|---|---|---|---|

repetition number in this series | 0 | memorised on | scheduled repetition | ||||

scheduled repetition interval | last repetition or drill |

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