Георг Кантор
Даты жизни: 1845 — 1918
Сфера интересов: Теория множеств, Математическая логика, Топология
Страна: Германия, Российская империя
Главный вклад: Создатель теории множеств, введение концепции актуальной бесконечности и транслинитных чисел, доказательство того, что существуют разные "размеры" бесконечности.
2. Биографическая справка
Образование: Родился в Санкт-Петербурге, затем семья переехала в Германию. Учился в Цюрихском, Берлинском и Гёттингенском университетах под руководством Карла Вейерштрасса и Леопольда Кронекера.
Академическая карьера: Профессор Университета Галле. Его революционные идеи о бесконечности встретили жесточайшее сопротивление со стороны математического истеблишмента (в первую очередь, его учителя Кронекера, который называл его «шарлатаном» и «развратителем молодежи»). Изоляция и нападки коллег привели Кантора к тяжелой депрессии, и остаток жизни он часто проводил в психиатрических клиниках.
Интересный факт: Кантор был глубоко верующим человеком и считал, что теория трансфинитных чисел была передана ему непосредственно Богом. В периоды депрессии он оставлял математику и писал труды по теологии и литературоведению (пытаясь доказать, что пьесы Шекспира написал Фрэнсис Бэкон).
3. Основные достижения и труды
Ключевые работы:
- «О свойстве совокупности всех действительных алгебраических чисел» (1874) — первая статья по теории множеств.
- «Основы общего учения о многообразиях» (Grundlagen einer allgemeinen Mannigfaltigkeitslehre, 1883).
Главные теоремы/формулы:
- Диагональный аргумент Кантора: Элегантное доказательство того, что множество действительных чисел несчетно (их больше, чем натуральных чисел), и их невозможно пронумеровать.
- Теорема Кантора: Мощность (размер) любого множества $A$ строго меньше мощности множества всех его подмножеств (булеана $2^A$): $$|A| < |2^A|$$ Это означает, что не существует «самой большой» бесконечности.
- Континуум-гипотеза: Предположение о том, что не существует множества, мощность которого больше мощности счетного множества (натуральных чисел $\aleph_0$), но меньше мощности континуума (действительных чисел $2^{\aleph_0}$). (Первая из проблем Гильберта).
4. Наследие и влияние
«Сущность математики заключена в ее свободе.»
Влияние на современность: Давид Гильберт, защищая Кантора, провозгласил: «Никто не изгонит нас из рая, который создал для нас Кантор». Теория множеств Кантора стала фундаментальным языком всей математики XX века. Его идеи лежат в основе топологии, теории меры (понятие множества нулевой меры) и теории фракталов (Канторово множество, или "канторова пыль"). Без его парадоксов не было бы работ Гёделя, Рассела и Тьюринга.
Награды: Медаль Сильвестра (1904).