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

Double-tilde Rule: [...]

Answer

The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

Tags

#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus

Question

Double-tilde Rule: [...]

Answer

?

Tags

#artificial-intelligence #geb #goedel-escher-bach #hofstadter #propositional-calculus

Question

Double-tilde Rule: [...]

Answer

The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

If you want to change selection, open original toplevel document below and click on "Move attachment"

#### Parent (intermediate) annotation

**Open it**

Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

#### Original toplevel document (pdf)

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

Double-tilde Rule: The string '~~' can be deleted from any theorem. It can also be inserted into any theorem, provided that the resulting string is itself well-formed

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.