imported>John Red: Einzelnachweis ergänzt

2025-05-05T18:47:26Z

Einzelnachweis ergänzt

Neue Seite

'''Georg Kreisel''' (* [[15. September]] [[1923]] in [[Graz]]; † [[1. März]] [[2015]] in [[Salzburg]]) war ein britisch-US-amerikanischer Logiker und Mathematiker.

== Leben ==
Kreisel wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern nach England geschickt, wo er im Alter von 19 Jahren sein Studium der Mathematik am [[Trinity College (Cambridge)|Trinity College]] der Universität Cambridge begann, mit dem Bachelorabschluss 1944. Sein Landsmann [[Ludwig Wittgenstein]] hielt ihn für seinen besten Schüler. Während des Zweiten Weltkriegs arbeitete er in der britischen Militärforschung (er untersuchte unter anderem die Auswirkungen von Wellen auf die für die Landung in der Normandie gebauten künstlichen Häfen) und promovierte nach dem Krieg an der [[University of Cambridge|Universität Cambridge]].<ref>{{MathGenealogyProject|20180|Kommentar=abgerufen am 5. Mai 2025.}}</ref> Er war nach dem Krieg eng mit der anglo-irischen Schriftstellerin [[Iris Murdoch]] befreundet. Der englische Physiker und Nobelpreisträger [[Francis Crick]] zählte ihn zu seinen wichtigsten Mentoren. Er unterrichtete 1949 bis 1960 an der [[University of Reading|Universität Reading]], wobei er zwischendurch (1955 bis 1957) an das [[Institute for Advanced Study|Institute for Advanced Studies]] in Princeton, New Jersey, USA wechselte, wohin er auf Einladung von [[Kurt Gödel]] kam (den wiederum [[Freeman Dyson]] dazu anregte). 1958 bis 1959 war er an der [[Stanford University]] und 1960 bis 1962 an der [[Universität Paris]]. 1962 wurde er zum Professor an der Stanford-Universität ernannt, wo er bis zu seiner Pensionierung 1985 blieb.

Kreisel bearbeitete verschiedene Felder der mathematischen Logik und [[Beweistheorie]], wo er durch sein sogenanntes „Unwinding“-Programm bekannt wurde. Er setzte sich eingehend mit den Theorien von [[Kurt Gödel]] auseinander, bei dem er am Institute for Advanced Study war und mit dem er danach korrespondierte.

1966 wurde er in die [[Royal Society]] gewählt.

1958 war er Invited Speaker auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematikerkongress]] in [[Edinburgh]] (Ordinal logics and the characterization of informal concepts of proof).

== Eigene Arbeiten (Auszug) ==
* ''On the interpretation of non-finitist proofs'' – Part I, J. Symbolic Logic, Band 16, 1951, S. 241–267, Teil II, Band 17, 1952, S. 43–58.
* ''Mathematical significance of consistency proofs'', J. Symbolic Logic, Band 23, 1958, S. 155–182.
* ''A survey of proof theory'', J. Symbolic Logic, Band 33, 1968, S. 321–388.
* ''Hilbert`s Programme'', Dialectica, Band 12, 1958, S. 346–372, Nachdruck in Benacerraf, Putnam (Hrsg.): ''Philosophy of Mathematics. Selected Readings'', Prentice Hall 1964
* ''Proof theory: Some personal recollections'', in [[Gaisi Takeuti]] (Herausgeber) ''Proof Theory.'' 2. Auflage. Elsevier 1987, S. 395–405.
* ''Logical aspects of computation: Contributions and distractions'', in Odifreddi (Hrsg.): ''Logic and Computer Science'', Academic Press, 1990
* ''On the idea(l) of logical closure'', Annals of Pure and Applied Logic, Band 56, 1992, S. 19–41.
* mit [[Jean-Louis Krivine]]: ''Elements of mathematical logic (model theory)'', North Holland 1967 (französisches Original Dunod 1966)
** Deutsche Übersetzung: ''Modelltheorie: eine Einführung in die mathematische Logik und Grundlagentheorie.'' Springer Verlag 1972
* [[Piergiorgio Odifreddi]] (Hrsg.): ''Kreiseliana: about and around Georg Kreisel'', Wellesley, Massachusetts, A. K. Peters 1996 (Aufsatzsammlung von und über Georg Kreisel)

== Literatur ==
* [[Solomon Feferman|S. Feferman]]: ''Kreisel’s „unwinding“ Program'', in Odifreddi (Hrsg.) ''Kreisleriana'', 1996, S. 247–273.
* C.N. Delzell: ''Kreisel’s unwinding of Artin‘ s proof.'' in Odifreddi (Hrsg.) ''Kreisleriana'', 1996, S. 113–246.
* Luiz Carlos Pereira: Besprechung von Odifreddi (Hrsg.) ''Kreiseliana: About and Around Georg Kreisel'', Review of Modern Logic, Band 8, 2000, S. 127/131, [https://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.rml/1081173779 Online].

== Weblinks ==
* {{DNB-Portal|119528592}}
* {{MacTutor|id=Kreisel}}
* [https://zbmath.org/authors/kreisel.georg Georg Kreisel] in der Datenbank [[zbMATH]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=119528592|LCCN=n90705386|VIAF=15582257}}

{{SORTIERUNG:Kreisel, Georg}}
[[Kategorie:Logiker]]
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Hochschullehrer (Stanford University)]]
[[Kategorie:Österreichischer Emigrant zur Zeit des Nationalsozialismus]]
[[Kategorie:Österreichischer Emigrant in den Vereinigten Staaten]]
[[Kategorie:Mitglied der Royal Society]]
[[Kategorie:Absolvent der University of Cambridge]]
[[Kategorie:Brite]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1923]]
[[Kategorie:Gestorben 2015]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Kreisel, Georg
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=britisch-US-amerikanischer Logiker und Mathematiker
|GEBURTSDATUM=15. September 1923
|GEBURTSORT=[[Graz]]
|STERBEDATUM=1. März 2015
|STERBEORT=[[Salzburg]]
}}

Georg Kreisel - Versionsgeschichte

imported>John Red: Einzelnachweis ergänzt