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
    Sonderdruck- und Schriftensammlung
    Korrespondenz mit Verena Huber-Dyson
    Korrespondenz mit Albert Visser
    GK 11-1 - Korrespondenz mit Albert Visser - 1981-1994 (1997)
    Unbestellbar bis: 31.12.2050, Grund: personenbezogene Daten
    Digitalisierte Bilder gesperrt bis: 31.12.2050

    Vollansicht Verzeichnungseinheit GK 11-1

    Signatur: GK 11-1
    Titel: Korrespondenz mit Albert Visser
    Laufzeit: 1981-1994 (1997)
    Enthält: Korrespondenz mit Albert Visser aus dem Zeitraum 4.4.1981 bis 16.11.1994

    Visser, Albert
    Darin: Anlagen zu den Briefen, wobei die Anlagen GK 11-1-105 bis GK 11-1-123 nicht zuzuordnen waren. Die anderen Anlagen haben jeweils die gleiche Signatur wie der zugehörige Brief.

     -200"Gdels Ambivalenz zur intuitionistischen Logik", Kopie eines handschriftlichen Manuskriptes datiert auf den 16.7.1983 (GK 11-1-4)
     "Was hat die Grundlagenforschung von der math. Logik?", Kopie eines handschriftlichen Manuskriptes (GK 11-1-6)
     "Aus der Trickkiste der Beweistheorie", Kopie zweier handschriftlicher Manuskripte datiert auf den 16.6.1983; das krzere eine Art Abstract (GK 11-1-10)
     "Research-Proposal", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11)
     "Thinking out Man: Hardware, Software, Wet Ware", Kopie eines handschriftlichen Manuskriptes, sptere Version: GK 2-8-12 (GK 11-1-4)
     Kopie eines handschriftlichen Briefes vom 21.10.1983 an Jean-Yves Girard (GK 11-1-14)
     "Aus der Trickkiste der Beweistheorie (Informatik)", Kopie eines handschriftlichen Typoskriptes, datiert auf den 21.11.1983 (GK 11-1-17)
     "20th century philosophy of mathematics", Hektographie eines maschinenschriftlichen Kursprogrammes von Kreisel fr das WS 1983/84 (GK 11-1-23)
     Kopie eines handschriftlichen Briefes an Karl R. Popper vom 21.3.1983 (GK 11-1-25)
     "Socalled self-referential paradoxes", Kopie eines handschriftlichen Manuskriptes mit dem Zusatz: Letter of 14.III to Aoyama, a student of Takeuti" (GK 11-1-41)
     "Gdel's excursions in intuitionistic logic. Final correction" Kopie eines handschriftlichen Blattes mit Corrigenda (GK 11-1-44)
     Kopie eines handschriftlhen Briefes an Francesco del Franco vom 2.5.1986 (GK 11-1-45)
     "Afterthought", handschrifiches Manuskript plus Kopie einer handschriftlichen Seite; vermutlich Ergnzung zu Kreisels Artikel "Gdel's excursion into intuitionistic logic" von 1987 (GK 11-1-51)
     "Review of Gdels Collected Works", Kopie einer maschinenschriftlichen Seite zur Ergnzung des Manuskriptes und Kopie einer handschriftlichen Seite zu einem damit zusammenhnngenden Thema (Smullyan) (GK 11-1-55)
     "Afterthoughts", handschriftlies Manuskript (GK 11-1-56)
     Kopie eines handschriftlichen Brfes an Pavel Pudlk vom 28.10.1988 (GK 11-1-73)
     Kopie eines handschriftlichen Bries von Pavel Pudlk vom 2.11.1988 und der handschriftlichen Antwort Kreisels vom 9.11.1988 (Gk 11-1-75)
     Kopie eines handschriftlichen Briefes an Anne S. Troelstra vom 4.11.1988 (GK 11-1-76)
     Kopie eines handschriftlichen Briefes an Hendrik Barendregt vom 15.3.1989 (GK 11-1-81)
     Kopie eines handschriftlichen Briefes an Gaisi Takeuti vom 24.5.1989 (GK 11-1-84)
     Kopie eines handschriftlichen Briefes an Pavel Pudlk vom 10.4.1989 (GK 11-1-85)
     mit Korrekturen versehene Kopie der Druckfahne von Kreisels Rezension von Gdels Collected Works, Vol. II, erschienen in The Journal of Symbolic Logic 56 (1991) (GK 11-1-88)
     Kopie eines handschriftlichen Briefes vom 19.7.1991 an John Christopher Fernau (GK 11-1-88)
     Originalseite aus der Sddeutschen Zeitung vom 1/16. Juni 1991 mit einem Artikel ber Karl R. Popper (GK 11-1-89)
     Kopie eines handschriftlichen Briefes vom 18.3.199 an Toshiyasu Arai (GK 11-1-91)
     "Some Problems (a little off the beaten track)", Kopie: G 4-1-43 (GK 11-1-92)
     Kopie einer E-Mail vom 5.9.1991 von Dick de Jongh und des handschriftlichen Antwortschreibens von Kreisel vom 12.9.1991
     "Reminiscences about Hilbert's ε-calculus", Kopie eines handschriftlichen Manuskriptes (GK 11-1-94)
     "Realizing limitations of one's resources: A potential forelief from malaise", Typoskriptausdruck (GK 11-1-100)
     Kopie eines handschriftlichen Briefes vom 26.10.1994 an Lev Beklemishev (GK 11-1-102)
     Kopie von Kreisels Rezensionen dreier Beitrge aus dem Kongreband The L.E.J. Brouwer Centenary Symposium, hg. von A.S. Troelstra u. D. van Dalen, Amsterdam 1982 fr das Zentralblatt fr Mathematik (GK 11-1-105)
     Kopie eines handschriftlichen Briefes an A.S. Troelstra vom 21.3.1983 (GK 11-1-106)
     Kopien eines handschriftlichen Briefes von Karl R. Popper vom 4.3.83 und von handschriftlichen Briefen Kreisels an Popper vom 28.3.1983 und vom 18.4.1983
     "Progress Report. 1983 for summer 1984", handschriftlich (GK 11-1-10
     Kopie eines handschriftlichen Briefes vom 12.9.1983 an Jean-Yves Girard (GK 11-1-109)
     "(Nachtrgliche) Notizen. Mathematische Logik", Kopie zweier handschriftlicher Manuskripte, datiert auf den 11./12.10.1983 (GK 11-1-110)
     Kopien zweier handschriftlicher Briefe an Marian B. Pour-El vom 15.11.1983 und vom 2.2.1984 (GK 11-1-111)
     Kopie eines handschriftlichen Briefes vom 7.11.1983 an Paul Weingartner (GK -1-112)
     "Logische und mathematische Fragestellungen: eine Bilanz", Kopie eines handschriftlichen Manuskriptes, datiert auf den 2.12.1983
     "Report on the NEW DEBATE ..."; handschriftlich annotierte Kopie eines Typoskrips (GK 11-1-114)
     "Dubious Assumptions in the trade with non-monotonic reasoning, and some plusible ternatives with similar goals", Kopie eines handschriftlichen Manuskriptes (GK 11-1-115)
     "Notes. Doing sums formally", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11)
     Jean-Yves Girard, "Le rasoir de Kreisel", Kopie eines Artikels aus L'Ane. Le magazine freudien 22 (1985) (GK 11-1-117)
     Kopie eines handschriftlichen Briefes an Angus Macintyre vom 6.2.1986 (GK 11-1-118)
     Kopien von Seiten aus Nature 336 vom 17.11.1988 und aus New Scientist vom 19.11.1988 mit Buchbesprechungen (GK 11-1-119)
     Kopien von zwei Rezensionen Kreisels (Jaakko Hintikka 1991 und David Isles 1992) fr das Zentralblatt fr Mathematik (GK 11-1-120)
     Kopie eines handschriftlichen Entwurfes zu einer E-Mail an Lou van den Dries vom 7.9.1994 (Original in Korrespondenz-Salzburg-Teil) (GK 11-1-120)
     Ausdruck eines Briefes von Albert Visser als Herausgeber des Journal of Symbolic Logic an Robin Hirsch, datiert auf den 30.8.1994 (GK 11-1-121)
     Handschriftlicher Brief vom 21.10.1994 von Patrick Blackburn an Albert Visser (GK 11-1-122)
     Ausdruck eines Briefes von Lev Beklemishev vom 20.1.1997 (GK 11-1-123)

    Arai, Toshiyasu
    Barendgt, Hendrik P.; Mathematiker, Informatiker, 1947 -
    Beklemishev, Lev D.; Mathematiker, Physiker, 1967 -
    Blackburn, Patrick; Linguist, Kognitionswissenschaftler, 1959 -
    Dries, Lou van den; Mathematiker, 1951 -
    Fernau, John Christopher, 1927 - 1996
    Girard, Jean-Yves; Mathematiker, Logiker, 1947 -
    Hirsch, Robin
    Jongh, Dick de; 1939
    Macintyre, Angus J.; Mathematiker, 20. Jht.
    Popper, Karl R.; Philosoph, Wissenschaftstheoretiker, 1902 - 1994
    Pour-El, Marian B.
    Takeuti, Gaisi; Mathematiker, 1926 - 2017
    Pudlk, Pavel; Mathematiker, 1952 -
    Troelstra, Anne S.; 1939 -
    Weingartner, Paul; Philosoph, Volksschullehrer, 1931 -
    Umfang: 123 Stücke (488 Bl.)
    Bemerkung: Mit Schreiben vom 24.6.2015 hat Albert Visser den Datenschutz für seine Korrespondenz mit Kreisel aufgehoben. Für Briefe Dritter besteht aber zumeist Datenschutz.
    Bestellsignatur: PAKN, GK (Georg Kreisel), GK 11-1
     
    Korrespondenz mit Brian McGuinness
    PAKN, PL Paul Lorenzen
    PAKN, HR Hans Reichenbach
    PAKN, BT Bruno Thüring
    Deposita
    Sozialwissenschaftliches Archiv
    Universitätsarchiv