Дж. Баркли Россер
Джон Баркли Россер | |
|---|---|
| Рожденный | 6 декабря 1907 г. Джексонвилл, Флорида , США |
| Умер | 5 сентября 1989 г. ( 81 год Мэдисон, Висконсин , США |
| Национальность | Американский |
| Альма-матер | Принстонский университет |
| Известный | Теорема Чёрча – Россера Парадокс Клини-Россера сито Россера |
| Научная карьера | |
| Поля | Математическая логика Теория чисел |
| Учреждения | Корнелльский университет Университет Висконсина-Мэдисона , IDA/CRD |
| Докторантура | Церковь Алонсо |
| Докторанты | Джордж Э. Коллинз Эллиот Мендельсон Джеральд Сакс |
Джон Баркли Россер-старший (6 декабря 1907 — 5 сентября 1989) — американский логик , ученик Алонзо Чёрча , известный своим участием в теореме Чёрча-Россера в лямбда-исчислении . Он также разработал то, что сейчас называется « решетом Россера » в теории чисел . Он работал на математическом факультете Корнелльского университета с 1936 по 1963 год, несколько раз возглавляя его. [1] Позже он был директором Армейского математического исследовательского центра в Университете Висконсин-Мэдисон и первым директором отдела исследований в области коммуникаций IDA . Россер также является автором учебников по математике.
В 1936 году он доказал трюк Россера , более сильную версию первой теоремы Гёделя о неполноте , показав, что требование ω-непротиворечивости может быть ослаблено до непротиворечивости. Вместо того, чтобы использовать парадоксальное предложение лжеца, эквивалентное «Я недоказуем», он использовал предложение, в котором говорилось: «Для каждого доказательства меня существует более короткое доказательство моего отрицания».
В теории простых чисел он доказал теорему Россера .
Парадокс Клини-Россера показал, что исходное лямбда-исчисление было противоречивым.
Россер умер от аневризмы 5 сентября 1989 года в своем доме в Мэдисоне, штат Висконсин . [2] [1]
Сын Россера, Джон Баркли Россер-младший , был экономистом-математиком и профессором Университета Джеймса Мэдисона в Харрисонбурге, Вирджиния.
Избранные публикации [ править ]
- Математическая логика без переменных Джона Баркли Россера, Univ. Дисс. Принстон, Нью-Джерси, 1934, с. 127–150, 328–355
- Логика для математиков Джона Б. Россера, McGraw-Hill, 1953; [3] 2-е изд., Chelsea Publ. Ко. 1978, 578 с., ISBN 0-8284-0294-9
- Основные моменты истории лямбда-исчисления , Дж. Баркли Россер, Анналы истории вычислений, 1984, том 6, № 4, стр. 337–349.
- Упрощенные доказательства независимости: булевозначные модели теории множеств , Дж. Баркли Россер, Academic Press, 1969.
- см. в статьях Баркли Россера . Полный список публикаций Россера
Ссылки [ править ]
- ^ Перейти обратно: а б «Мемориальная резолюция о смерти почетного профессора Дж. Баркли Россера» (PDF) , Университет Висконсина, Мэдисон , 5 марта 1990 г., заархивировано из оригинала (PDF) 8 июня 2011 г.
- ^ «Смерти» , Washington Post , 19 сентября 1989 г., архивировано с оригинала 3 ноября 2012 г.
- ^ Карри, HB (1954). «Обзор: Логика для математиков Дж. Б. Россера» (PDF) . Бык. амер. Математика. Соц . 60 (3): 266–272. дои : 10.1090/s0002-9904-1954-09798-7 .
Внешние ссылки [ править ]
- Дж. Баркли Россер в проекте «Математическая генеалогия»
- Интервью с Россером и Стивеном Клини об их опыте в Принстоне
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
