Beste Online Casinos Zonder CRUKS

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