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