Korrespondenz mit Albert Visser
Show full title
Record
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.
Information on confiscated assets
Further information
BZK no.
The Bundeszentralkartei (BZK) is the central register of the federal government and federal states for completed compensation proceedings. When a claim is entered into the BZK, a number is assigned for unique identification. This BZK number refers to a compensation claim, not to a person. If a person has made several claims (e.g. for themselves and for relatives), each claim generally has its own BZK number. Often, the file number of the respective compensation authority is used as the BZK number.
This number is important for making an inquiry to the relevant archive.
This number is important for making an inquiry to the relevant archive.
Delict according to Nazi judicial system
Conduct that was first criminalized under National Socialism (e.g. the Treachery Act, ‘Judenbegünstigung’) or which the Nazi judiciary prosecuted more severely (e.g. high treason).
Reason for persecution
The reasons provided here are based on the wording in the reasons for persecution stated in the sources.
Role in the proceeding
‘Verfolgt’ refers to a person who submitted a compensation claim for damage caused by Nazi persecution. If the application was submitted by a person other than the persecuted person, this other person is designated as ‘antragstellend’ and their relationship to the persecuted person, if there is one, is noted. In the sources, the persecuted person is sometimes referred to as ‘Geschädigter’ (aggrieved party) and the applicant as ‘Anspruchsberechtigter’(claimant).
Search in Archivportal-D
You may find additional archival material on this person not related to Wiedergutmachung in the Archivportal-D.
Additional information on reason for persecution
Additional or more specific information on membership and group affiliation which were the reason for the persecution.
10.06.2025, 11:28 AM CEST