In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Georg Kreisel >> Pittsburgh-Teil >> Kreisel letters
1980-1981
Enthält: Briefe von Kreisel an Dana Scott (mit Anlagen), einen Brief von Scott sowie Briefe von und an Dritte. Der Zeitraum der Korrespondenz zwischen Kreisel und Scott ist 2.7.1980 bis 7.7.1981.GK 1-9-1 enthält neben Briefen an Scott eine hs. Ansichtskarte an MarcelGuillaume vom 4.8.1980. GK 1-9-3 ist ein hs. Brief an Michael Evans vom 23.6.1981. GK 1-9-5 enthält neben Briefen an Dana Scott die Kopie einer masch. Ergänzung zum Manuskript von "Constructivistic approaches to logic", erschienen in Modern Logic (1980) und einen hs. Brief an Oiva Toivo Ketonen vom 15.7.1980. GK 1-9-6 enthält einen hs. Brief vom 29.7.1980 von Gudrun Brattström (mit hs. Annotation von Kreisel) und ein hs. Manuskript mit dem Titel "Proof Theory and Computer Science", datiert auf den 22.5.1980. GK 9-1-11 enthält die Kopien je eines hs.Briefes an Pierre Deligne und an Marian Boykan Pour El vom 23. bis 25.7.1980. Bei den Stücken GK 1-9-12 handelt es sich um kurze hs. Notizen, betitelt "Message to Ketonen" und "Message to Hyland (or Gandy)", vermutlich als Anlagen zu einem Brief an Dana Scott. GK 1-9-14 ist eine hs. bibliographische Notiz mit einem kurzen Text über L-Systeme, GK 1-9-15 ist ein hs. Notiz über Kreisels Lektüre der Autobiographie von Stanislaw Ulam und einer Biographie über Paul Ehrenfest. Bei GK 1-9-17 handelt es sich um die Kopie eines Artikels über den Trotzki Nachlaß aus T he Harvard Graduate Society Newsletter vom Juni 1980, bei GK 1-9-18 um die Kopie des Artikels "The Letter S" von Donald E. Knuth aus dem Mathematical Intelligencer (2) 1980.
Brattström, Gudrun.
Deligne, Pierre.
Evans, Michael (Michael John)
Ketonen, Oiva Toiva.
Knuth, Donald Ervin, 1938-
Pour-El, Marian B. (Marian Boykan),1928-
Scott, Dana S.; Mathematiker, Logiker, Informatiker, Philosoph, 1932 -
Harvard Graduate Society for Advanced Study and Research. Newsletter.
Mathematical intelligencer (Berlin, Deutschland : 1978)
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.
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.
