Archive der Universität Konstanz

Signatur:	GK 4-1-53
Titel:	Memo suggested by recent results of M. Baaz
Laufzeit:	1992
Enthält:	Kopie eines handschriftlichen Manuskriptes; weiteres Exemplar (eine Durchschrift des Originals) als Anlage zu einem Brief an Matthias Baaz vom 16.1.1992 (GK 5-4-76)
Umfang:	2 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-53

GK 4-1-54 - Erläuterungen und Vermutungen betr. das Schließen - o.D.

GK 4-1-55 - Logische Grundl. & Wissenschaftstheorie - o.D.

GK 4-1-56 - Stichworte - o.D.

GK 4-1-57 - Herbrand's rules and Hilbert's - o.D.

GK 4-1-58 - Suitable data in the area around ε-derivations - o.D.

GK 4-1-59 - On speed up and some other (cl)aims of similar fla - o.D.

GK 4-1-60 - General (negative) aspects of my writing - o.D.

GK 4-1-61 - (Primitive) Recursiveness and the dictum: le côté - [ca. 1993]

GK 4-1-62 - Commerce of ideas: an example - [ca. 1993]

GK 4-1-63 - 'Treason' rhymes with 'reason'. (Second thoughts o - o.D.

GK 4-1-64 - Praise of C.A.R. Hoare - [ca. 1993]

GK 4-1-65 - On the film Wittgenstein - [ca. 1993]

GK 4-1-66 - An Item of Contemporary Volksempfinden - [ca. 1993]

GK 4-1-67 - A practical perspective on a pious precept - 1993

GK 4-1-68 - An Imagined Conversation with Crick - 1994

GK 4-1-69 - Dating manuscripts: an interim report - 1994

GK 4-1-70 - Sums of squares: (nearly) 40 years after Cornell - 1994

GK 4-1-71 - Short thoughts and short memories around the topic - 1994

GK 4-1-72 - Notes on a neglected alternative to benevolent neg - 1994

GK 4-1-73 - A (by me) so far neglected question: the statistic - 1994

GK 4-1-74 - Opportunities for empirical evidence VI - o.D.

GK 4-1-75 - Opportunities for empirical evidence IX - 1994

GK 4-1-76 - Note X on empircial evidence: cross purposes - 1994

GK 4-1-77 - Interim note: fnding topics for a subject of proof - o.D.

GK 4-1-78 - M. Baaz & R. Zach, Short proofs of tautologies usi - o.D.

GK 4-1-79 - The business of and with truth in mathematics

GK 4-1-80 - Exercise(s) concerning Hilbert's idea (=Ansatz) fo - 1994

GK 4-1-81 - Formal precision: after 25 years

GK 4-1-82 - Diversity: some half forgotten episodes - o.D.

GK 4-1-83 - On a non-academic option for using one's logical e - 1994-1995

GK 4-1-84 - Emprical evidence: using logical experience for le - o.D.

GK 4-1-85 - Empirical evidence: curiosities - 1995

GK 4-1-86 - Cut-free proofs: a (still) neglected aspect - 1995

GK 4-1-87 - A couple of neglected distinctions - 1995

GK 4-1-88 - Realizing limitations of one's resources: a potent - o.D.

GK 4-1-89 - A short thought and 2 conflicting interpretations - o.D.

GK 4-1-90 - Imagination and fancy - o.D.

GK 4-1-91 - The source(s) of morality - o.D.

GK 4-1-92 - Manifesto - 1995

GK 4-1-93 - Personal hygiene, public sanitation and fertility - o.D.

GK 4-1-94 - 3 Styles of conversation - 1996

GK 4-1-95 - Notes on the Nobel Prize Lectures by Wigner and Fe - o.D.

GK 4-1-96 - Second thoughts around some of Gödel's writing - [ca. 1997]

GK 4-1-97 - A consumer's (re)view around higher infinities - o.D.

GK 4-1-98 - Penrose: a busy decade - 1998

GK 4-1-99 - Milk sop and hard core foundations - [ca. 1998]

GK 4-1-100 - A (re)view on Gödel's emphasis on higher types - [ca. 1999]

<< < 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