Джордж Крейзель
Джордж Крейзель | |
|---|---|
| Рожденный | 15 сентября 1923 г. |
| Умер | 1 марта 2015 г. (91 год) |
| Национальность | Австрийская, Британская |
| Альма-матер | Тринити-колледж, Кембридж |
| Известный | Программа расслабления Логика Крейзеля – Патнэма |
| Научная карьера | |
| Поля | Информатика Математика Философия |
| Учреждения | Университет Рединга Институт перспективных исследований Стэндфордский Университет |
| Докторанты | Хенк Барендрегт Ричард Стэтман |
Георг Крайзель ФРС (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]
См. также [ править ]
Ссылки [ править ]
- ^ Уведомления 2015 г. , Королевское общество , получены 9 июня 2015 г.
- ^ «Памяти Георга Крайзеля» . Архивировано из оригинала 15 октября 2016 г. Проверено 24 августа 2016 г.
- ^ стр. 265–266, За пределами искусства: Третья культура , Питер Вайбель, Ludwig Múzeum (Будапешт, Венгрия), Новая галерея в Landesmuseum Joanneum, Museum van Hedendaagse Kunst Антверпен. Нью-Йорк: Springer Verlag, 2005. ISBN 3-211-24562-6 .
- ^ Перейти обратно: а б О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Георг Крайзель» , Архив истории математики MacTutor , Университет Сент-Эндрюс
- ^ Обзор Пьерджорджио Одифредди, редактора книги «Крайселиана: О Георге Крайзеле и вокруг него» , Луис Карлос Перейра, «Обзор современной логики» 8 , № 3–4 (2000), стр. 127–131.
- ↑ Программа «раскручивания» Крейзеля , Соломон Феферман, стр. 247–273, в Kreiseliana: About and About Georg Kreisel , Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: AK Peters, 1996. ISBN 1-56881-061-X .
- ^ Часть их корреспонденции собрана в «Документы Фрэнсиса Крика» . Проверено 12 февраля 2011 г.
- ^ Крик, Фрэнсис (1988). Что за безумная погоня: личный взгляд на научные открытия . Нью-Йорк: Основные книги . стр. xi – xii. ISBN 0-465-09137-7 .
- ^ Крик, Фрэнсис (1988). Что за безумная погоня: личный взгляд на научные открытия . Нью-Йорк: Основные книги. п. 16. ISBN 0-465-09137-7 .
- ^ Рэй Монк, Витгенштейн: Долг гения (Penguin, 1991), 498.
- ^ Питер Конради, Ирис Мердок: Жизнь (HarperCollins, 2001), 264–65.
- ^ Крейзель, Г. (1980). «Курт Гедель. 28 апреля 1906 г. - 14 января 1978 г.». Биографические мемуары членов Королевского общества . 26 : 148–224. дои : 10.1098/rsbm.1980.0005 .
- ^ Крейзель, Г. (1973). «Бертран Артур Уильям Рассел, граф Рассел. 1872–1970». Биографические мемуары членов Королевского общества . 19 : 583–620. дои : 10.1098/rsbm.1973.0021 . JSTOR 769574 .
- ^ Крайзель, Г .; Ньюман, MHA (1969). «Люитцен Эгбертус Ян Брауэр 1881–1966» . Биографические мемуары членов Королевского общества . 15 : 39–68. дои : 10.1098/rsbm.1969.0002 . hdl : 10077/30385 .
- ^ Крайзелиана: О Георге Крайзеле и вокруг него , изд. Пьерджорджио Одифредди, Уэлсли, Массачусетс, 1996 (Festschrift).
Внешние ссылки [ править ]
- Пьерджорджио Одифредди (редактор), Крейзелиана: О Джордже Крейзеле и вокруг него , Уэлсли, Массачусетс: А.К. Питерс, 1996. ISBN 1-56881-061-X .
- Крайзель, лямбда-исчисление, ветряная мельница и замок Содержит личные воспоминания о Крайзеле его ученика Хенка Барендрегта .
- Георг Крайзель в проекте «Математическая генеалогия»
- 1923 рождения
- Австрийские математики
- Британские математики XX века
- Британские математики XXI века
- Клуб моральных наук Кембриджского университета
- Австрийские логики
- Американские математики XX века
- Американские математики XXI века
- Члены Королевского общества
- смертей в 2015 г.
- Австрийские эмигранты в Соединенном Королевстве
- Британские эмигранты в США