Мы уверенно говорим: «Два — это один плюс один. Три — это один плюс один плюс один». Кажется, что вся математика, а с ней и логика окружающего мира, выстраивается из этих простых кирпичиков — сложения единиц. Но стоит копнуть глубже, и фундамент начинает казаться зыбким. Где же определение самого кирпичика? Где определение того клея, что их скрепляет?
Число «один» упорно ускользает от формального определения. Мы интуитивно понимаем его как единичность, уникальность, целостность. Попытка определить его через множества («один — это мощность множества с единственным элементом») лишь отодвигает проблему: что же такое «множество»? Это понятие оказывается столь же фундаментальным и неопределимым в рамках самой математики. Оно принимается как исходная точка, как примитивное понятие.
То же самое происходит с операцией «плюс». Мы говорим: «плюс — это когда становится больше». Но «больше»? Что это значит? «Настолько-то больше»? Эти слова лишь описывают наше ощущение от сложения, но не дают ему строгого, независимого определения в абсолютных терминах. Попытка определить сложение через более простые действия неизбежно приводит нас к тем же самым неопределяемым первоэлементам.
Так куда же мы уперлись? В основу величественного здания математики, этого универсального языка науки и разума, положены не доказанные истины, а аксиомы — утверждения, принимаемые без доказательства. И что еще важнее — аксиомы оперируют неопределяемыми понятиями.
Это не слабость, а фундаментальная особенность любой логической системы. Как писал Давид Гильберт, один из главных архитекторов современного аксиоматического подхода: «Понятия «точка», «прямая», «плоскость» и другие заменяются в моей теории просто пустыми символами.» Так и в основе арифметики лежат «пустые», неопределяемые символы: «единица», «сложение», «равенство», «следовать за». Аксиомы (например, пеановские аксиомы для натуральных чисел) задают правила игры с этими символами, описывают их взаимоотношения.
Почему это неизбежно? Потому что любое определение требует более простых терминов для объяснения. Этот регресс должен где-то остановиться. Если бы мы попытались определить всё, мы попали бы в бесконечную петлю или в порочный круг. Математика, как и любая формальная система, должна начинаться с чего-то, что принимается как данность, как базовый строительный блок, смысл которого интуитивно ясен, но формально не сводим к чему-то еще более элементарному внутри системы.
Ирония и величие. Ирония в том, что именно эти неопределяемые кирпичики и недоказуемые правила позволяют математике быть невероятно мощным, точным и универсальным инструментом. Из аксиом Пеано, опирающихся на неопределяемые «1» и «следовать за», логически выводится вся арифметика натуральных чисел, а затем, шаг за шагом, и более сложные области математики. Система, висящая, казалось бы, в воздухе на «недоказанных сваях», демонстрирует потрясающую внутреннюю согласованность и применимость к реальному миру.
Таким образом, вопрос «Почему единица не определяется?» — это вопрос о самой природе знания. Математика напоминает нам, что наше понимание мира, даже самое строгое и формализованное, в конечном итоге покоится на фундаменте интуитивно принимаемых истин и понятий. Признание этих неопределяемых первоначал — не поражение разума, а проявление его зрелости. Это понимание того, что строгость математики — это не абсолют, а великолепно отлаженная структура, возведенная на фундаменте базовых соглашений о том, что мы считаем «единицей», «сложением» и «равенством». Именно в этой осознанной опоре на неопределяемое и заключается сила и глубина математического мышления.
© Блог Игоря Ураева