Георг Крайзель, FRS (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]