Thursday, November 7, 2013

...formal systems are based on changeable axioms and that conceptual operations have a game like nature.



“… formal systems are based on changeable axioms and that conceptual operations have a game like nature."

Ivan Ilich[i]





[i] ‚…daß formale Systeme auf veränderlichen Axiomen errichtet werden und daß der Umgang mit Begriffen spielerischen Charakter hat.“

Ivan Ilich

The HOL Tic-tac-toe questioned (or proved) it, leaving the IKEA table and landing on urban facilities around the city.










No comments:

Post a Comment