Korrespondenz mit Albert Visser
Vollständigen Titel anzeigen
Archivale
PAKN, GK Georg Kreisel, GK 11-1
PAKN, GK Georg Kreisel
Georg Kreisel >> Korrespondenz mit Albert Visser
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. Collected Works, Vol. II, erschienen in The Journal of Symbolic Logic 56 (1991) (GK 11-1 -88) Süddeutschen Zeitung vom 1/16. Juni 1991 mit einem Artikel über Karl R. Popper (GK 11-1-89) . D. van Dalen, Amsterdam 1982 für das Zentralblatt für Mathematik (GK 11-1-105) L'Ane. Le magazine freudien 22 (1985) (GK 11-1-117) 6.2.1986 (GK 11-1-118) Nature 336 vom 17.11.1988 und aus New Scientist vom 19.11.1988 mit Buchbesprechungen (GK 11-1-119) en Kreisels (Jaakko Hintikka 1991 und David Isles 1992) für das Zentralblatt für Mathematik (GK 11-1-120) -Mail an Lou van den Dries vom 7.9.1994 (Original in Korrespondenz-Salzburg-Teil) (GK 11-1-120) Journal of Symbolic Logic an Robin Hirsch, datiert auf den 30.8.1994 (GK 11-1-121)
··"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
·Kopie eines handschriftlichen Briefes vom 19.7.1991 an John Christopher Fernau (GK 11-1-88)
·Originalseite aus der
·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
·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
·Kopie eines handschriftlichen Briefes an Angus Macintyre vom
·Kopien von Seiten aus
·Kopien von zwei Rezension
·Kopie eines handschriftlichen Entwurfes zu einer E
·Ausdruck eines Briefes von Albert Visser als Herausgeber des
·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 -
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. Collected Works, Vol. II, erschienen in The Journal of Symbolic Logic 56 (1991) (GK 11-1 -88) Süddeutschen Zeitung vom 1/16. Juni 1991 mit einem Artikel über Karl R. Popper (GK 11-1-89) . D. van Dalen, Amsterdam 1982 für das Zentralblatt für Mathematik (GK 11-1-105) L'Ane. Le magazine freudien 22 (1985) (GK 11-1-117) 6.2.1986 (GK 11-1-118) Nature 336 vom 17.11.1988 und aus New Scientist vom 19.11.1988 mit Buchbesprechungen (GK 11-1-119) en Kreisels (Jaakko Hintikka 1991 und David Isles 1992) für das Zentralblatt für Mathematik (GK 11-1-120) -Mail an Lou van den Dries vom 7.9.1994 (Original in Korrespondenz-Salzburg-Teil) (GK 11-1-120) Journal of Symbolic Logic an Robin Hirsch, datiert auf den 30.8.1994 (GK 11-1-121)
··"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
·Kopie eines handschriftlichen Briefes vom 19.7.1991 an John Christopher Fernau (GK 11-1-88)
·Originalseite aus der
·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
·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
·Kopie eines handschriftlichen Briefes an Angus Macintyre vom
·Kopien von Seiten aus
·Kopien von zwei Rezension
·Kopie eines handschriftlichen Entwurfes zu einer E
·Ausdruck eines Briefes von Albert Visser als Herausgeber des
·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 -
123 Stücke (488 Bl.)
Sachakte
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.
Für die Nutzung gesperrt bis 31.12.2050.
Angaben zum entzogenen Vermögen
Sonstige Angaben
BZK-Nr.
Die Bundeszentralkartei (BZK) ist das zentrale Register des Bundes und der Länder zu den durchgeführten Entschädigungsverfahren. Bei der Aufnahme eines Verfahrens in die BZK wurde zur eindeutigen Identifizierung eine Nummer vergeben. Diese BZK-Nummer bezieht sich nicht auf eine Person, sondern auf ein Entschädigungsverfahren: Hat eine Person mehrere Ansprüche geltend gemacht (z.B. für sich selbst und für Angehörige), liegt im Normalfall für jedes Verfahren eine eigene BZK-Nummer vor. Häufig wurde als BZK-Nr. schlicht das Aktenzeichen der jeweiligen Entschädigungsbehörde übernommen.
Diese Nummer ist für eine Anfrage im entsprechenden Archiv wichtig.
Diese Nummer ist für eine Anfrage im entsprechenden Archiv wichtig.
Delikt nach NS-Justiz
Handlungen, die im Nationalsozialismus überhaupt erst kriminalisiert wurden (z.B. Heimtückegesetz, "Judenbegünstigung") oder die die NS-Justiz in verschärftem Maß verfolgte (z.B. Hochverrat).
Verfolgungsgrund
Die hier angegebenen Gründe orientieren sich am Wortlaut der in den Quellen genannten Verfolgungsgründe.
Rolle im Verfahren
„Verfolgte Person“ meint eine Person, die einen Entschädigungsanspruch für einen Schaden durch NS-Verfolgung geltend machte. Wenn der Antrag nicht von der verfolgten Person selbst, sondern von einer anderen Person gestellt wurde, so wird diese als „antragstellend“ angegeben und ihre Beziehung zur verfolgten Person, soweit vorhanden, vermerkt. In den Quellen wird die verfolgte Person mitunter als „Geschädigter“, die antragstellende Person als „Anspruchsberechtigter“ bezeichnet.
Suche im Archivportal-D
Weitere Archivalien zu dieser Person über die Wiedergutmachung hinaus können Sie eventuell im Archivportal-D finden.
Nähere Angaben zum Verfolgungsgrund
Ergänzende oder spezifischere Angaben zu Mitgliedschaft, Gruppenzugehörigkeit bzw. Gruppenzuschreibung, die Anlass für die Verfolgung war.
10.06.2025, 11:28 MESZ