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"

1 Goodbye Kurt!

2 Types of ITER in Iterability/Modi of disremption�

3 Beautifying G�del's Proof�

3.1 Hehner's quotation mechanism of G�del's proof�

3.2 Hierarchical Stratagems: Definition, Substitution, Comparison�

4 Dis-Beautifying G�del's Proof�

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 Where has the contradiction disappeared?�

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

6 Is there no relevancy left for G�del?�

PDF-VERSION: http://www.thinkartlab.com/pkl/lola/Godel_Games-short.pdf