Georg Kreisel - Georg Kreisel

Georg Kreisel FRS (15 września 1923 – 1 marca 2015) był urodzonym w Austrii logikiem matematycznym, który studiował i pracował w Wielkiej Brytanii i Ameryce .

Biografia

Kreisel urodził się w Grazu i pochodził z żydowskiego pochodzenia; jego rodzina wysłała go do Wielkiej Brytanii przed Anschlussem , gdzie studiował matematykę w Trinity College w Cambridge , a następnie, podczas II wojny światowej , pracował nad przedmiotami wojskowymi . Kreisel nigdy nie zrobił doktoratu, chociaż w 1962 otrzymał stopień doktora Cambridge, „wyższy doktorat” nadany na podstawie opublikowanych badań. Wykładał na Uniwersytecie w Reading od 1949 do 1954, a następnie pracował w Instytucie Studiów Zaawansowanych od 1955 do 1957. Wrócił do Reading w 1957, ale potem wykładał na Uniwersytecie Stanforda w latach 1958-1959. Następnie z powrotem w Reading na rok 1959-1960, a następnie na Uniwersytecie Paryskim 1960-1962. Kreisel został mianowany profesorem na Uniwersytecie Stanforda w 1962 roku i pozostał tam do czasu przejścia na emeryturę w 1985 roku.

Kreisel pracował w różnych dziedzinach logiki, a zwłaszcza w teorii dowodu , gdzie znany jest z tzw. programu „ odwijania ”, którego celem było wydobycie konstruktywnej treści z dowodów powierzchownie niekonstruktywnych .

Kreisel został wybrany do Towarzystwa Królewskiego w 1966 roku; Kreisel pozostał bliskim przyjacielem Francisa Cricka, którego poznał w Royal Navy podczas II wojny światowej.

Podczas studiów w Cambridge Kreisel był uczniem najbardziej szanowanym przez Ludwiga Wittgensteina . Ray Monk pisze: „W 1944 roku – kiedy Kreisel miał zaledwie dwadzieścia jeden lat – Wittgenstein zaszokował Rusha Rheesa , ogłaszając, że Kreisel jest najzdolniejszym filozofem, jakiego kiedykolwiek spotkał, a jednocześnie matematykiem”.

Kreisel był także bliskim przyjacielem anglo-irlandzkiej filozofki i powieściopisarki Iris Murdoch . Poznali się w Cambridge w 1947, podczas roku studiów Murdocha. Peter Conradi donosi, że Murdoch transkrybował listy Kreisel do swoich dzienników przez następne pięćdziesiąt lat. Według Conradiego: „Przez pół wieku artystka w różny sposób odnotowuje błyskotliwość, dowcip i czystą 'dziwną' solipsystyczną dziwność Kreisela, jego amoralność, okrucieństwo, dwuznaczną próżność i nieprzyzwoitość”. Murdoch zadedykował Kreiselowi swoją powieść z 1971 roku Przypadkowy człowiek i stał się (częściowym) wzorem dla kilku postaci w innych powieściach, w tym Marcusa Vallara w Przesłaniu do planety i Guya Openshawa w Zakonnicach i żołnierzach .*

Po przejściu na emeryturę Kreisel mieszkał w Salzburgu w Austrii. Napisał kilka biografii matematyków, w tym Kurta Gödla , Bertranda Russella i Luitzena Egbertusa Jana Brouwera . Zmarł w Salzburgu w wieku 91 lat.

Anegdoty

Kiedy Kreisel wykładał na Uniwersytecie w Reading , często jeździł pociągiem do Londynu. Był szczególnie szybki pociąg, który był w sam raz na koncerty w Londynie, a on w tym czasie jechał na stację. Pewnego dnia sprawdził rozkład jazdy i ten pociąg został odwołany. Ale z przyzwyczajenia pewnego dnia pojawił się na stacji o zwykłej porze i pociąg tam był. Wygląda na to, że jechał z Bristolu do Londynu, zatrzymując się w Reading tylko po wodę. I tak wsiadł do pociągu i od tego czasu regularnie jeździł tym pociągiem. Pewnego dnia został zaczepiony przez konduktora po tym, jak wsiadł. "Pociąg się tu nie zatrzymuje, proszę pana!" – W takim razie nie dostałem się tutaj.

Zobacz też

• Logika Kreisela-Putnama

Bibliografia

Linki zewnętrzne

• Piergiorgio Odifreddi (red.), Kreiseliana: O i wokół George Kreisel , Wellesley, Massachusetts: AK Peters, 1996. ISBN  1-56881-061-X .
• Kreisel, rachunek lambda, wiatrak i zamek Zawiera osobiste wspomnienia o Kreisel przez jego ucznia Henka Barendregta .
• Georg Kreisel w projekcie Genealogia Matematyki