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

 
Resource Type
Activity
Tags
douglas  formal  geb  hofstadter  systems 
Target Group (Age)
15 – 18
Language
English (United States)
 
 
GeoGebra version
4.2
Views
1698
Report a problem
 
 
© 2018 International GeoGebra Institute