Рональд Дженсен

  • Биография Рональда Дженсена

    • Американский математик, специалист по теории множеств и логике. 
    • Родился в 1939 году, получил образование в Гарварде и Оксфорде. 
    • Работал в различных университетах, включая Оксфордский и Берлинский университет имени Гумбольдта. 
    • В 1990 году получил звание первого лектора по Геделю от Ассоциации символической логики. 
  • Научные достижения

    • Разработал аксиоматическую теорию множеств NFU с ослабленной расширяемостью. 
    • Доказал согласованность NFU с арифметикой Пеано. 
    • Внес вклад в теорию тонкой структуры конструктивной вселенной и получил премию Стила. 
    • Определил и доказал различные бесконечные комбинаторные принципы в L. 
    • Разработал теорему Дженсена о покрытии для L. 
    • Построил общую теорию базовых моделей и базовую модель Додда-Дженсена. 
    • Непротиворечивость гипотезы континуума и гипотезы Суслина. 
  • Техника кодирования Вселенной

    • Предложил метод кодирования Вселенной с использованием реального. 
  • Избранные публикации

    • Опубликовал статьи по теории множеств, включая «Тонкую структуру конструктивной иерархии» и «Модель для мужчин». 
    • Соавтор книги «Теория множеств и теория моделей» и автор книги «Кодирование Вселенной». 

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

Рональд Дженсен

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

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