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

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

Дж. Баркли Россер Биография и карьера Джон Баркли Россер-старший (1907-1989) был американским логиком и учеником Алонсо Черча.   Работал на математическом […]

'1907 рождений', '1989 смертей', 'Американские логики', 'Американские математики XX века', 'Выпускники Принстонского университета', 'Люди из Джексонвилля, 'Президенты Общества промышленной и прикладной математики', 'Преподаватели Корнеллского университета', 'Факультет Университета Висконсин-Мэдисон', 1907 births, 1989 deaths, 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, Флорида'

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

  • Биография и карьера

    • Джон Баркли Россер-старший (1907-1989) был американским логиком и учеником Алонсо Черча.  
    • Работал на математическом факультете Корнеллского университета с 1936 по 1963 год.  
    • Был директором армейского математического исследовательского центра и первым директором отдела коммуникационных исследований IDA.  

  • Основные достижения

    • Доказал трюк Россера, более сильную версию первой теоремы Геделя о неполноте.  
    • Разработал «решето Россера» в теории чисел.  
    • Доказал теорему Россера в теории простых чисел.  
    • Парадокс Клини–Россера показал непоследовательность исходного лямбда-исчисления.  

  • Публикации

    • Автор учебников по математике, включая «Математическую логику без переменных» и «Логику для математиков».  
    • Опубликовал статьи в «Анналы истории вычислительной техники» и «Упрощенные доказательства независимости».  

  • Личная жизнь и смерть

    • Сын Россера, Джон Баркли Россер-младший, был экономистом-математиком.  
    • Умер от аневризмы в 1989 году в Мэдисоне, штат Висконсин.  

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

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

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

  1. Дж. Баркли Россер Дж. Баркли Россер Джон Баркли Россер — американский логик, ученик Алонсо Черча.  Известен своей работой над...
  2. Филадельфия 76ерс Филадельфия 76ерс История команды Основана в 1946 году как «Сиракьюз Нэшнлз»   В 1949 году присоединилась к...
  3. Томми Джон — Arc.Ask3.Ru Томми Джон Ранние годы и начало карьеры Родился 22 мая 1943 года в Терре-Хот, Индиана   Начал...
  4. Программа стипендий Макартура Программа стипендий Макартура Программа стипендиатов Макартура Премия, ежегодно присуждаемая Фондом Джона Д. и Кэтрин Т. Макартуров  ...
  5. Медаль Бейкера Королевского общества Медаль Бейкера Королевского общества История медали Бейкера Учреждена в 1774 году Генри Бейкером   Присуждается за выдающиеся...
  6. Список еврейских математиков Список еврейских математиков Список выдающихся математиков Включает математиков, внесших значительный вклад в различные области математики.  Включает...
  7. Теорема Чёрча–Россера Теорема Черча–Россера Теорема Черча-Россера Утверждает, что каждое нормальное выражение в лямбда-исчислении может быть сведено к нормальной...
  8. Альбен В. Баркли Албен У. Баркли Ранние годы и образование Родился в семье фермеров, получил образование в колледже и...
  9. Мемориальная медаль Вейча Памятная медаль Вейча История и цель премии Мемориальная медаль Вейча учреждена в 1870 году в память...
  10. Список важных публикаций по математике Список важных публикаций по математике История развития теории чисел Теория чисел — это раздел математики, изучающий...
  11. Английская литература — Arc.Ask3.Ru Английская литература История английской литературы Английская литература развивалась более 1400 лет.   Самые ранние формы английского языка...
  12. Амхерст, Массачусетс Амхерст, Массачусетс Общие сведения Амхерст — город в округе Хэмпшир, штат Массачусетс, США.   Население в 2020...
  13. Латиноамериканский и латиноамериканский консерватизм в США Испаноязычный и латиноамериканский консерватизм в Соединенных Штатах Латиноамериканцы в электорате США Латиноамериканцы составляют значительную долю электората...
  14. Ночной истребитель Ночной истребитель История ночных истребителей Термин «ночной истребитель» появился в Первую мировую войну, но широкого применения...
  15. Теории заговора 11 сентября теории заговора 11 сентября Теории заговора о терактах 11 сентября Существуют теории, приписывающие подготовку и осуществление...
  16. Библиотека наук о жизни Библиотека естественных наук Описание серии The Life Science Library — серия книг в твердом переплете, изданных...
  17. Библиотека наук о жизни Библиотека естественных наук Описание серии The Life Science Library — серия книг в твердом переплете, изданных...
  18. Алгебраическая теория чисел — Arc.Ask3.Ru Algebraic number theory История алгебраической теории чисел Алгебраическая теория чисел использует методы абстрактной алгебры для изучения...
  19. Математическая экономика Математическая экономика История математической экономики Использование математики в экономике началось в 17 веке.   В 19 веке...
  20. Президентские выборы в США 1948 года Президентские выборы в Соединенных Штатах в 1948 году Президентские выборы 1948 года Проводились 2 ноября 1948...
  21. Джон Адамс (мини-сериал) Джон Адамс (мини-сериал) Описание сериала «Джон Адамс» — американский мини-сериал 2008 года о жизни и политической...
  22. Проблема зла Проблема зла Проблема зла Философский вопрос о примирении зла и страданий с всемогущим, всеблагим и всеведущим...

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

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