Георг Крайзель - Georg Kreisel

Георг Kreisel FRS (15 сентября 1923 - 1 марта 2015) был австрийский -born математический логик , который учился и работал в Соединенном Королевстве и Америке .

биография

Крайзель родился в Граце и происходил из еврейского происхождения; его семья отправила его в Соединенное Королевство до аншлюса , где он изучал математику в Тринити-колледже в Кембридже , а затем, во время Второй мировой войны , работал над военными предметами. Крайзель так и не защитил докторскую диссертацию, хотя в 1962 году ему была присуждена кембриджская степень доктора философии, "высшая докторская степень", присвоенная на основании опубликованных исследований. Он преподавал в Университете Рединга с 1949 по 1954 год, а затем работал в Институте перспективных исследований с 1955 по 1957 год. Он вернулся в Рединг в 1957 году, но затем преподавал в Стэнфордском университете с 1958 по 1959 год. Затем снова в Рединге в 1959-1960 годах, а затем в Парижском университете в 1960-1962 годах. Крайзель был назначен профессором Стэнфордского университета в 1962 году и оставался на его факультете до выхода на пенсию в 1985 году.

Крайзель работал в различных областях логики, и особенно в теории доказательств , где он известен своей так называемой " раскручивающей " программой, целью которой было извлечение конструктивного содержания из внешне неконструктивных доказательств .

Крайзель был избран членом Королевского общества в 1966 году; Крайзель оставался близким другом Фрэнсиса Крика, с которым он познакомился в Королевском флоте во время Второй мировой войны.

Во время учебы в Кембридже Крайзель был учеником Людвига Витгенштейна, которого больше всего уважал . Рэй Монк пишет: «В 1944 году, когда Крайзелю был всего двадцать один год, Витгенштейн шокировал Раша Риза , объявив Крайзеля самым способным философом из всех, кого он когда-либо встречал, и который также был математиком».

Крайзель также был близким другом англо-ирландского философа и писательницы Айрис Мердок . Они познакомились в Кембридже в 1947 году, когда Мердок учился там. Питер Конради сообщает, что Мердок переписывала письма Крейзеля в свои дневники в течение следующих пятидесяти лет. По словам Конради, «в течение полувека она тем не менее по-разному описывает блеск, остроумие и явную« точечную »солипсистскую странность Крейзеля, его аморализм, жестокость, двусмысленное тщеславие и непристойность». Мердок посвятила свой роман 1971 года « Случайный человек» Крайзелю, и он стал (частичной) моделью для нескольких персонажей других романов, включая Маркуса Валлара в «Послании к планете» и Гая Опеншоу в « Монахини и солдаты» *.

После выхода на пенсию Крайзель жил в Зальцбурге , Австрия. Он написал несколько биографий математиков, включая Курта Гёделя , Бертрана Рассела и Луитцена Эгбертуса Яна Брауэра . Он умер в Зальцбурге в возрасте 91 года.

Анекдоты

Когда Крейзель преподавал в Университете Рединга, он часто ехал поездом в Лондон. Был особенно скоростной поезд, который был приурочен как раз к лондонским концертам, и в это время он должен был отправиться на вокзал. Однажды он проверил расписание, и этот поезд был отменен. Но однажды по привычке он явился на станцию ​​в обычное время, и поезд был там. Похоже, он шел из Бристоля в Лондон, останавливаясь в Рединге только за водой. Он все равно сел в поезд, и с тех пор регулярно ездил на этом поезде. Однажды после того, как он ушел, к нему обратился дирижер. "Поезд здесь не останавливается, сэр!" «В этом случае я не попал сюда».

Смотрите также

• Логика Крейзеля – Патнэма

использованная литература

внешние ссылки

• Пьерджиоргио Одифредди (редактор), Kreiseliana: Около и вокруг Джорджа Крейзеля , Веллесли , Массачусетс: AK Peters, 1996. ISBN  1-56881-061-X .
• Крайзель, лямбда-исчисление, ветряная мельница и замок Содержит личные воспоминания о Крайзеле его ученика Хенка Барендрегта .
• Георг Крайзель на проекте « Математическая генеалогия»