DERRIDA'S MACHINES PART III



BYTES & PIECES


of


PolyLogics, m-Lambda Calculi, ConTeXtures


Gödel Games: "Cloning Gödel's Proofs"


-short version-





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