Kreisel letters

Sachakte

Enthält: Briefe von Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und Anlagen. Die Korrespondenz zwischen Scott und Kreisel umfaßt den Zeitraum vom 31.3.1978 bis 23.8.1978. GK 1-5-1 ist die Kopie eines Rezensionsmanuskriptes des Beitrags "Theorie der Numerierungen" von Ersov, Jul L.. Das gestempelte Eingangsdatum ist 23.5.1978. GK 1-5-5 ist eine masch. Kopie des Typoskriptes "Successes and limitations of mathematization". GK 1-5-6 ist die Kopie eines masch. Gutachtens über Michael Beeson, GK 1-5-7 die Kopie eines masch. Zusatzberichtes, der eher psychologisch orientiert ist, GK 1-5-8 ist ein masch. Exposé von Michael Beeson, GK 1-5-11 der hs. Entwurf zu einem Schreiben an Solomon Feferman, David S. Nivision und den Studiendekan der Promotion von Beeson. Bei GK 1-5-12 handelt es sich um den Durchschlag eines hs. Briefes vom 29.3.1972 an Feferman und Nivison, bei GK 1-5-13 und -14 um Kopien masch. Briefe vom 19. und vom 18.7.1972. GK 1-5-13 ist der Durchschlag eines hs. Briefes vom 12.8.1973 an eine mit dem Buchstaben G titulierte Person. Vermutlich handelt es sich um Gabriel Dirac. GK 1-5-16 ist der Durchschlag eines masch. Gutachtens über eine Forschergruppe auf dem Gebiet von Mathematik und Philosophie. GK 1-5-23 ist ein hs. von Dana Scott redigiertes Typoskript von Kreisel zu einem Gutachten über die Dissertation von Göran Sundholm. GK 1-5-32 ist ein hs. Brief vom 18.5.1978 an Sundholm. GK 1-5-37 ist ein hs. Brief vom 16.6.1978 von Sundholm an Dana Scott. Bei GK 1-5-39 handelt es sich um ein von Dana Scott hs. redigiertes masch. Verzeichnis der Rezensionen, die Kreisel für das Zentralblatt für Mathematik bis einschließlich 1977 verfaßt hat. GK 1-5-40 ist die Kopie einer masch. Version, in der die in GK 1-5-39 angezeigten Änderungen eingearbeitet sind, GK 1-5-41 ist die Kopie einer noch geringfügig korrigierten Version. GK 1-5-42 ist eine Skizze zur Einrichtung des Verzeichnisses von der Hand von Dana Scott. Bei GK 1-5-43 handelt es sich um die Kopie einer masch. Vorfassung des Verzeichnisses. Die Fassung ist erweitert um hs. Ergänzungen von Kreisel und ein hs. Schema von Scott.

Beeson, Michael J., 1945 -
Dirac, Gabriel
Feferman, Solomon
Nivision, David S.
Scott, Dana S. (Dana Stewart)
Sundholm, Göran.
Zentralblatt für Mathematik und ihre Grenzgebiete

Angaben zum Objekt

• Archivaliensignatur: Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-5
• Umfang: 46 Stücke (155 Bl.)

Verweise und Beziehungen

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

Beteiligte, Orts- und Zeitangaben

• Laufzeit: 1972-1978

Weitere Informationen

• Weitere Objektseiten: Objekt im "Archivportal-D" anzeigen
• Zugangsbeschränkungen: Für die Nutzung gesperrt bis 31.12.2050.
• Letzte Aktualisierung: 01.03.2023, 07:50 MEZ