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
    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
    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
    Digitalisierte Bilder gesperrt bis: 31.12.2050

    Vollansicht Verzeichnungseinheit GK 4-1-92

    Signatur: GK 4-1-92
    Titel: Manifesto
    Laufzeit: 1995
    Enthält: Typoskript (identisch mit Nr. 187 der Salzburger Schriftensammlung) und eine Seite aus einer Vorfassung mit handschriftlichen Zusätzen und handschriftlichem Beiblatt
    Umfang: 6 Bl.
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 4-1-92
    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]
    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