Дж. Баркли Россер - J. Barkley Rosser

Джон Баркли Россер
Родился ( 1907-12-06 )6 декабря 1907 г.
Умер 5 сентября 1989 г. (1989-09-05)(81 год)
Национальность Соединенные Штаты
Альма-матер Университет Принстон
Известен Теорема
Черча – Россера Парадокс Клини –
Россера Решето Россера
Научная карьера
Поля Математическая логика
Теория чисел
Докторант Церковь Алонсо
Докторанты Эллиотт Мендельсон
Джеральд Сакс

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

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

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

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

Россер умер от аневризмы 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, том 6, номер 4, стр. 337–349
  • Упрощенные доказательства независимости: булевозначные модели теории множеств , Дж. Баркли Россер, Academic Press, 1969
  • См Баркли Россер документы для полного списка публикаций россеровской в.

использованная литература

внешние ссылки