Георг Крайзель ФРС (15 сентября 1923 – 1 марта 2015) [1] был математическим логиком австрийского происхождения , который учился и работал в Великобритании и Америке .
Крайзель родился в Граце и имел еврейское происхождение; его семья отправила его в Соединенное Королевство перед аншлюсом в 1938 году. Он изучал математику в Тринити-колледже в Кембридже , а затем, во время Второй мировой войны , работал над военными предметами. Крайзель так и не получил докторскую степень, хотя гораздо позже, в 1962 году, ему была присуждена Кембриджская степень доктора философии. , «высшая докторская степень», присуждаемая на основе опубликованных исследований. [2]
Он преподавал в Университете Рединга с 1949 по 1954 год, а затем работал в Институте перспективных исследований с 1955 по 1957 год. Он вернулся в Рединг в 1957 году, но затем преподавал в Стэнфордском университете с 1958 по 1959 год. Затем снова в Рединге в 1959–1960 годах, а затем в Парижском университете в 1960–1962 годах. Крайзель был назначен профессором Стэнфордского университета в 1962 году и оставался там на факультете до выхода на пенсию в 1985 году. [3] [4]
Крейзель работал в различных областях логики, [5] и особенно в теории доказательств , где он известен своей так называемой программой « разматывания », целью которой было извлечение конструктивного содержания из внешне неконструктивных доказательств . [6]
Крейзель был избран членом Королевского общества в 1966 году; [4] Крайзель оставался близким другом Фрэнсиса Крика [7] [8] , с которым он познакомился в Королевском флоте во время Второй мировой войны. [9]
Будучи студентом Кембриджа, Крайзель был самым уважаемым студентом Людвига Витгенштейна . Рэй Монк пишет: «В 1944 году, когда Крейзелю был еще всего двадцать один год, Витгенштейн шокировал Раша Риса, объявив Крейзеля самым способным философом, которого он когда-либо встречал, и который также был математиком». [10]
Крейзель также был близким другом англо-ирландского философа и писательницы Айрис Мердок . Они встретились в Кембридже в 1947 году, когда Мердок учился там. Питер Конради сообщает, что Мердок записывала письма Крейзель в свои дневники в течение следующих пятидесяти лет. По словам Конради, «в течение полувека она, тем не менее, по-разному фиксирует блеск, остроумие и явную солипсистскую странность Крейзеля, его аморализм, жестокость, двусмысленное тщеславие и непристойность». Мердок посвятила свой роман 1971 года «Случайный человек» Крейзелю, и он стал (частичным) образцом для нескольких персонажей в других романах, включая Маркуса Валлара в « Послании планете» и Гая Опеншоу в «Монахинях и солдатах» .* [11]
После выхода на пенсию Крайзель жил в Зальцбурге , Австрия. Он написал несколько биографий математиков, в том числе Курта Гёделя , [12] Бертрана Рассела [13] и Луицена Эгберта Яна Брауэра . [14] Он умер в Зальцбурге в возрасте 91 года.
Когда Крайзель преподавал в Университете Рединга, он часто ездил на поезде в Лондон. Был особенно быстрый поезд, который был рассчитан как раз на концерты в Лондоне, и в это время он должен был отправиться на станцию. Однажды он проверил расписание и обнаружил, что поезд отменен. Но по привычке однажды он появился на вокзале в обычное время и поезд уже был там. Судя по всему, он направлялся из Бристоля в Лондон, останавливаясь в Рединге только за водой. Он все равно сел в поезд и с тех пор ездил на этом поезде регулярно. Однажды после того, как он сел, к нему подошел кондуктор. «Поезд здесь не останавливается, сэр!» «В таком случае я сюда не попал». [15]