Archive der Universität Konstanz

PAKN, OB Oskar Becker

PAKN, RC Rudolf Carnap

PAKN, PF Paul Feyerabend

PAKN, GG Gerhard Gentzen

PAKN, HJ Hans Jonas

PAKN, WK Wilhelm Kamlah

PAKN, VK Viktor Kraft

PAKN, GK Georg Kreisel

Pittsburgh-Teil

Salzburg-Teil

Sonderdruck- und Schriftensammlung

Korrespondenz mit Verena Huber-Dyson

Korrespondenz mit Albert Visser

GK 11-1 - Korrespondenz mit Albert Visser - 1981-1994 (1997)

Unbestellbar bis: 31.12.2050, Grund: personenbezogene Daten
Digitalisierte Bilder gesperrt bis: 31.12.2050

Vollansicht Verzeichnungseinheit GK 11-1

Signatur:	GK 11-1
Titel:	Korrespondenz mit Albert Visser
Laufzeit:	1981-1994 (1997)
Enthält:	Korrespondenz mit Albert Visser aus dem Zeitraum 4.4.1981 bis 16.11.1994 Visser, Albert
Darin:	Anlagen zu den Briefen, wobei die Anlagen GK 11-1-105 bis GK 11-1-123 nicht zuzuordnen waren. Die anderen Anlagen haben jeweils die gleiche Signatur wie der zugehörige Brief.  -200"Gdels Ambivalenz zur intuitionistischen Logik", Kopie eines handschriftlichen Manuskriptes datiert auf den 16.7.1983 (GK 11-1-4)  "Was hat die Grundlagenforschung von der math. Logik?", Kopie eines handschriftlichen Manuskriptes (GK 11-1-6)  "Aus der Trickkiste der Beweistheorie", Kopie zweier handschriftlicher Manuskripte datiert auf den 16.6.1983; das krzere eine Art Abstract (GK 11-1-10)  "Research-Proposal", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11)  "Thinking out Man: Hardware, Software, Wet Ware", Kopie eines handschriftlichen Manuskriptes, sptere Version: GK 2-8-12 (GK 11-1-4)  Kopie eines handschriftlichen Briefes vom 21.10.1983 an Jean-Yves Girard (GK 11-1-14)  "Aus der Trickkiste der Beweistheorie (Informatik)", Kopie eines handschriftlichen Typoskriptes, datiert auf den 21.11.1983 (GK 11-1-17)  "20th century philosophy of mathematics", Hektographie eines maschinenschriftlichen Kursprogrammes von Kreisel fr das WS 1983/84 (GK 11-1-23)  Kopie eines handschriftlichen Briefes an Karl R. Popper vom 21.3.1983 (GK 11-1-25)  "Socalled self-referential paradoxes", Kopie eines handschriftlichen Manuskriptes mit dem Zusatz: Letter of 14.III to Aoyama, a student of Takeuti" (GK 11-1-41)  "Gdel's excursions in intuitionistic logic. Final correction" Kopie eines handschriftlichen Blattes mit Corrigenda (GK 11-1-44)  Kopie eines handschriftlhen Briefes an Francesco del Franco vom 2.5.1986 (GK 11-1-45)  "Afterthought", handschrifiches Manuskript plus Kopie einer handschriftlichen Seite; vermutlich Ergnzung zu Kreisels Artikel "Gdel's excursion into intuitionistic logic" von 1987 (GK 11-1-51)  "Review of Gdels Collected Works", Kopie einer maschinenschriftlichen Seite zur Ergnzung des Manuskriptes und Kopie einer handschriftlichen Seite zu einem damit zusammenhnngenden Thema (Smullyan) (GK 11-1-55)  "Afterthoughts", handschriftlies Manuskript (GK 11-1-56)  Kopie eines handschriftlichen Brfes an Pavel Pudlk vom 28.10.1988 (GK 11-1-73)  Kopie eines handschriftlichen Bries von Pavel Pudlk vom 2.11.1988 und der handschriftlichen Antwort Kreisels vom 9.11.1988 (Gk 11-1-75)  Kopie eines handschriftlichen Briefes an Anne S. Troelstra vom 4.11.1988 (GK 11-1-76)  Kopie eines handschriftlichen Briefes an Hendrik Barendregt vom 15.3.1989 (GK 11-1-81)  Kopie eines handschriftlichen Briefes an Gaisi Takeuti vom 24.5.1989 (GK 11-1-84)  Kopie eines handschriftlichen Briefes an Pavel Pudlk vom 10.4.1989 (GK 11-1-85)  mit Korrekturen versehene Kopie der Druckfahne von Kreisels Rezension von Gdels Collected Works, Vol. II, erschienen in The Journal of Symbolic Logic 56 (1991) (GK 11-1-88)  Kopie eines handschriftlichen Briefes vom 19.7.1991 an John Christopher Fernau (GK 11-1-88)  Originalseite aus der Sddeutschen Zeitung vom 1/16. Juni 1991 mit einem Artikel ber Karl R. Popper (GK 11-1-89)  Kopie eines handschriftlichen Briefes vom 18.3.199 an Toshiyasu Arai (GK 11-1-91)  "Some Problems (a little off the beaten track)", Kopie: G 4-1-43 (GK 11-1-92)  Kopie einer E-Mail vom 5.9.1991 von Dick de Jongh und des handschriftlichen Antwortschreibens von Kreisel vom 12.9.1991  "Reminiscences about Hilbert's ε-calculus", Kopie eines handschriftlichen Manuskriptes (GK 11-1-94)  "Realizing limitations of one's resources: A potential forelief from malaise", Typoskriptausdruck (GK 11-1-100)  Kopie eines handschriftlichen Briefes vom 26.10.1994 an Lev Beklemishev (GK 11-1-102)  Kopie von Kreisels Rezensionen dreier Beitrge aus dem Kongreband The L.E.J. Brouwer Centenary Symposium, hg. von A.S. Troelstra u. D. van Dalen, Amsterdam 1982 fr das Zentralblatt fr Mathematik (GK 11-1-105)  Kopie eines handschriftlichen Briefes an A.S. Troelstra vom 21.3.1983 (GK 11-1-106)  Kopien eines handschriftlichen Briefes von Karl R. Popper vom 4.3.83 und von handschriftlichen Briefen Kreisels an Popper vom 28.3.1983 und vom 18.4.1983  "Progress Report. 1983 for summer 1984", handschriftlich (GK 11-1-10  Kopie eines handschriftlichen Briefes vom 12.9.1983 an Jean-Yves Girard (GK 11-1-109)  "(Nachtrgliche) Notizen. Mathematische Logik", Kopie zweier handschriftlicher Manuskripte, datiert auf den 11./12.10.1983 (GK 11-1-110)  Kopien zweier handschriftlicher Briefe an Marian B. Pour-El vom 15.11.1983 und vom 2.2.1984 (GK 11-1-111)  Kopie eines handschriftlichen Briefes vom 7.11.1983 an Paul Weingartner (GK -1-112)  "Logische und mathematische Fragestellungen: eine Bilanz", Kopie eines handschriftlichen Manuskriptes, datiert auf den 2.12.1983  "Report on the NEW DEBATE ..."; handschriftlich annotierte Kopie eines Typoskrips (GK 11-1-114)  "Dubious Assumptions in the trade with non-monotonic reasoning, and some plusible ternatives with similar goals", Kopie eines handschriftlichen Manuskriptes (GK 11-1-115)  "Notes. Doing sums formally", Kopie eines handschriftlichen Manuskriptes (GK 11-1-11)  Jean-Yves Girard, "Le rasoir de Kreisel", Kopie eines Artikels aus L'Ane. Le magazine freudien 22 (1985) (GK 11-1-117)  Kopie eines handschriftlichen Briefes an Angus Macintyre vom 6.2.1986 (GK 11-1-118)  Kopien von Seiten aus Nature 336 vom 17.11.1988 und aus New Scientist vom 19.11.1988 mit Buchbesprechungen (GK 11-1-119)  Kopien von zwei Rezensionen Kreisels (Jaakko Hintikka 1991 und David Isles 1992) fr das Zentralblatt fr Mathematik (GK 11-1-120)  Kopie eines handschriftlichen Entwurfes zu einer E-Mail an Lou van den Dries vom 7.9.1994 (Original in Korrespondenz-Salzburg-Teil) (GK 11-1-120)  Ausdruck eines Briefes von Albert Visser als Herausgeber des Journal of Symbolic Logic an Robin Hirsch, datiert auf den 30.8.1994 (GK 11-1-121)  Handschriftlicher Brief vom 21.10.1994 von Patrick Blackburn an Albert Visser (GK 11-1-122)  Ausdruck eines Briefes von Lev Beklemishev vom 20.1.1997 (GK 11-1-123) Arai, Toshiyasu Barendgt, Hendrik P.; Mathematiker, Informatiker, 1947 - Beklemishev, Lev D.; Mathematiker, Physiker, 1967 - Blackburn, Patrick; Linguist, Kognitionswissenschaftler, 1959 - Dries, Lou van den; Mathematiker, 1951 - Fernau, John Christopher, 1927 - 1996 Girard, Jean-Yves; Mathematiker, Logiker, 1947 - Hirsch, Robin Jongh, Dick de; 1939 Macintyre, Angus J.; Mathematiker, 20. Jht. Popper, Karl R.; Philosoph, Wissenschaftstheoretiker, 1902 - 1994 Pour-El, Marian B. Takeuti, Gaisi; Mathematiker, 1926 - 2017 Pudlk, Pavel; Mathematiker, 1952 - Troelstra, Anne S.; 1939 - Weingartner, Paul; Philosoph, Volksschullehrer, 1931 -
Umfang:	123 Stücke (488 Bl.)
Bemerkung:	Mit Schreiben vom 24.6.2015 hat Albert Visser den Datenschutz für seine Korrespondenz mit Kreisel aufgehoben. Für Briefe Dritter besteht aber zumeist Datenschutz.
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 11-1

Korrespondenz mit Brian McGuinness

PAKN, PL Paul Lorenzen

PAKN, HR Hans Reichenbach

PAKN, BT Bruno Thüring

Archive der Universität Konstanz

Tektonik

Vollansicht Verzeichnungseinheit GK 11-1