Крайзель, Георг

Крайзель родился в Граце в еврейской семье. В 1938 году, до Аншлюса, семья отправила его в Великобританию. Изучал математику в Тринити-колледже Кембриджского университета. Во время Второй мировой войны занимался исследованиями военной тематики. Крайзель не защищал докторскую диссертацию (Ph.D.), однако в 1962 году Кембриджский университет присвоил ему степень доктора наук (Sc.D.) на основе опубликованных работ^[4].

С 1949 по 1954 год преподавал в Редингском университете. С 1955 по 1957 год работал в Институте перспективных исследований. В 1957 году вернулся в Рединг, затем с 1958 по 1959 год преподавал в Стэнфордском университете. В 1959—1960 годах снова работал в Рединге, а с 1960 по 1962 год — в Парижском университете. В 1962 году Крайзель был назначен профессором Стэнфордского университета, где работал до выхода на пенсию в 1985 году^[5][6].

Крайзель работал в различных областях логики^[7], в первую очередь в теории доказательств. Он известен программой «развёртывания» (англ. unwinding program), целью которой было извлечение конструктивного содержания из неконструктивных математических доказательств^[8].

В 1966 году Крайзель был избран членом Лондонского королевского общества^[6]. Он поддерживал дружеские отношения с Фрэнсисом Криком^[9], с которым познакомился во время службы в Королевском военно-морском флоте в годы Второй мировой войны.

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

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

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

Во время преподавания в Редингском университете Крайзель часто ездил на поезде в Лондон. Один из скорых поездов прибывал в Лондон как раз к началу театральных представлений. Однажды он проверил расписание и обнаружил, что этот поезд отменён. Тем не менее, по привычке он пришёл на станцию в обычное время, и поезд оказался там. Выяснилось, что поезд следовал из Бристоля в Лондон и останавливался в Рединге только для заправки водой. Крайзель сел в поезд и с тех пор регулярно им пользовался. Однажды кондуктор сделал ему замечание: «Сэр, этот поезд здесь не останавливается!». Крайзель ответил: «В таком случае, я здесь не садился»^[11].