У интуиции есть своя логика. Гёдель. Теоремы о неполноте (Пиньейро) - страница 19
Последующие поколения будут рассматривать теорию [бесконечных] множеств как болезнь, от которой мы излечились.
Анри Пуанкаре, французский математик, 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 года.