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.
- Reference number
-
PAKN, GK Georg Kreisel, GK 1-16
- Extent
-
31 Stücke (66 Bl.)
- Context
-
Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1987-1990
- Other object pages
- Zugangsbeschränkungen
-
Für die Nutzung gesperrt bis 31.12.2050.
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1987-1990