Оглавление
Дж. Баркли Россер
-
Биография и карьера
- Джон Баркли Россер-старший (1907-1989) был американским логиком и учеником Алонсо Черча.
- Работал на математическом факультете Корнеллского университета с 1936 по 1963 год.
- Был директором армейского математического исследовательского центра и первым директором отдела коммуникационных исследований IDA.
-
Основные достижения
- Доказал трюк Россера, более сильную версию первой теоремы Геделя о неполноте.
- Разработал “решето Россера” в теории чисел.
- Доказал теорему Россера в теории простых чисел.
- Парадокс Клини–Россера показал непоследовательность исходного лямбда-исчисления.
-
Публикации
- Автор учебников по математике, включая “Математическую логику без переменных” и “Логику для математиков”.
- Опубликовал статьи в “Анналы истории вычислительной техники” и “Упрощенные доказательства независимости”.
-
Личная жизнь и смерть
- Сын Россера, Джон Баркли Россер-младший, был экономистом-математиком.
- Умер от аневризмы в 1989 году в Мэдисоне, штат Висконсин.