← Прорыв мыслитель 17 из 18 · четвёртая партия

Георг Кантор

1845–1918

Главный урок

Некоторые идеи настолько разрушительны для интуиции, что их автор платит за них здоровьем. Но без них математика была бы неполной. Истина важнее комфорта.

Когда

1845 — родился в Петербурге в семье датчанина-коммерсанта и русской матери.

1862 — переехал в Цюрих, потом в Берлин.

1867 — PhD в Берлине (тема — не теория множеств).

1869 — работает в Галле (Германия), в провинциальном университете. Без столичного признания.

1874 — первая статья по теории множеств. Доказывает, что множество вещественных чисел «больше» множества натуральных.

1878 — вводит понятие «мощности» (cardinality) — формальное измерение размера бесконечности.

1883 — «Основания общей теории многообразий» (Grundlagen). Главный философский текст.

1884 — первый нервный срыв.

1890-е — тяжёлая депрессия, госпитализации.

1897 — последняя крупная работа.

1918 — умер в психиатрической клинике в Галле.

Контекст

Учитель — Карл Вейерштрасс, один из крупнейших математиков. Поддерживал Кронекер, но потом поссорился с ним. Кронекер считал, что «бесконечности — это болезнь математики».

При жизни работы Кантора вызвали жёсткое сопротивление. Лейбниц называл бесконечности «labyrinth of the continuum». Пуанкаре считал теорию множеств «болезнью». Гильберт — единственный из крупных математиков, кто поддержал.

Кантор верил, что его идеи пришли от Бога. Был религиозен, потом разочаровался в церкви. Это не отвлечение от математики — это часть его мышления.

Логическая цепочка

  1. «Бесконечность» всегда была загадкой. Аристотель различал «потенциальную» и «актуальную» бесконечность. Лейбниц считал, что бесконечности — удобная фикция.
  2. Кантор: бесконечности — это реальные объекты. Можно с ними работать как с числами.
  3. Метод: каждому множеству поставить число — его «размер» (мощность). У натуральных чисел — ℵ₀ (алеф-нуль). У вещественных — больше.
  4. Главный результат: не все бесконечности одинаковы. Существуют разные «размеры» бесконечности, и их бесконечно много.
  5. Диагональный аргумент: можно построить множество, которое больше любого данного. Кантор использовал метод, который потом применит Тьюринг.
  6. Это перевернуло математику. Базовая интуиция «что значит число» разрушена.
  7. Цена: Кантор сломался. Мир не был готов. Его труд вошёл в основу математики только в XX веке.

Как ему это удавалось

  • Верил своим результатам, даже когда весь математический мир сопротивлялся.
  • Использовал радикальные методы. Его диагональный аргумент — «самоприменимый» (множество всех множеств ведёт к противоречию).
  • Писал для себя, потом — для потомков. Верил, что будущее оценит.
  • Сочетал математику и философию. Считал, что бесконечности — это не только математика, но и метафизика.
  • Цена: заплатил здоровьем. После 1884 года — постоянные госпитализации.

Что отсюда можно взять

  • Идеи могут быть разрушительны для интуиции. Не отступай только потому, что «так не бывает».
  • Цена прорыва может быть высокой. Кантор заплатил психическим здоровьем — но без него не было бы современной математики.
  • Установи новый «размер» для своей области. Кантор ввёл понятие, которого раньше не было (мощность).
  • Не спорь с теми, кто не готов. Пиши и публикуй. Будущее оценит.
  • Сочетай строгое и философское. Чистая техника без большой идеи — ремесло. Большая идея без техники — мечта. Нужно и то, и другое.
  • Береги себя. Даже гении платят за идеи здоровьем. Это не баг, а реальность — но её можно смягчить окружением, поддержкой, темпом.

Связанные