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