Соотношение интуитивного и логического в математике (философия) — страница 9

силлогизмов будет выглядеть следующим образом Это верно для n=3. Если это верно для n=3, то это верно для n=4. Следовательно, это верно для n=4. Если это верно для n=4, то это верно для n=5. Следовательно, это верно для n=5. и т.д. Таким образом, мы получаем бесконечный ряд силлогизмов. Если мы хотим проверить наше утверждение для 10-угольника, то нам необходимо пройти все предыдущие этапы, и обосновать 7 силлогизмов. Для 100-угольника потребуется

немного больше времени --- 97 силлогизмов. Тем не менее это время конечное. А вот если потребуется узнать, верна ли теорема для многоугольника с миллиардом углов, то жизни одного человека уже не хватит. Однако, как бы далеко мы не шли, мы никогда не дойдем до применимой ко всем числам теоремы, которая и есть предмет науки математика. Чтобы ее достигнуть, необходимо пройти бесконечный ряд силлогизмов, то есть надо перескочить бездну,

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

аксиом Пеано. Если задуматься, то это очень странный факт - ведь МЕТОД мышления включен в систему аксиом, он не может быть выведен из других аксиом - понятий при помощи логических законов. Причем еще в начале нашего века множество математиков пыталось создать систему аксиом без индукции (кстати, это же пытался сделать и сам Пеано, и великий Гильберт), но так или иначе, индукция возникала в скрытой, неявной форме. Вторая странность

заключается вот в чем. Если аксиома - это то, что нам очевидно, то надо сказать, что метод математической индукции имеет дело с бесконечностью, перед которой бессилен любой человеческий опыт. Это правило не доступно для аналитического или опытного доказательства или проверки. Но тем не менее, этот метод достаточно очевиден для мало-мальски образованного и подготовленного ума. Доказательством тому является тот факт, что в

последние годы он входит в школьную программу для 10-11 классов, а наиболее подготовленные ученики осваивают его в 7-8 классе, причем интуитивно они начинают его применять примерно с 6 класса, и поэтому его логическую формулировку воспринимают достаточно легко. Здесь, по-видимому, сказывается только утверждение могущества человеческого разума, который способен постичь общность бесконечного повторения одного и того же акта, даже