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

This object is provided by:
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

Other Objects (12)