Mostly on Gödel

Akten

Enthält: Vorfassungen des 1980 publizierten Artikels über Kurt Gödel, zugehöriges Material und zwei Sonderdrucke von Dov Gabbay. GK 2-11-1 ist ein hs. Blatt mit Mitteilung an die Sekretärin von der Hand von Dana Scott. GK 2-11-2 ist eine hs. Vorfassung des Gödel-Artikels, GK 2-11-3 eine hektographierte Kopie einer weiteren hs. Fassung, später verfaßt als die vorgenannte. GK 2-11-8 ist die Kopie einer hs. korrigierten masch. Fassung, die nahe an der Druckfassung ist. Bei GK 2-11-4 handelt es sich um eine Kopie des Nachrufs von Hao Wang auf Gödel aus dem Mathematical Intelligencer 1 (1978). GK 2-11-5 ist ein Sonderdruck eines Artikels von Dov Gabbay mit dem Titel "On Kreisel's notion of validity in Post Systems" aus den Studia logica 35 (1976). Eingelegt ist eine Kopie des Rezension dieses Artikels durch Kreisel. GK 2-11-6 ist ein Sonderdruck eines Artikels von Dov Gabbay mit dem Titel "On some new intuitionistic propositional connectives. I" aus den Studia logica 36 (1977). Bei GK 2-11-7 handelt es sich um eine (teilweise oben abgeschnittene) Kopie eines Typoskriptes von I. Grattan-Guinness. Bei dem Text handelt es sich um eine Vorfassung des Artikels "In memoriam Kurt Gödel. His correspondence with Zermelo on his incompletability theorem", das in Histora mathematica 6 (1979) veröffentlicht wurde.

Gabbay, Dov M., 1945 -
Scott, Dana S.
Wang, Hao, 1921 -
Mathematical Intelligencer (Berlin, Deutschland: 1978)
Studia logica (Warschau, Polen : 1953)

Angaben zum Objekt

• Archivaliensignatur: PAKN, GK Georg Kreisel, GK 2-11
• Umfang: 7 Stücke (179 Bl.) und 2 Sonderdrucke.
• Bemerkungen: GK 2-11-2 ist auf der Rückseite bereits benutzten Papiers geschrieben (u.a. Institutsrundschreiben, Corrigendalisten)

Verweise und Beziehungen

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

Beteiligte, Orts- und Zeitangaben

• Laufzeit: [ca. 1979]

Weitere Informationen

• Weitere Objektseiten: Objekt im "Archivportal-D" anzeigen
• Letzte Aktualisierung: 10.06.2025, 11:28 MESZ