Джон Баркли Россер старший , американский логик (ум. 1989)
Джон Баркли Россер-старший (6 декабря 1907 г. - 5 сентября 1989 г.) был американским логиком, учеником Алонзо Черча и известен своей частью теоремы Черча-Россера в лямбда-исчислении. Он также разработал то, что сейчас называется «решетом Россера» в теории чисел. Позже он был директором Армейского исследовательского центра математики в Университете Висконсин-Мэдисон. Россер также является автором учебников по математике.
В 1936 году он доказал трюк Россера, более сильную версию первой теоремы Гёделя о неполноте, показав, что требование ω-непротиворечивости можно ослабить до непротиворечивости. Вместо того, чтобы использовать предложение парадокса лжеца, эквивалентное «Я недоказуем», он использовал предложение, в котором говорилось: «На каждое доказательство меня есть более короткое доказательство моего отрицания».
В теории простых чисел он доказал теорему Россера.
Парадокс Клини-Россера показал, что исходное лямбда-исчисление было противоречивым.
Россер умер от аневризмы 5 сентября 1989 года в своем доме в Мэдисоне, штат Висконсин. Сын Россера, Джон Баркли Россер-младший, экономист-математик и профессор Университета Джеймса Мэдисона в Харрисонбурге, штат Вирджиния.