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