Математиците

Час линия Снимки Пари Марки Скица Търся

Georg Kreisel

Дата на раждане:

Родно място:

Дата на смъртта:

Място на смърт:

15 Sept 1923

Graz, Austria

Представяне
ВНИМАНИЕ - Автоматичен превод от английски език

Георг Kreisel дойде от еврейски фон, така израстването в Грац в 1930s беше много трудно. Kreisel родителите видях приближаването политически проблеми и преди Хитлер пое Австрия, те изпращат Георг и брат му до Англия. Kreisel учи математика в Тринити Колидж, Кеймбридж Завършвам бакалавърска степен през 1944 година. По време на Бакалавърския година Kreisel беше повлияно от Wittgenstein които също бе в Троица. Wittgenstein каза, че е Kreisel:

... най-философ е в състояние непрекъснато се срещна които е бил също и математик.

Kreisel е изпратен да направи война услугата с Admiralty веднага му бяха над университетски курсове и той започва работа в Западна Лий край Havant и в близост до Морската база в Портсмут. Ръководителят на Запад Лий по това време беше Колингууд. След известно време, Kreisel бе преместен на Fanum къща в центъра на Лондон, където е учил на последиците от вълните на пристанища, които са били предназначени за разтоварване Нормандия.

През 1946 г. Kreisel върнати Кеймбридж да извърши проучване, изучаване математическа логика. След възлагане на неговата докторска Kreisel надявахме за стипендия на Тринити, но това не е предстоящо. Той прилага за академични позиции и е назначен за Рединг през 1949. Фрийман Дайсън е Бакалавърския в Кеймбридж през същата година, както и Kreisel от 1950s е в Института за напреднали изследвания. Той Gödel принуден да покани Kreisel на Института за напреднали изследвания и Kreisel пристигнали там през лятото на 1955. Verena Хубер-Дайсън пише в:

Въпреки че той не дойде с изричното намерение за престой, както и възможност за връщане към Европа е отворена за него, Kreisel не са имали силни връзки с неговата позиция на Рединг, доста puzzling местоживеенето на лицето, на неговите характерни качества.

Kreisel върнати Рединг през 1957 г., но се създаде математически важна кореспонденция с Gödel. През 1958-59 Kreisel беше обратно в Съединените щати, този път в Станфорд. След като се връщат на Рединг за миналата година на персонала и в 1959-60 той, прекарано на две години 1960-62 в Париж.

През 1962 г. Kreisel върнати в Съединените щати и е назначен за Станфорд, където той остана на персонала, докато той пенсионери през 1985 година.

S Feferman по пише за Kreisel на вноски:

Чрез собствените си вноски (индивидуални и съвместни) и неговата лична извънредно влияние, Георг Kreisel не би повече от всеки друг да насърчават развитието на теорията и доказателство за metamathematics на constructivity през последните четиресет години.

Един важен аспект, който Kreisel работи върху продължение на период от 30 години е бил негов "анулиране". През 1958 г. в статията Математически значение на последователността доказателство, през 1958 г. Kreisel написа:

Налице е различен общ програма, която не изглежда да страдат от дефекти на [Хилберт "ци] последователност програма: За да определите конструктивен (recursive) съдържание или конструктивен еквивалентни на не-конструктивен понятия и теореми, използвани в математиката, особено в средното аритметично и анализ.

Това "различни общи програма" той по-късно се даде повече колоритни името "анулиране програма". Както Feferman пише:

Той имаше за цел да замести ясни математически резултати за какво са тези да бъдат неясни, скрит, суров основният цели. Но, както с работата му върху constructivity, Kreisel също иска да заместят тези, с по-сложни позиция за фондации.

Kreisel бе избран за един изследовател на Кралския общество на Лондон през 1966.

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