Akten

Kreisel letters

Enthält: Korresponenz zwischen Georg Kreisel und Dana Scott aus dem Zeitraum vom 23.2.1987 bis 14.2.1990, Briefe von und an Dritte und Anlagen. GK 1-16-1 enthält neben einer hs. Karte an Scott einen Ausdruck mit dem Titel "Comments on A K Dewdney in Computer Recreations, Scientific American (Dec. '89)+2, datiert auf Jan. 1990. GK 1-16-2 enthält einen hs. Brief an Jesús Alcolea vom 21.11.1989 und einen masch. Brief von Alcolea an Dana Scott vom 14.12.1989 nebst einer Kopie dieses Briefes mit Annotationen von Scotts Hand. GK 1-16-7 ist die Kopie eines hs. Briefes vom 15.3.1989 an H. Barendregt, GK 1-16-8 die Kopie eines hs. Briefes vom 3.3.1989 an R. Duncan Luce. GK 1-16-27 enthält die Kopie masch. Ergänzungen zu Kreisel Rezension des 1. Bandes von Gödels Gesammelten Werken. In der gedruckten Fassung des Notre Dame Journal of Formal Logic 29 (1987) sind nicht alle dieser Veränderungen berücksichtigt.

Alcolea, Jesus
Barendregt, H. P. (Hendrik Pieter)
Detlefsen, Michael, 1948 -
Luce, R. Duncan (Robert Duncan)
Scott, Dana S.

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 1-16
Umfang
31 Stücke (66 Bl.)

Kontext
Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
Bestand
PAKN, GK Georg Kreisel

Laufzeit
1987-1990

Weitere Objektseiten
Zugangsbeschränkungen
Für die Nutzung gesperrt bis 31.12.2050.
Letzte Aktualisierung
10.06.2025, 11:28 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Sachakte

Entstanden

  • 1987-1990

Ähnliche Objekte (12)