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

От / / Оставьте комментарий

Дж. Баркли Россер Джон Баркли Россер — американский логик, ученик Алонсо Черча.  Известен своей работой над теоремой Черча-Россера в лямбда-исчислении.  […]

1907 births, 1907 рождений, 1989 deaths, 1989 смертей, 20th-century American mathematicians, American logicians, Cornell University faculty, Florida, People from Jacksonville, Presidents of the Society for Industrial and Applied Mathematics, Princeton University alumni, University of Wisconsin–Madison faculty, Американские логики, Американские математики 20-го века, Выпускники Принстонского университета, Люди из Джексонвилля, Президенты Общества промышленной и прикладной математики, Преподаватели Корнелльского университета, Факультет Университета Висконсин-Мэдисон, Флорида

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

  • Джон Баркли Россер — американский логик, ученик Алонсо Черча. 
  • Известен своей работой над теоремой Черча-Россера в лямбда-исчислении. 
  • Разработал «решето Россера» в теории чисел. 
  • Работал на математическом факультете Корнеллского университета с 1936 по 1963 год. 
  • Доказал трюк Россера, более сильную версию первой теоремы Геделя о неполноте. 
  • В теории простых чисел доказал теорему Россера. 
  • Парадокс Клини-Россера показал непоследовательность исходного лямбда-исчисления. 
  • Россер умер от аневризмы в 1989 году. 
  • Сын Россера, Джон Баркли Россер-младший, был экономистом-математиком и профессором. 

Полный текст статьи:

Дж. Баркли Россер — Википедия

Похожие статьи:

  1. Алгебра Клини Алгебра Клини Определение и свойства алгебры Клини Алгебра Клини — это алгебра с операциями сложения, умножения...
  2. Парадокс лжеца Парадокс лжеца Определение и история парадокса лжеца Парадокс лжеца — это утверждение, которое одновременно истинно и...
  3. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
  4. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
  5. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
  6. Свойства дизъюнкции и существования Свойства дизъюнкции и существования Основные свойства интуиционистской логики Интуиционистская логика не имеет закона исключенного третьего.  Интуиционистская...
  7. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
  8. Вычислимый порядковый номер Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных...
  9. Список парадоксов Список парадоксов Парадоксы — это противоречия, которые возникают в различных областях науки и философии.  Примеры парадоксов...
  10. Стивен Коул Клини Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. ...
  11. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
  12. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
  13. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
  14. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
  15. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...

Оставьте комментарий

Прокрутить вверх