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
-