“… 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