Лео Харрингтон

  • Профессиональная карьера Лео Харрингтона

    • Профессор математики Калифорнийского университета в Беркли 
    • Специализируется в теории рекурсии, моделях и множествах 
  • Достижения в математике

    • Доказал теорему Пэриса-Харрингтона с Джеффом Пэрисом 
    • Доказал существование x# для всех действительных чисел x 
    • Вместе с Сахароном Шелахом доказал неразрешимость теории первого порядка рекурсивно перечислимых степеней Тьюринга 

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

Лео Харрингтон — Википедия

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

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