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

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

Digitalisierte Bilder gesperrt bis: 31.12.2050

Vollansicht Verzeichnungseinheit GK 4-1-47

Signatur:	GK 4-1-47
Titel:	Memo on Suitable Descriptions of, that is, notations for, Suitable Real Numbers in computation, geometry etc. etc.
Laufzeit:	1992
Enthält:	Kopie eines handschriftlichen Manuskriptes
Umfang:	2 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-47