Axiom definition: xp-qx- is an axiom, whenever x is composed of hyphens only.
Rule: if xpyqz is known to be a theorem,
(where x, y, and z are strings containing only hyphens)
then xpy-qz- is a theorem.
(from the book "Gödel, Escher, Bach: An Eternal Golden Braid" by Douglas Hofstadter)
- Zielgruppe (Alter)
- 15 – 18
- Sprache
- English (United States)
Alle Änderungen wurden gespeichert
Fehler
Das hat leider zu lange gedauert. Wir versuchen, noch einmal zu speichern...
Leider reagiert der Server zur Zeit nicht. Warte bitte ein paar Minuten und versuche dann noch einmal zu speichern.
