Пол Бернейс
- Дэвид Гильберт нанял Бернейса для помощи в исследованиях основ арифметики.
- Бернейс также читал лекции по другим областям математики в Геттингенском университете.
- В 1918 году этот университет присвоил ему вторую степень бакалавра за диссертацию по аксиоматике математического анализа высказываний Principia Mathematica.
- Математическая работа Бернейса с Гильбертом стала двухтомной работой “Основы математики”, опубликованной в 1934 и 1939 годах.
- Приведенное в этой работе доказательство того, что достаточно сильная непротиворечивая теория не может содержать свой собственный опорный функтор, известно как парадокс Гильберта-Бернейса.
- В семи статьях, опубликованных в период с 1937 по 1954 год в журнале “Journal of Symbolic Logic”, Бернейс изложил аксиоматическую теорию множеств.
Полный текст статьи: