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-51 - Foundational and scientific argument - o.D.
GK 4-1-52 - Foundational and scientific argument: a contrast - 1992
GK 4-1-53 - Memo suggested by recent results of M. Baaz - 1992
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
Digitalisierte Bilder gesperrt bis: 31.12.2050



Vollansicht Verzeichnungseinheit GK 4-1-71
Signatur:	GK 4-1-71
Titel:	Short thoughts and short memories around the topic: generalizing (terms in) proofs and theorems
Laufzeit:	1994
Enthält:	handschriftlich korrigierte Kopie eines Typoskriptes
Umfang:	3 Bl.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 4-1-71
 
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