Georg Kreisel

Samstag, 15. September 1923

Sonntag, 01. März 2015

Salzburg

Georg Kreisel (* 15. September 1923 in Graz; † 1. März 2015 in Salzburg) war ein britisch-US-amerikanischer Logiker und Mathematiker. Er 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 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 Universität Cambridge. 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 Universität Reading, wobei er zwischendurch (1955 bis 1957) an das 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 Internationalen Mathematikerkongress in Edinburgh (Ordinal logics and the characterization of informal concepts of proof).