Дж. Баркли Россер

Джон Баркли Россер-старший (6 декабря 1907 г. - 5 сентября, 1989) был американским логиком, учеником Алонзо Черча, и был известен своим участием в теореме Черча – Россера, в лямбда-исчислении. Он также разработал то, что сейчас называется «решетом Россера» в теории чисел. Позже он был директором Исследовательского центра армейской математики в Университете Висконсина-Мэдисона. Россер также является автором математических учебников.

В 1936 году он доказал трюк Россера, более сильную версию первой теоремы Гёделя о неполноте, показав, что требование ω-согласованности может быть ослабленным до последовательности. Вместо того, чтобы использовать предложение парадокс лжеца, эквивалентное «Я не доказуемо», он использовал предложение, которое гласило: «На каждое мое доказательство есть более короткое доказательство моего отрицания».

В теории простых чисел он доказал теорему Россера.

. Парадокс Клини – Россера показал, что исходное лямбда-исчисление было непоследовательным.

Россер умер от аневризмы 5 сентября 1989 года в своем доме в Мэдисоне, Висконсин.

сын Россера, Джон Баркли Россер-младший, экономист-математик и профессор Университета Джеймса Мэдисона в Харрисонбурге, Вирджиния.

• Математическая логика без переменных Джона Баркли Россера, Univ. Дисс. Принстон, штат Нью-Джерси, 1934 г., стр. 127–150, 328–355
• Логика для математиков Джона Б. Россера, McGraw-Hill 1953; 2-е изд., Chelsea Publ. Co. 1978, 578 стр., ISBN 0-8284-0294-9
• Основные моменты истории лямбда-исчисления, Дж. Баркли Россер, Annals of the History of Computing, 1984, vol 6, n 4, pp. 337–349
• Упрощенные доказательства независимости: булевозначные модели теории множеств, Дж. Баркли Россер, Academic Press, 1969
• См. Баркли В статьях Россера вы найдете полный список публикаций Россера.

• J. Баркли Россер на проекте Mathematics Genealogy Project
• Интервью с Россером и Стивеном Клини об их опыте в Принстоне