Оглавление
Рональд Дженсен
-
Биография Рональда Дженсена
- Американский математик, специалист по теории множеств и логике.
- Родился в 1939 году, получил образование в Гарварде и Оксфорде.
- Работал в различных университетах, включая Оксфордский и Берлинский университет имени Гумбольдта.
- В 1990 году получил звание первого лектора по Геделю от Ассоциации символической логики.
-
Научные достижения
- Разработал аксиоматическую теорию множеств NFU с ослабленной расширяемостью.
- Доказал согласованность NFU с арифметикой Пеано.
- Внес вклад в теорию тонкой структуры конструктивной вселенной и получил премию Стила.
- Определил и доказал различные бесконечные комбинаторные принципы в L.
- Разработал теорему Дженсена о покрытии для L.
- Построил общую теорию базовых моделей и базовую модель Додда-Дженсена.
- Непротиворечивость гипотезы континуума и гипотезы Суслина.
-
Техника кодирования Вселенной
- Предложил метод кодирования Вселенной с использованием реального.
-
Избранные публикации
- Опубликовал статьи по теории множеств, включая “Тонкую структуру конструктивной иерархии” и “Модель для мужчин”.
- Соавтор книги “Теория множеств и теория моделей” и автор книги “Кодирование Вселенной”.