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