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