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