ACTApro Benutzung

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

    Vollansicht Verzeichnungseinheit GK 4-1-23

    Signatur: GK 4-1-23
    Titel: Publikationsanzeige: Logical aspects of computation
    Laufzeit: 1989
    Enthält: die Kopie eines handschriftlich ergänzten Typoskriptes einer Publikationsanzeige von Kreisels Artikel "Logical aspects of computation: contributions and distractions", der in Logic and computer science, hg. von Piero Odifreddi, London 1990, veröffentlicht wurde. Das Typoskript ist auf den 14.3.1989 datiert.
    Umfang: 1 Bl.
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 4-1-23
     
    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