Иногда самое сложное в счете — убедиться, что вы не посчитали одно и то же дважды. Эта статья исследует Принцип включений-исключений и обманчиво простой Принцип Дирихле — два логических инструмента, решающих удивительно сложные комбинаторные задачи.
Даты жизни: 1906 — 1978
Сфера интересов: Математическая логика, Философия математики, Теория множеств, Общая теория относительности
Главный вклад: Теоремы о неполноте, которые разрушили мечту Гильберта о полной формализации математики, доказательство относительной непротиворечивости аксиомы выбора и континуум-гипотезы, решения уравнений Эйнштейна с замкнутыми времениподобными кривыми.
Даты жизни: 1858 — 1932
Сфера интересов: Математическая логика, Теория множеств, Арифметика
Страна: Италия
Главный вклад: Создание строгой аксиоматики натуральных чисел (аксиомы Пеано), открытие "кривой Пеано" (пространствозаполняющей кривой), стандартизация математической и логической нотации.
Даты жизни: 1845 — 1918
Сфера интересов: Теория множеств, Математическая логика, Топология
Страна: Германия, Российская империя
Главный вклад: Создатель теории множеств, введение концепции актуальной бесконечности и транслинитных чисел, доказательство того, что существуют разные "размеры" бесконечности.