DERRIDA'S MACHINES PART III
BYTES & PIECES
of
PolyLogics, m-Lambda Calculi, ConTeXtures
G�del Games: "Cloning G�del's Proofs"
by Rudolf Kaehr
ThinkArt Lab Glasgow Hallowe'en 2005
"Interactivity is all there is to write about:
it is the paradox and
the horizon of realization."
G�del Games: "Cloning G�del's Proofs"
- 3.1 Hehner's quotation mechanism of G�del's proof�
- 3.2 Hierarchical Stratagems: Definition, Substitution, Comparison�
-
- 4.1 General polycontextural interpretation�5
- 4.2 Modeling strategy of G�del's games�8
- 4.3 Interactional strategy�10
- 4.4 Reflectional strategy�11
- 4.5 Combined strategies�12
-
- 5.1 Truth theoretic considerations�13
- 5.2 Bisimulation of strategies�14
- 5.3 Ludic inter-tanglings�14
- 5.4 Morphogrammatics of G�del games�15
- 5.5 Truth, decidability, liveliness and locatedness�15
-