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
-