Archive der Universität Konstanz

Signatur:	GK 4-1-5
Titel:	The greatest good for the greatest number
Laufzeit:	o.D.
Enthält:	Durchschrift eines handschriftlichen Manuskriptes
Umfang:	2 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-5

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

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