Крайзель, Георг
Георг Крайзель (англ. Georg Kreisel; [Нет даты!]) — австрийский математический логик, работавший в Великобритании и США. Член Лондонского королевского общества (1966). Известен работами в области теории доказательств, в частности программой «развёртывания» (англ. unwinding program), направленной на извлечение конструктивного содержания из неконструктивных математических доказательств.
Биография[править]
Крайзель родился в Граце в еврейской семье. В 1938 году, до Аншлюса, семья отправила его в Великобританию. Изучал математику в Тринити-колледже Кембриджского университета. Во время Второй мировой войны занимался исследованиями военной тематики. Крайзель не защищал докторскую диссертацию (Ph.D.), однако в 1962 году Кембриджский университет присвоил ему степень доктора наук (Sc.D.) на основе опубликованных работ[1].
С 1949 по 1954 год преподавал в Редингском университете. С 1955 по 1957 год работал в Институте перспективных исследований. В 1957 году вернулся в Рединг, затем с 1958 по 1959 год преподавал в Стэнфордском университете. В 1959—1960 годах снова работал в Рединге, а с 1960 по 1962 год — в Парижском университете. В 1962 году Крайзель был назначен профессором Стэнфордского университета, где работал до выхода на пенсию в 1985 году[2][3].
Крайзель работал в различных областях логики[4], в первую очередь в теории доказательств. Он известен программой «развёртывания» (англ. unwinding program), целью которой было извлечение конструктивного содержания из неконструктивных математических доказательств[5].
В 1966 году Крайзель был избран членом Лондонского королевского общества[3]. Он поддерживал дружеские отношения с Фрэнсисом Криком[6], с которым познакомился во время службы в Королевском военно-морском флоте в годы Второй мировой войны.
Философские способности Крайзеля высоко оценивал Людвиг Витгенштейн. Рэй Монк отмечает: «В 1944 году, когда Крайзелю был всего 21 год, Витгенштейн шокировал Раша Риса, заявив, что Крайзель — самый способный философ из всех, кого он встречал, который к тому же является математиком».
Крайзель также дружил с англо-ирландской писательницей и философом Айрис Мёрдок. Они познакомились в Кембридже в 1947 году. Питер Конради сообщает, что Мёрдок переписывала письма Крайзеля в свои дневники на протяжении пятидесяти лет. По словам Конради, «на протяжении полувека она фиксировала гениальность Крайзеля, его остроумие, солипсические странности, аморализм, жестокость, тщеславие и непристойность». Мёрдок посвятила Крайзелю свой роман 1971 года «Случайный человек». Он стал прототипом нескольких персонажей в её произведениях, включая Маркуса Валлара в романе «Послание планете» и Гая Опеншоу в «Монахини и солдаты».
После выхода на пенсию Крайзель жил в Зальцбурге. Он написал биографии математиков Курта Гёделя, Бертрана Рассела и Лёйтзена Эгберта Яна Брауэра. Умер в Зальцбурге в возрасте 91 года[7].
Анекдоты[править]
Во время преподавания в Редингском университете Крайзель часто ездил на поезде в Лондон. Один из скорых поездов прибывал в Лондон как раз к началу театральных представлений. Однажды он проверил расписание и обнаружил, что этот поезд отменён. Тем не менее, по привычке он пришёл на станцию в обычное время, и поезд оказался там. Выяснилось, что поезд следовал из Бристоля в Лондон и останавливался в Рединге только для заправки водой. Крайзель сел в поезд и с тех пор регулярно им пользовался. Однажды кондуктор сделал ему замечание: «Сэр, этот поезд здесь не останавливается!». Крайзель ответил: «В таком случае, я здесь не садился»[8].
Примечания[править]
- ↑ In Memoriam: Georg Kreisel. Архивировано из первоисточника 15 октября 2016. Проверено 27 июля 2026.
- ↑ pp. 265–266, Beyond Art: A Third Culture, Peter Weibel, Ludwig Múzeum (Budapest, Hungary), Neue Galerie am Landesmuseum Joanneum, Museum van Hedendaagse Kunst Antwerpen. New York: Springer-Verlag, 2005. ISBN 3-211-24562-6.
- ↑ 3,0 3,1 Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Крайзель, Георгангл. — биография в архиве MacTutor.
- ↑ Review of Piergiorgio Odifreddi, editor, Kreiseliana: About and Around Georg Kreisel, by Luis Carlos Pereira, Review of Modern Logic 8, #3–4 (2000), pp. 127–131.
- ↑ [ Kreisel's "unwinding" program], Solomon Feferman, pp. 247–273, in Kreiseliana: About and Around Georg Kreisel, Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.
- ↑ Some of their correspondence is collected within The Francis Crick Papers. Архивировано из первоисточника 14 декабря 2012. Проверено 27 июля 2026.
- ↑ Notices 2015, Royal Society, retrieved 2015-06-09.
- ↑ Kreiseliana: About and Around Georg Kreisel, ed. by Piergiorgio Odifreddi, Wellesley, MA, 1996, (Festschrift)
Литература[править]
- Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around George Kreisel, Wellesley, Massachusetts: A. K. Peters, 1996. ISBN 1-56881-061-X.
Ссылки[править]
- Kreisel, lambda calculus, a windmill and a castle Contains personal recollections about Kreisel by his student Henk Barendregt.
- Крайзель, Георгангл. в проекте «Математическая генеалогия»
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Крайзель, Георг», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|
- Родившиеся 15 сентября
- Родившиеся в 1923 году
- Умершие 1 марта
- Умершие в 2015 году
- Персоналии по алфавиту
- Математики Австрии
- Логики Австрии
- Преподаватели Редингского университета
- Преподаватели Стэнфордского университета
- Выпускники Кембриджского университета
- Иностранные члены Лондонского королевского общества
- Члены Лондонского королевского общества
- Иммигрировавшие в США из Великобритании
- Иммигрировавшие в Великобританию из Австрии