У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Последующие поколения будут рассматривать теорию [бесконечных] множеств как болезнь, от которой мы излечились.

Анри Пуанкаре, французский математик, 1908 год

Поскольку сейчас р не существует, у него нет значения. Следовательно, ошибочно говорить, что оно находится в пределах от 0 до 9. Любое утверждение относительно р не имеет смысла. Некорректно говорить: «р либо четное, либо нечетное» или «оно равно или не равно 1».

Интуиционисты также задавались вопросом о статусе иррациональных чисел. Эти числа рассматривались только как никогда не достижимый результат последовательных приближений. Например, для интуиционистов числа π не существует в виде законченной совокупности (еще один аргумент в пользу несуществования р).

Между 1905 и 1920 годами Брауэр формулировал глобальную программу для математики на основе этих идей. В течение этих лет он писал статьи и книги, в которых объяснял, как осуществить его подход на практике. Постепенно эта программа начала обретать последователей среди самых видных математиков того времени, таких как Анри Пуанкаре (1854-1912). К 1920 году теория Кантора (скончавшегося в 1918 году) подвергалась серьезному риску быть забытой. Но за интуиционизм выступали не все математики. Одним из них был Давид Гильберт, который быстро принял теорию бесконечности.

В 1890 году он поддержал кандидатуру Кантора на пост председателя Немецкого математического общества. Кроме того, ученые дружили и вели интенсивную переписку.

Семья Гёделя. Слева направо: Марианна, Курт, Рудольф- старший и Рудольф- младший.

Немецкий математик Георг Кантор, которому приписывается создание теории множеств.

Гёдель в Вене в первой половине 1920-х годов, когда он доказал свою первую теорему о неполноте.

ДАВИД ГИЛЬБЕРТ

Давид Гильберт родился 23 января 1862 года в Кёнигсберге, Германия (сегодня Калининград, Россия), и в 1885 году стал доктором математики в университете того же города. Через десять лет ему предложили должность в Гёттингене (одном из двух самых важных исследовательских центров в Германии наряду с Берлином), которую он потом занимал до конца карьеры. В числе прочего ученый внес значительный вклад в алгебру, геометрию, анализ и основания математики.

В 1899 году Гильберт переформулировал «Начала» Евклида, исправив некоторые логические пробелы, не замеченные в течение более 2100 лет. Его итоговая работа, «Основания геометрии»,— это выдающийся труд в истории математической логики. И конечно, знаковым является доклад Гильберта на Втором Международном математическом конгрессе, прошедшем в Париже в 1900 году. Одна фраза из доклада стала бессмертной. В ней ученый выразил убежденность в том, что неразрешимых математических проблем не существует: «Мы должны знать, и мы будем знать» (Wirmiissen wissen, wir werden wissen). Гильберт скончался в Гёттингене 14 февраля 1943 года.

В 1900 году Гильберту было предложено прочитать инаугурационный доклад на Втором Международном математическом конгрессе в Париже. Это была почетная задача, которая говорила о признании, которое ученый заслужил своей блистательной карьерой. До сих пор, даже век спустя, доклад Гильберта широко известен, и его полный текст можно найти в интернете. Анализу этого выступления были посвящены целые книги.