STRUKTURATIONEN DER INTERAKTIVIT�T (SKIZZE-0.9.5)
(stark gek�rzteVersion "kurz&b�ndig")
The TransComputation Institute
ThinkArt Lab Glasgow
Dr. Rudolf Kaehr
40 St. Enoch Square
Glasgow G1 4 DH
Scotland, UK
Teil A Skizze eines Gewebes rechnender R�ume in denkender Leere
- 1.1 Matrix von Intuition und Formalismus 9
- 1.2 Kontextlogische Rahmenbedingung zur Strukturation 12
- 6.1 �berblick und Zusammenfassung von Teil A 14
- 6.2 Keywords 15
- 2.1 Lineares Band und K�stchen 17
- 2.2 Von der Linearit�t zur Tabularit�t 19
- 3.1 Die Ortschaft des Ortes 22
- 3.2 Distribuiertheit der Subjektivit�t 23
- 4.1 Inskription der Kenogramme als Notation der Orte 23
- 5.1 Kategorientheorie und Kenogrammatik 25
- 5.2 Kenogrammatik und Kombinatoren 26
- 5.3 Kenogrammatik zwischen Algebren und Ko-Algebren 27
- 5.4 Kenogrammatik jenseits von Algebra und Koalgebra 28
- 5.5 Interaktion und Kokreation: Ko-Algebren und Bisimulation 30
- 6.1 Abriss der Wortarithmetik 33
- 6.2 Abriss einer Definition kenogrammatischer Operationen 33
- 6.3 Interaktion und Ko-Kreation 39
- 6.4 Explikation und Konkretisierung von self-generation of choices" 40
- 1 Anfangszahlen
- 2.1 Eingebettetheit als immanenter Antireduktionismus 42
- 3.1 Wortarithmetische �quivalenz 43
- 3.2 Kenogrammatische �quivalenz 45
- 3.3 EINSCHUB: Bisimulation 46
- 4.1 Zur Distribution von Identit�t/Diversit�t 48
- 4.2 Objekte in einer neuen Computational Ontology 49
- 4.3 Multiperspektivismus und Standpunktinvarianz 50
- 1 Deterministic Computations
- 1.1 Turing Machines 55
- 1.2 Pointer Machines 55
- 1.3 Non-determinist Computations 56
- 1.4 Simulation, Church-Turing, Polynomial Time Thesis 56
- 1.5 Universal Algorithm; Diagonal Results 56
- 1.6 Non-Determinismus, Orakel, Interaktion: internal vs. external 56
- 4.1 Dekomposition, Modularit�t, Monomorphien 59
- 5.1 Zur Problematik der Dekomposition 60
- 5.2 Schliessung einer L�cke 61
- 5.3 Transkription des Trito-Blattes-3 63
- 5.4 Deutungen 66
- 6.1 Standardtheorien der Berechenbarkeit 71
- 7.1 Polykontexturalit�t bzgl. Configurations vs. Konstellationen 75
- 7.2 Weitere Skizzierung der Idee der Dissemination des Machinalen 77
- 1.1 Chiasmus und Kontexturwechsel 98
- 1.2 Der Chiasmus und die Proemialrelation 98
- 1.3 Proemialit�t als kenogrammatische Struktur 100
- 2.1 Der Conceptual Graph der Proemialit�t 100
- 2.2 Operationalit�t = (Operator, Operand, Operation, Unizit�t) 101
- 2.3 Explikationen 102
- 2.4 Darstellungsformen der Proemialit�t als Chiasmus 103
- 3.1 Iteration und Akkretion Proemieller Objekte 104
- 3.2 Objektklassen 104
- 4.1 Der Chiasmus formuliert als Strategie 105
- 4.2 Kategorien und Chiasmen 105
- 5.1 Simultaneit�t und Heterogenit�t 107
- 5.2 Die Logik der Kategorien und des Chiasmus 109
- 5.3 Heteromorphisierung von Isomorphismen 110
- 6.1 Zur Bedeutung des Fragens und Hinterfragens 111
- 6.2 Fragetechniken zur Vervollst�ndigung des Chiasmus 111
- 6.3 Die Grundaufgaben zur Bildung des Chiasmus 111
- 6.4 Die als-Funktion im Computing 113
- 7.1 Iterationen und Akkretionen vollst�ndiger Chiasmen 114
- 7.2 Relativit�t von Iteration und Akkretion 114
- 7.3 Vermittlung von Iteration und Akkretion 115
- 7.4 Poly-Chiasmen 115
- 7.5 Auszeichnung von chiastischen Teilrelationen 116
- 7.6 Fundierungstheoretische Charakterisierung der Proemialit�t 116
- 7.7 Der ultimative proemielle W�rfel (Einschub) 117
- 7.8 Das System der Chiasmen als Typologie der Interaktivit�tsformen 117
- 8.1 Zur Dekonstruktion der Grundbegriffe des Models of Computing 120
- 8.2 Diamondisierung weiterer Grundbegriffe des Computing 123
- 1.1 Die drei Hauptmerkmale des allgemeinen Modellbegriffs 130
- 1.2 Diskussion der Modelltheorie 131
- 3.1 Weltmodell I: Eine Logik/Eine Welt 135
- 3.2 Weltmodell II: Viele Welten/Eine Logik 136
- 3.3 Weltmodell III: Eine Welt/Viele Logiken 137
- 3.4 Weltmodell IV: Viele Logiken/Viele Welten in einem Spiel 138
TEIL B Konsequenzen aus dem Modell des TransComputing
-
- 1.1 Komplexit�t als Fakt 148
- 1.2 Komplexit�t als Reflexionsbestimmung 148
- 3.1 Selbst-Transparenz, Autonomie und Morphogrammatik 153
- 3.2 Autonomie und Modalit�t 154
- 3.3 Formen der Selbstbez�glichkeit 156
- 3.4 Selbstbez�glichkeit als Verhalten zur Existenz 156
- 4.1 Gibt es einen Satz aus dem Regel-Satz? 158
- 5.1 Proemialit�t: Chiasmus von Hyper-Struktur und Ultra-Dynamik 165
- 5.2 Heinz von Foersters Errechnungen 165
- 6.1 Automatentheoretische Definition eines Zustandes 166
- 6.2 Zust�nde: Vom Objekt zur Objektgeschichte 166
- 6.3 Definition von Kommunikation ohne Kommunikabilia 169
- 11.1 Zur Deutung gegenl�ufiger Kategoriensysteme 178
- 11.2 Vermittlung zweier Modelle gegenl�ufiger Computation 178
- 11.3 Peters Swinging Types im Banne der Hierarchie 182
- 11.4 Chiastische Distribution von Computations 183
- 11.5 Peter Padawitz� Swinging Conclusion 184
- 11.6 Ausblick: Interaktion als chiastische 2-Event-Struktur 186
TEIL C Towards a General Model of TransComputation
-
- 1.1 Warum Kategorientheorie? 192
- 1.2 Basic Notions of Category Theory (H. Peter Gumm) 192
- 1.3 DiamondStrategien und Kategorientheorie 196
- 1.4 Conceptual Graph einer Kategorie 197
- 2.1 Datentyp der nat�rlichen Zahlen 198
- 2.2 Kategorientheoretische Einf�hrung der Nat�rlichen Zahlen 199
- 3.1 Proemialisierung der SUCC-Operation bzgl. SUCC 203
- 3.2 Isomorphismus vs. Heteromorphismen (Dissemination) 204
- 3.3 Dekonstruktion der Begrifflichkeit 205