Георг Крайзель - Georg Kreisel

Георг Крайзель
Родившийся(1923-09-15)15 сентября 1923 г.
Грац, Австрия
Умер1 марта 2015 г.(2015-03-01) (91 год)
Зальцбург, Австрия
Альма-матерТринити-колледж, Кембридж
ИзвестенПрограмма размотки
Логика Крейзеля – Патнэма
Научная карьера
ПоляИнформатика
Математика
Философия
УчрежденияУниверситет Ридинга
Институт перспективных исследований
Стэндфордский Университет
ДокторантыХенк Барендрегт
Ричард Статман

Георг Крайзель ФРС (15 сентября 1923 г. - 1 марта 2015 г.)[1] был Австрийский -родившийся математический логик кто учился и работал в объединенное Королевство и Америка.

биография

Крайзель родился в Грац и пришел из Еврейский фон; его семья отправила его в объединенное Королевство перед Аншлюс, где он изучал математику в Тринити-колледж, Кембридж, а затем во время Вторая Мировая Война, работал над военный предметы. Крайзель так и не защитил докторскую диссертацию, хотя в 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]

Смотрите также

Рекомендации

  1. ^ Уведомления 2015, Королевское общество, получено 9 июня 2015.
  2. ^ Памяти: Георга Крайзеля
  3. ^ стр. 265–266, За пределами искусства: третья культура, Петер Вайбель, Ludwig Múzeum (Будапешт, Венгрия), Neue Galerie am Landesmuseum Joanneum, Museum van Hedendaagse Kunst Antwerpen. Нью-Йорк: Springer-Verlag, 2005. ISBN  3-211-24562-6.
  4. ^ а б О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Георг Крайзель", Архив истории математики MacTutor, Сент-Эндрюсский университет.
  5. ^ Отзыв Пьерджоржио Одифредди, редактора, Крайзелиана: Окрестности Георга Крайзеля, Луис Карлос Перейра, Обзор современной логики 8, № 3–4 (2000), стр. 127–131.
  6. ^ Программа "раскрутки" Крайзеля, Соломон Феферман, стр. 247–273, в Крайзелиана: Окрестности Георга Крайзеля, Пьерджиоргио Одифредди, ред., Веллесли, Массачусетс: А.К. Петерс, 1996. ISBN  1-56881-061-X.
  7. ^ Некоторая их переписка собрана в "Записки Фрэнсиса Крика". Получено 12 февраля, 2011.
  8. ^ Крик, Фрэнсис (1988). Какое безумное стремление: личный взгляд на научные открытия. Нью-Йорк: Базовые книги. стр. xi – xii. ISBN  0-465-09137-7.
  9. ^ Крик, Фрэнсис (1988). Какое безумное стремление: личный взгляд на научные открытия. Нью-Йорк: Основные книги. п. 16. ISBN  0-465-09137-7.
  10. ^ Рэй Монк, Витгенштейн: долг гения (Пингвин, 1991), 498.
  11. ^ Питер Конради, Ирис Мердок: Жизнь (HarperCollins, 2001), 264-65.
  12. ^ Крайзель, Г. (1980). "Курт Годель. 28 апреля 1906-14 января 1978". Биографические воспоминания членов Королевского общества. 26: 148–224. Дои:10.1098 / rsbm.1980.0005.
  13. ^ Крайзель, Г. (1973). "Бертран Артур Уильям Рассел, граф Рассел. 1872-1970". Биографические воспоминания членов Королевского общества. 19: 583–620. Дои:10.1098 / рсбм.1973.0021. JSTOR  769574.
  14. ^ Крайзель, Г.; Ньюман, М. Х. А. (1969). "Луитцен Эгбертус Ян Брауэр 1881–1966". Биографические воспоминания членов Королевского общества. 15: 39. Дои:10.1098 / рсбм.1969.0002.
  15. ^ Крайзелиана: Окрестности Георга Крайзеля, изд. Пьерджиоргио Одифредди, Уэлсли, Массачусетс, 1996, (Festschrift)

внешняя ссылка