Archive der Universität Konstanz

Sie sind nicht angemeldet.

Tektonik

Die Tektonik ist auf Ihren Suchtreffer eingeschränkt, Sie können über das "+" den normalen Archivbaum einblenden.

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

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

Digitalisierte Bilder gesperrt bis: 31.12.2050

Vollansicht Verzeichnungseinheit GK 4-1-40

Signatur:	GK 4-1-40
Titel:	Truth and half-truths in (Stewart's flashy piece on) "Dynamics deciding the undecidable"
Laufzeit:	1991
Enthält:	Typoskript. Der Text bezieht sich auf einen Artikel von Ian Stewart, erschienen im August 1991 in Nature 352. Lt. Notiz aus dem Büro Weingartners stammt das Typoskript aus der Korrespondenz Kreisel mit Francis Crick und ist am 16.10.1991 im Büro eingegangen.
Umfang:	2 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-40