Tektonik

Archive der Universität Konstanz
Philosophisches Archiv
Vor- und Nachlässe
PAKN, OB Oskar Becker
PAKN, RC Rudolf Carnap
PAKN, PF Paul Feyerabend
PAKN, GG Gerhard Gentzen
PAKN, HJ Hans Jonas
PAKN, WK Wilhelm Kamlah
PAKN, VK Viktor Kraft
PAKN, GK Georg Kreisel
Pittsburgh-Teil
Salzburg-Teil
Manuskripte
Artikel und Memoranda
1 2 3 > >>
GK 4-1-1 - Comments on Mostowski's Lecture - [ca. 1965]
GK 4-1-2 - Appendix: ω-consistency and related topics - [ca. 1971]
GK 4-1-3 - Model theoretic hygiene - o.D.
GK 4-1-4 - Structures r.c. dans des théories complètes - o.D.
GK 4-1-5 - The greatest good for the greatest number - o.D.
GK 4-1-6 - Metamathematical principles needed to establish cl - o.D.
GK 4-1-7 - Explicit mathematics and explicit metamathematics - o.D.
GK 4-1-8 - Memo: A retrogressive tendency in the study of abs - o.D.
GK 4-1-9 - A Neglected Aspect Of the Formalization Of Informa - o.D.
GK 4-1-10 - Memo to (1) Barwise, Schwichtenberg, Smorynski, St - o.D.
GK 4-1-11 - Some additional problems (for the same general pur - 1976
GK 4-1-12 - Grundlagen der Mathematik - 1978
GK 4-1-13 - Von den Grundlagen zur Technologie - 1984
GK 4-1-14 - Socalled self-referential paradoxes - 1986
GK 4-1-15 - Rekursiv und algorithmisch - [ca. 1986]
GK 4-1-16 - Proof theory and the tradition of dubious doubts - 1988
GK 4-1-17 - Premature quantification: some reminders - o.D.
GK 4-1-18 - Memo after a couple of lectures by BELLIN, on Gira - 1988
GK 4-1-19 - Yukami's 'Trick' - 1988
GK 4-1-20 - Church's Thesis: a jeu d'esprit? - o.D.
GK 4-1-21 - Meta-mathematics and meta-physics - o.D.
GK 4-1-22 - Anmerkungen zu What Mad Pursuit von Francis Crick - 1989
GK 4-1-23 - Publikationsanzeige: Logical aspects of computatio - 1989
GK 4-1-24 - Comments on A K Dewdney in Computer Recreations, S - 1990
GK 4-1-25 - Suitable kinds and degreees of precision I - 1990
GK 4-1-26 - On the idea(l) of logical closure - 1990
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 4-1-26
Signatur:	GK 4-1-26
Titel:	On the idea(l) of logical closure
Laufzeit:	1990
Enthält:	Typoskript, datiert auf den 19.9.1990, die Kopie eines handschriftlichen Abstracts und die handschriftlich annotierte Kopie eines Typoskriptes mit einer deutschsprachigen Übersetzung. Laut hs. Notiz Kreisels ist die Übersetzung unbrauchbar.
Umfang:	32 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-26
 
GK 4-1-27 - Some lessons from Odifreddi's editing - 1991
GK 4-1-28 - Afterthoughts on Odifreddi's editing - 1991
GK 4-1-29 - Odifreddi's editing and the American Dream - 1991
GK 4-1-30 - Memo on a longshot: linear wordequations in semigr - 1991
GK 4-1-31 - Aberglauben und Erfahrung betr. die Anwendung von - 1991
GK 4-1-32 - Memo on a question by Penrose - 1991
GK 4-1-33 - Erläuterungen und Vermutungen betr. das Schließen - 1991
GK 4-1-34 - Republishing (my) articles and/or essays - 1991
GK 4-1-35 - More about approximating continuous functions - 1991
GK 4-1-36 - Angemessene (Beschreibungen von) Kategorien: entsp - [ca. 1991]
GK 4-1-37 - Analogies in contemporary mathematics - [ca. 1991]
GK 4-1-38 - Reminiscences about Hilbert's - o.D.
GK 4-1-39 - Refuting (strong) AI on its own terms - 1991
GK 4-1-40 - Truth and half-truths in (Stewart's flashy piece o - 1991
GK 4-1-41 - Reminders around implicit definitions - o.D.
GK 4-1-42 - Comments on Hilbert's substitution method - 1991
GK 4-1-43 - Some Problems (a little off the beaten track) - 1991
GK 4-1-44 - Another trick(y) question: Which way does ⇔ point? - o.D.
GK 4-1-45 - Logical Aspects of Hilbert's 17th problem - 1992
GK 4-1-46 - About and around Turing's test - 1992
GK 4-1-47 - Memo on Suitable Descriptions of, that is, notatio - 1992
GK 4-1-48 - Memo on - what is sometimes called - A Broader Vie - 1992
GK 4-1-49 - Empirical facts about and around Wttgenstein's - 1992
GK 4-1-50 - A reminder of empircal facts balancing any dangers - o.D.
1 2 3 > >>
Vorworte, Einleitungen, Buchprojekte
Notizen, Teilstücke und Fragmente
Rezensionen
Korrespondenz
Varia
Persönliches
Sonderdruck- und Schriftensammlung
Korrespondenz mit Verena Huber-Dyson
Korrespondenz mit Albert Visser
Korrespondenz mit Brian McGuinness
PAKN, PL Paul Lorenzen
PAKN, HR Hans Reichenbach
PAKN, BT Bruno Thüring
Deposita
Sozialwissenschaftliches Archiv
Universitätsarchiv