Matemaatikud

Ajakava Fotod Raha Margid Sketch Otsima

Georg Kreisel

Sünniaeg:

Sünnikoht:

Surmaaeg:

Koht surma:

15 Sept 1923

Graz, Austria

Ettekanne
TÄHELEPANU - automaatne tõlge inglise versiooni

Georg Kreisel tulid juudi taust, kasvavad üles Graz 1930 oli väga raske. Kreisel vanemad nägid lähenevat poliitilised probleemid ja enne Hitler võttis üle Austria, saatsid nad Georg ja tema venna Inglismaale. Kreisel õppis matemaatika at Trinity College, Cambridge'i lõpetab BA 1944. Õpingute bakalaureuseõppe aastat Kreisel oli mõjutatud Wittgensteini, kes oli ka Trinity. Wittgenstein ütles, et Kreisel oli:

... Kõige võimalik filosoof ta kunagi kohtunud, kes oli ka matemaatik.

Kreisel saadeti teha sõja Teenuse Admiraliteedi kohe oma ülikooli kursused olid üle ja ta alustas tööd Lääne Leigh ümbruses Havant ja lähedal mereväebaasi Portsmouth. Pea Lääne Leigh oli sel ajal Collingwood. Mõne aja pärast, Kreisel paigutati Fanum House Londoni kesklinnas, kus ta õppis mõju lainete kohta sadamates mis on loodud Normandia maandumist.

Aastal 1946 Kreisel tagasi Cambridge alustada teadusuuringuid, õppimine matemaatilise loogika. Pärast hankelepingu doktorikraadi Kreisel loodetud Fellowship at Trinity kuid seda ei tehta. Ta taotles akadeemilised ametikohad ja nimetati lugemisel 1949. Freeman Dyson oli üliõpilaste Cambridge'i samal aastal kui Kreisel ja 1950 oli Institute for Advanced Study. Ta veenis Gödel kutsuda Kreisel et Institute for Advanced Study ja Kreisel jõudnud seal suvel 1955. Verena Huber-Dyson kirjutab:

Kuigi ta ei tulnud koos selge eesmärgiga elada ja võimalust naasta Euroopasse oli talle avatud, Kreisel ei olnud tihedad sidemed oma seisukohta Lugemine, pigem mõistatuslik asukoht isikule tema omapärane omadused.

Kreisel tagasi Lugemine aastal 1957, kuid hoitakse kuni matemaatiliselt oluline kirjavahetus Gödel. Aastal 1958-59 Kreisel oli tagasi Ameerika Ühendriigid, seekord Stanfordis. Pärast naasmist Lugemine tema eelmisel aastal töötajatele seal 1959-60 veetis ta kaks aastat 1960-62 Pariisis.

Aastal 1962 Kreisel tagasi Ameerika Ühendriigid ning määrati Stanfordi, kus ta jäi töötajatele kuni ta jäi pensionile aastal 1985.

S Feferman aastal kirjutab Kreisel maksed:

Kaudu oma panuse (individuaalne ja koostööd) ja tema erakordne isiklik mõju, Georg Kreisel tegi ehk rohkem kui keegi teine edendada tõendi teooria ja metamathematics on constructivity viimase neljakümne aasta jooksul.

Üks oluline aspekt, mis Kreisel töötanud üle 30 aasta jooksul oli tema "korrapäratu". Aastal 1958 on paber matemaatiline tähendus järjepidevuse tõendit 1958 Kreisel kirjutas:

On erinevate üldist programmi, mis ei tundu kannatavad vead [ Hilbert 's] kooskõla programmi: teha kindlaks, konstruktiivne (rekursiivne) sisu ega konstruktiivset võrdväärne mitte konstruktiivset mõistete ja teoreemide kasutada matemaatikas, eriti matemaatilisi ja analüüs.

See "erinevate üldist programmi" ta hiljem andis rohkem värvikas nimi "korrapäratu program". Nagu Feferman kirjutab:

Selle eesmärk oli asendada selge matemaatiline tulemusi, mida öeldi ebamääraselt teisaldatud, toornafta foundational eesmärke. Kuid nagu tema tööd constructivity, Kreisel otsis asendada need, mida keerukamaid suhtumine umbes sihtasutused.

Kreisel valiti Royal Society of London in 1966.

Source:School of Mathematics and Statistics University of St Andrews, Scotland