Matematikust

Idővonal Photos Pénz Bélyegzőket Vázlatrajza Keres

Georg Kreisel

Születési dátuma:

Születési hely:

A halál időpontját:

Halálozási hely:

15 Sept 1923

Graz, Austria

Bemutatását
FIGYELEM - Automatikus fordítás angol verzió

Georg Kreisel jött egy zsidó háttérrel felnövő Graz 1930-as években volt, nagyon nehéz. Kreisel szülei látta a közeledő politikai problémákat, és mielőtt Hitler átvette Ausztria, küldtek Georg és testvére Angliába. Kreisel matematikát tanult a Trinity College, Cambridge-ben diplomázott a BA 1944-ben. Egyetemi évek alatt Kreisel befolyásolta Wittgenstein, aki szintén a Trinity. Wittgenstein azt mondta, hogy Kreisel volt:

... A legjobb képességű filozófus, amit valaha is találkozott, aki szintén matematikus.

Kreisel küldték meg háború Service az Admiralitás azonnal Egyetemi kurzusok fölött volt, és elkezdett dolgozni a West Leigh közelében Havant közel a Portsmouth haditengerészeti bázis. A fej Nyugat Leigh akkoriban Collingwood. Egy idő után Kreisel áthelyezték Fanum ház London központjában, ahol tanulmányozta a hatását hullámok a kikötők, melyeket úgy tervezték a partraszállás.

1946-ban Kreisel visszatért Cambridge-be, hogy a kutatás, tanulás matematikai logika. Odaítélését követően a doktori Kreisel reménykedtek a Trinity Fellowship, de ez nem volt várható. Kérte az akadémiai pozíciókat és Reading-ben nevezték ki 1949-ben. Freeman Dyson volt a Cambridge-i egyetemi ugyanabban az évben, mint Kreisel és az 1950-ben az Institute for Advanced Study. Ő Gödel rábeszélte, hogy hívja Kreisel az Institute for Advanced Study és Kreisel odaért nyarán 1955. Verena Huber-Dyson írja:

Bár nem jött azzal a kifejezett szándékkal tartózkodik, és annak lehetősége visszatérni Európába nyitva állt hozzá, Kreisel nem erősen kötődik betöltött tisztségével Reading, meglehetősen rejtélyes lakóhelyük szerinti személy az ő sajátos tulajdonságait.

Kreisel visszatért a Reading, de 1957-ben tartott egy matematikailag fontos levelezésben Gödel. 1958-59 Kreisel ben visszatért az Egyesült Államokban, ezúttal a Stanford. Miután visszatért magyarázat az utolsó évben, a személyzet 1959-60 ott töltött két év 1960-62 Párizsban.

Kreisel 1962-ben visszatért az Egyesült Államok és nevezték ki a Stanford, ahol a személyzet maradt, amíg 1985-ben ment nyugdíjba.

S itt Feferman írja körül Kreisel hozzájárulások:

Az ő saját járulékai (egyéni és az együttműködésen alapuló) és az ő rendkívüli személyes befolyása, Georg Kreisel talán nem több, mint bárki más fejlődésének elősegítése érdekében a bizonyítási elmélet és a Metamatematika a konstruktivitás az elmúlt negyven évben.

Az egyik fontos kérdés, amelyet Kreisel dolgozott időszak alatt 30 évig volt az "elszabaduló". 1958-ban a papír Matematikai jelentősége az összhang bizonyítási 1958 Kreisel írta:

Van egy másik program, ami általában a jelek szerint nem szenved a hibákat a [ Hilbert 's] következetesség program: Annak megállapításához, az építő (rekurzív) tartalma, vagy a konstruktív egyenértékű a nem építő koncepciók és elméletek alkalmazott matematika, különösen a számtani és elemzés.

Ez a "különböző általános program" később még színesebbé tette a nevét "elszabaduló program". Mint Feferman írja:

Ennek célja, hogy helyettesítsék tiszta matematikai eredményeket, amit elmondásuk szerint a bizonytalan, rosszul, nyers alapítványi célok. De, mint az ő munkáját konstruktivitás, Kreisel is törekedett, hogy e helyett egy kifinomultabb irányvonal kb alapjait.

Kreisel választották egy fickó a Royal Society of London 1966-ban.

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