Kreisel letters

Akten

Enthält: Briefe von Kreisel an Dana Scott (mit Anlagen), einen Brief von Scott sowie Briefe von und an Dritte. Der Zeitraum der Korrespondenz zwischen Kreisel und Scott ist 2.7.1980 bis 7.7.1981.GK 1-9-1 enthält neben Briefen an Scott eine hs. Ansichtskarte an MarcelGuillaume vom 4.8.1980. GK 1-9-3 ist ein hs. Brief an Michael Evans vom 23.6.1981. GK 1-9-5 enthält neben Briefen an Dana Scott die Kopie einer masch. Ergänzung zum Manuskript von "Constructivistic approaches to logic", erschienen in Modern Logic (1980) und einen hs. Brief an Oiva Toivo Ketonen vom 15.7.1980. GK 1-9-6 enthält einen hs. Brief vom 29.7.1980 von Gudrun Brattström (mit hs. Annotation von Kreisel) und ein hs. Manuskript mit dem Titel "Proof Theory and Computer Science", datiert auf den 22.5.1980. GK 9-1-11 enthält die Kopien je eines hs.Briefes an Pierre Deligne und an Marian Boykan Pour El vom 23. bis 25.7.1980. Bei den Stücken GK 1-9-12 handelt es sich um kurze hs. Notizen, betitelt "Message to Ketonen" und "Message to Hyland (or Gandy)", vermutlich als Anlagen zu einem Brief an Dana Scott. GK 1-9-14 ist eine hs. bibliographische Notiz mit einem kurzen Text über L-Systeme, GK 1-9-15 ist ein hs. Notiz über Kreisels Lektüre der Autobiographie von Stanislaw Ulam und einer Biographie über Paul Ehrenfest. Bei GK 1-9-17 handelt es sich um die Kopie eines Artikels über den Trotzki Nachlaß aus T he Harvard Graduate Society Newsletter vom Juni 1980, bei GK 1-9-18 um die Kopie des Artikels "The Letter S" von Donald E. Knuth aus dem Mathematical Intelligencer (2) 1980.

Brattström, Gudrun.
Deligne, Pierre.
Evans, Michael (Michael John)
Ketonen, Oiva Toiva.
Knuth, Donald Ervin, 1938-
Pour-El, Marian B. (Marian Boykan),1928-
Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -
Harvard Graduate Society for Advanced Study and Research. Newsletter.
Mathematical intelligencer (Berlin, Deutschland : 1978)

Object Details

• Reference number: PAKN, GK Georg Kreisel, GK 1-9
• Extent: 18 Stücke (53 Bl.)

References and Relationships

• Context: Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
• Holding: PAKN, GK Georg Kreisel

Classification and Topics

• Indexentry person: Scott, Dana S.

Contributors, Places and Time

• Date of creation: 1980-1981

Further information

• Other object pages: Show object in "Archivportal-D"
• Zugangsbeschränkungen: Für die Nutzung gesperrt bis 31.12.2050.
• Last update: 10.06.2025, 11:28 AM CEST