pq-System

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)

 

myh9090

 
Materiaalityyppi
Työkirja
Avainsanat
douglas  formal  geb  hofstadter  systems 
Kohderyhmä (ikä)
15 – 18
Kieli
English (United States)
 
 
GeoGebran versio
4.2
Katselukertoja
2155
Ota yhteyttä materiaalin tekijään
 
 
© 2024 International GeoGebra Institute