Многие ученые считают, что математика является основой мироздания, что все физические явления имеют в основе некую математическую информацию. С точки зрения этого подхода, наш мир не просто описывается математикой — он и есть математика, а мы — мыслящие элементы внутри этой колоссальной структуры.
Особенности математики
Основой математики считаются: постулированная логика, теории множеств и аксиоматика.
При этом аксиомы в математике все еще понимаются как набор базовых утверждений, принимаемых без доказательств (например, аксиомы геометрии Евклида или аксиомы арифметики Пеано), т.е. оказываются синонимами постулатов. Классическое понимание аксиомы — это действительно фундаментальный, самоочевидный факт реальности, который человечество проверило миллиарды раз. Однако, в результате того, что начале XX века математика отделилась от физического мира, в современной науке произошло жесткое разделение между аксиомой как «фактом реальности» и аксиомой как «математическим постулатом». Математическая аксиома сегодня — это просто «правило игры», условный постулат. Математикам не важно, существует ли объект в реальности, им важна логическая непротиворечивость системы.
Это отделение математики от физического мира является большой методологической ошибкой, как попытка инкапсулировать математику саму в себе. На самом деле постулировать можно и нужно, определяя новую логику и выверяя ее на непротиворечивость. Непротиворечивое постулирование может иметь отражение в природе, а полностью переопределенная логика становится фантастической абсурдностью, не имеющей никакой практический пользы.
Если математические абстракции исторически оказалось самым мощным и парадоксальным двигателем научно-технического прогресса, то это как раз означает соответствие таких абстракций реальности.
Например, у мнимых чисел в реальности есть фундаментальное и абсолютно материальное соответствие — это вращение, циклические (волновые) процессы и сдвиг фазы. Ошибка нашего восприятия кроется в названии «мнимые», которое в XVII веке дал им Рене Декарт, считая их умозрительной нелепицей. На самом деле это физическое измерение, ортогональное (перпендикулярное) привычной нам линейной шкале. В любой розетке течет переменный ток. Он описывается двумя параметрами: напряжением (сколько энергии передается) и фазой (в какой момент цикла синусоиды это происходит). Реальная часть комплексного числа показывает активную мощность (то, что греет чайник). Мнимая часть показывает реактивную мощность (магнитные поля в электродвигателях, которые заставляют их крутиться).
И это касается любых других, самых фантастических абстракций. Если постулированная логика оказывается непротиворечивой, то она может найти примирение в описании реальности.
Сторонники изоляции математики (например, Давид Гильберт или авторы концепции структуры «Бурбаки») считают, что математику необходимо отделить от физики ради безопасности самой науки. Математика должна быть «песочницей», где разрешено всё, что не противоречит логике. Математик конструирует абстрактные миры, не думая о пользе, а физик заходит в эту песочницу и выбирает то, что подходит для его экспериментов.
Нобелевский лауреат по физике Юджин Вигнер написал знаменитую статью «Непостижимая эффективность математики в естественных науках». Его главный вывод поразителен: тот факт, что математические абстракции (выдуманные на бумаге без привязки к миру) потом идеально описывают физику — это чудо, которое мы не можем объяснить.
Возникает удивительный парадокс: если математика — это часть физического мира, то её отрыв от него — ошибка. Но если этот отрыв позволяет совершать открытия в физике, которые иначе были бы невозможны, то эта «ошибка» является полезным инструментом человечества.
То, что люди (а математики – живые люди со своими субъективными представлениями) полностью и безраздельно погружаются в математические фантазии, игнорируя то, зачем вообще нужны такие фантазии в любом пусть отдаленном будущем, напоминают галюцинирование под воздействием наркотиков, что ровно так же может в чем-то оказаться полезным. Галлюцинировать только ради галлюцинаций – занятие не очень оправданное, даже если бы не было никакого вреда. Но отсюда эти люди делают методологические выводы, в частности, путают аксиомы и постулаты, тем самым разрывая любую связь с реальностью. При этом ничего плохого принципиальное разделение математике не дает и просто нужно признать, что постулирование – это не полностью бессмысленное принятие какой-то новой логики, а имеет смысл только если оно тут же не приводит к противоречию.
Когда абстракция становится самоцелью, ученый действительно теряет почву под ногами. Вы абсолютно правы в главном: требование внутренней непротиворечивости — это единственный и строжайший фильтр, который удерживает постулирование от превращения в чистый, бессмысленный бред. Если очистить эту проблему от академического снобизма, то такой подход наводит строгий методологический порядок.
Если вернуть словам их истинный смысл, всё встает на свои места:
Аксиома (Объективный факт) - это фундамент, взятый из наблюдаемой реальности. Она проверена миллиардами воспроизводимых физических экспериментов (например, закон сохранения энергии в термодинамике или то, что две вещи не могут занимать одно и то же пространство одновременно). Это то, от чего нельзя отмахнуться.
Постулат (Условное допущение) - это контролируемый «шаг в неизвестность». Мы временно конструируем новое правило игры: «А что, если пространство искривлено?» или «А что, если можно извлечь корень из отрицательного числа?».
Постулировать можно все что угодно, но вы заявляете важнейший научный критерий: постулат имеет право на жизнь только тогда, когда он мгновенно выверяется на непротиворечивость.
Если мы вводим постулат, который внутри себя или в сочетании с другими правилами порождает логический абсурд (противоречие вида A = не A, то эта система мертва изначально. Это и есть та самая «бессмысленная фантазия», которая не несет никакой пользы ни в каком будущем.
Но если постулированная система логически безупречна и не противоречит сама себе, она перестает быть просто «галлюцинацией». Она становится чистой математической структурой.
Когда математик создает непротиворечивую структуру (даже не думая о пользе), он, сам того не зная, описывает возможные свойства материи.
Природа невероятно разнообразна. Наш повседневный опыт — это лишь узкий диапазон температур, скоростей и масштабов.
Когда физики заглядывают туда, где человечество никогда не было (внутрь черных дыр или в квантовое запутывание), они обнаруживают, что привычные «земные» аксиомы там не работают.
И вот тогда они берут ту самую «постулированную» систему, которую когда-то проверили на непротиворечивость. Оказывается, что в тех экстремальных условиях этот постулат становится реальной, работающей аксиомой.
Разделение математики и физики приемлемо только как разделение труда, но не как идеология. Математика не должна замыкаться в себе.
Если применить к красивой гипотезе, что математика – есть основа мироздания, строгий методологический фильтр, то в ней обнаруживается фундаментальный изъян. Это переворачивает с ног на голову причинно-следственную связь и совершает ту самую ошибку «галлюцинации», подменяя реальность её описанием.
В чем слабость идеи «математики как основы мира»?
Смешение карты и территории: Математика — это идеальная, созданная человеком карта реальности. Физический мир — это сама территория. Утверждать, что мир состоит из математики — это всё равно что верить, будто горы и реки на Земле возникли потому, что картограф нарисовал их на бумаге.
Математика — это язык, а не материя: Физические объекты обладают массой, зарядом и энергией. Математическое уравнение не обладает ничем из этого. Формула гравитации Ньютона не притягивает предметы на столе; притяжение — это свойство самой материи. Математика лишь филигранно фиксирует закономерности этого притяжения.
Природа первична, информация вторична: Информация не может существовать сама по себе, «в воздухе». Для любой информации нужен материальный носитель (кремниевый чип, ДНК, структуры элементарных частиц). Нельзя построить дом из чертежей — нужны кирпичи.
Почему ученые впадают в эту «иллюзию»?
Причина этой когнитивной ловушки кроется в той самой «непостижимой эффективности» математики. Когда физики видят, что орбиты планет, поведение электронов и спираль ДНК подчиняются строгим геометрическим и алгебраическим законам, у них возникает соблазн поверить в «божественного программиста» или цифровую матрицу.
Но реальное объяснение гораздо прозаичнее:
Материя упорядочена - наша Вселенная не хаотична, в ней действуют стабильные законы природы (взаимодействия частиц).
Математика — это инструмент поиска порядка: Мы сами сконструировали математику как идеальное сито для отсеивания хаоса и поиска закономерностей.
Естественно, что когда мы просеиваем упорядоченную материю через инструмент, созданный для поиска порядка, на выходе мы получаем чистую математическую формулу. Но это доказывает лишь качество нашего инструмента, а не то, что Вселенная сделана из цифр.
Если признать математику «основой мироздания», то мы окончательно узаконим то самое «галюцинирование» и отрыв от реальности. Мы начнем верить, что уравнения важнее фактов.
Здоровый научный подход требует обратного: математика — это служанка естествознания. Она обязана своим успехом тому, что природа логична и воспроизводима. Ваши предыдущие слова о том, что постулирование имеет смысл только при проверке на непротиворечивость, здесь работают как главный щит: мы создаем логические модели, но всегда помним, что последнее слово остается за физическим экспериментом, а не за красивой формулой на доске.
Математика – не наука, а язык описания моделей
Существует язык естественного общения (вербальная коммуникация, жесты, мимика), который нужен для передачи общепонимаемых смыслов с помощью условных сигналов. У примитивных народов может быть всего несколько десятков словесных символов, жестов и выражений лица. У современного культурного человека их десятки тысяч, но все равно, он затрудняется передать специфичный смысл, писатели мучаются в подборе фраз, которые бы хотя бы не одним словом, а несколькими смогли вызвать у читателя то же представление. Малокультурный прочтет и ничего кроме отдельных слов не поймет. Кошка посмотрит на текст и апатично поищет что-то более интересное. Чтобы понять, в голове уже должны быть схожие по смыслу абстракции, да еще именно в данном контексте.
Попробуйте громко сказать в толпе слово “Дурак”. Люди, конечно, обернуться, чтобы понять, то ли вы так себя в сердцах обозвали, то ли рядом есть кто-то удостоившийся эпитета. Без контекста понять невозможно. Условия, в которых произнесена фраза, ситуация и само слово создают элемент модели понимания (fornit.ru/69260), достаточный чтобы начать понимать все последующее.
Математические символы работают точно так же. Если ясна какая тема раскрывается, если ясны начальные постулаты и дана формулировка, то ее поймут достаточно подготовленные коллеги. Контекст может быть умолчательным или задан явно, но он должен быть, иначе не сработает субъективная модель понимания, а математика находится не в виде некоей самостоятельной сущности, как думают некоторые математики, а в контекстных головах и ее представительство в мозге ничем не отличается от механизмов вербальной коммуникации и осмысления вербальных стимулов. Механизмы работы мозга при чтении сложнейшего дифференциального уравнения и при восприятии слова «Дурак!» в толпе принципиально одинаковы.
Современные исследования методами ФРТ показали, что при обработке математических абстракций (чисел, векторов, топологических пространств) активируются те же зоны коры (включая теменные и префронтальные области), которые отвечают за пространственное мышление, распознавание образов и синтаксис сложного языка.
Формула E=mc² для кошки — это набор пятен. Для человека без образования — загадочный значок с футболки. Для физика — сжатый контекст, за которым стоит колоссальная ментальная модель: пространство-время, релятивистская масса, скорость света и законы сохранения. Без предварительно загруженной в мозг «библиотеки смыслов» математический символ мертв.
Наука (физика, химия, биология) изучает объективную реальность методом эксперимента. Она ищет ответы на вопрос «Как устроен мир?».
Математика не изучает мир. Она предоставляет строгий синтаксис, который защищен от главной проблемы человеческого языка — амбивалентности и двусмысленности.
Математический язык искусственно сужен. Математики договорились очистить свои символы от эмоций и субъективных трактовок. Знак «+» или символ матрицы имеют жестко зафиксированное, однозначное значение в рамках конкретной модели.
Математика — это язык с предельно строгими правилами грамматики (логики), созданный для того, чтобы ученые могли передавать друг другу сложные многомерные модели без искажений, «потери пакетов» и трудностей перевода.
Представление некоторых математиков о том, что их наука — это самостоятельная сущность (платоновский мир чистых форм), — это профессиональная деформация, возникшая как раз из-за высокой степени изоляции этого языка. Когда человек всю жизнь общается на языке с абсолютной внутренней строгостью, у него возникает иллюзия, что эта строгость принадлежит самой Вселенной. Но это иллюзия.
Если математика — это язык для описания моделей реальности, то создание языковых конструкций, которые в принципе невозможно привязать ни к какому контексту и ни к какой модели, — это просто изобретение бессмысленных слов в несуществующем словаре.
Ограничения математики
У каждого способа формального описания есть свои особенности, которые в попытках описания разных явлений подходят лучше или хуже других.
Примеры, где математика сталкивается с ограничениями или теряет практический смысл:
Сложные открытые системы (экономика и биология)
Попытка вывести математическую формулу для описания телевизора, рынка или поведения экосистемы неэффективна. В таких системах множество переменных и обратных связей. В результате строгие уравнения быстро становятся неадекватными, уступая место компьютерному симулированию и статистическому анализу.
Психология, искусство и человеческое сознание
Субъективные переживания, творчество и эстетическое восприятие невозможно описать уравнениями. Попытки математизировать искусство (например, «формула идеальной картины») лишены смысла, так как критерии оценки формируются культурой, а не числами.
Задача трех тел (и теория хаоса)
В то время как задача двух тел имеет точное математическое решение, добавление всего лишь третьего гравитирующего объекта делает общую систему хотя и детерминированной, но математически хаотичной. Вычислить траектории аналитически (в виде формул) невозможно, и приходится использовать численные методы.
Но если мы создадим простенькую компьютерную программу, которая будет высчитывать положение каждого тела, исходя из существующих взаимных расположений, то она легко и беззаботно покажет развитие динамики взаимодействий.
Если мы напишем программу, которая обсчитывает кинетически энергии в молекулах воды при их столкновениях с неких начальных условий, то ограничившись чайником, чтобы хватило вычислительных ресурсов, мы смоделируем погоду в чайнике. Для погоды на земле придется оперировать уже большими сущностями облаков, ветра, влажности и т.п. что даст некую долговременную погрешность. Но никакой математической формулой это сделать не получиться.
В какой-то мере может помочь математическая модель.
Формула (Аналитическое решение) — это статичный математический текст, свернутый в инвариант.
Суть: Это попытка прыгнуть из времени t0 сразу во время t100 в один шаг, минуя все промежуточные состояния. Вы подставляете в уравнение t=100, и формула выдает готовый результат.
Ограничение: Формула требует полной изоляции и линейности. Как только появляется взаимное влияние (обратная связь, как в задаче трех тел), где шаг В зависит от шага А, а шаг А тут же меняется от шага В, аналитический «прыжок через время» становится невозможным. Природа не считает формулами, она не прыгает в будущее — она проживает каждый миг.
Модель (В данном контексте — алгоритмическая/численная модель) — это динамический процесс, имитирующий причинно-следственные связи реальности шаг за шагом.
Суть: Компьютерная программа не пытается угадать будущее. Она берет микроскопический шаг времени ∆t, вычисляет мгновенные силы для этой точки, двигает тела на миллиметр, а на следующем шаге повторяет всё заново, используя уже новые координаты.
Преимущество: Модель повторяет саму природу — она разворачивает контекст во времени. Ей плевать на математический хаос и отсутствие формул, потому что она не решает глобальное уравнение, а последовательно воспроизводит физические взаимодействия «здесь и сейчас».
Какие ограничения у модели?
Если модель так легко и беззаботно обсчитывает то, перед чем пасуют формулы, почему мы не можем идеально предсказать погоду или поведение вселенной? У моделей есть три фундаментальных ограничения:
1. Проклятие дискретизации (Ограничение шага)
Компьютер считает пошагово. Время в программе течет не плавно, а квантами ∆t.
- Если в вашей модели чайника две молекулы летят навстречу друг другу, а шаг времени слишком велик, на шаге N они еще не долетели друг до друга, а на шаге N=1 уже «пролетели» сквозь друг друга.
- Чтобы модель была точной, шаг нужно уменьшать до бесконечности. Но тогда для расчета одной секунды реального времени компьютеру потребуются миллиарды лет вычислений. Мы всегда вынуждены округлять непрерывный мир до дискретных кубиков.
2. Ограничение абстрагирования (Эффект масштаба)
Невозможно обсчитать погоду на Земле по молекулам воды — не хватит никаких ресурсов. Приходится укрупнять сущности: склеивать триллионы молекул в один абстрактный объект «облако» или «циклон».
- Как только мы это делаем, мы вводим усредненные параметры (например, среднюю влажность или среднее давление).
- Но реальные физические микро-процессы на границах этого облака никуда не исчезают. Мы их просто игнорируем ради экономии ресурсов, сознательно внося погрешность в саму суть модели.
3. Динамический хаос (Эффект бабочки)
В нелинейных системах (где есть обратная связь) микроскопическая ошибка на входе лавинообразно нарастает со временем.
- Округлив в компьютере положение молекулы или координату планеты до 15-го знака после запятой (а память компьютера всегда ограничена), вы создаете крошечную погрешность.
- На первом шаге она ничтожна. На сотом — незаметна. На миллионном шаге эта мизерная неточность полностью меняет траекторию системы. Модель «погоды» начнет показывать солнечный день там, где в реальности пойдет ливень.
Формула — это жесткий моментальный снимок закономерности. Она работает только там, где систему можно упростить до идеального состояния (задача двух тел в пустоте).
Модель — это алгоритмический аналог реальности. Она способна описывать хаос и жизнь, но её главное ограничение — это ресурсный компромисс. Мы всегда вынуждены выбирать: либо мы моделируем крошечный кусочек мира (чайник) с высокой точностью, либо весь мир (погоду на Земле), но грубыми, усредненными мазками.
Если мы вернемся к нашей метафоре математики как языка: формула — это попытка выразить сюжет всей книги одним емким словом, а модель — это последовательное чтение книги страница за страницей.
Любая математическая модель в нашей реальности мертва и статична, пока нет интерпретатора, который превращает её формулы в динамический процесс. Формула на бумаге сама по себе ничего не вычисляет и никуда не движется. Чтобы модель «ожила», нужен сторонний агент, который будет последовательно брать значения, изменять их по правилам формул и перезаписывать в память.
Роль такого интерпретатора всегда выполняет материальный носитель, например, компьютер со специализированной программой или человеческий мозг.
Поэтому модели – это вторичное использование математики и не относится к самой математики.
Сама по себе математика — это просто замкнутый свод правил синтаксиса. Это правила о том, как знаки могут сочетаться друг с другом, чтобы не возникало внутренних противоречий.
Математика предоставляет «буквы» (числа, переменные) и «правила построения предложений» (операции, логические выводы).
Ей самой по себе не важно, что именно вы будете писать с помощью этого языка. Ей безразличны чайники, погода, планеты или экономика.
Когда ученый или инженер создает модель, он выступает в роли писателя. Он берет готовый математический язык и пишет на нем «рассказ» о конкретном физическом процессе.
Объявлять моделирование частью математики — это то же самое, что объявлять роман «Война и мир» частью науки о русском языке (лингвистики).
Миф: если теория не имеет математической формализации – она не теория
Формализация сама по себе ничего не доказывает, а лишь описывает, создает модель, которую можно рассматривать на предмет противоречий и ошибок.
Вера в то, что облечение мысли в формулы автоматически делает её «научной теорией» — это глубокое заблуждение (сциентизм), уходящее корнями в преклонение перед строгим языком математики.
Действительно, формализация лишь переводит утверждение на язык с жестким синтаксисом, чтобы модель было проще проверить на внутреннюю непротиворечивость. Но если в основание модели заложена ложная посылка, то даже самая красивая и сложная математика лишь филигранно опишет эту ложь. Сама по себе формула ничего не доказывает и не гарантирует связи с реальностью.
Фундаментальная проблема доказательств в математике
Если математика — это замкнутый язык описания, то как она доказывает что-либо внутри себя? И здесь скрывается глубочайший кризис, который математика пережила в XX веке и из которого не выбралась до сих пор.
Три кита кризиса математических доказательств
1. Теорема Гёделя о неполноте (Приговор абсолютной строгости)
В 1931 году Курт Гёдель математически доказал, что любая достаточно сложная и непротиворечивая формальная система (например, обычная арифметика) принципиально неполна.
Внутри этой системы всегда найдутся утверждения, которые являются истинными, но их невозможно доказать или опровергнуть правилами самой этой системы. Вы не можете доказать непротиворечивость математики средствами самой математики. Чтобы доказать истинность системы A, вам нужна более широкая система B, для доказательства B нужна система C — и так до бесконечности. Абсолютное, самодостаточное математическое доказательство оказалось мифом.
2. Проблема субъективности «проверки» (Человеческий фактор)
Математическое доказательство — это не вещь в себе. Это текст, написанный на математическом языке, который должен прочесть и верифицировать другой человек (или группа экспертов).
Доказательство Великой теоремы Ферма, сделанное Эндрю Уайлсом, занимало около 130 страниц сложнейшего текста. Ведущие математики мира проверяли его несколько месяцев и сначала нашли ошибку. Уайлсу потребовался еще год, чтобы её исправить.
Если доказательство состоит из тысяч страниц, ни один человек в мире не может гарантировать, что на странице 417 не закралась микроскопическая логическая подмена, которая рушит всё здание. Доказательство в математике — это социальный акт признания экспертным сообществом, а не абсолютная истина.
3. Кризис компьютерных доказательств (Проблема интерпретатора)
Сегодня многие сложные теоремы (например, теорема о четырёх красках или классификация простых конечных групп) доказываются с помощью компьютеров. Программа перебирает миллионы вариантов, которые человек не способен проверить физически за всю жизнь.
Математики вынуждены верить на слово компьютеру (интерпретатору). Но как проверить, что в самом коде программы-верификатора нет бага? Или что в кремниевом процессоре во время миллиардного вычисления не произошло случайного сбоя транзистора из-за космического луча? Мы заменили веру в человеческую безошибочность верой в безошибочность машины.
Что же такое «теория»?
Теория становится теорией не тогда, когда она покрывается формулами. Теория — это обоснованная модель понимания причинно-следственных связей. Если выявлены свойства всех компонентов, участвующих во взаимодействии в данном явлении и удалось сделать модель, позволяющую оперировать этими компонентами, чтобы сделать очевидным и исследовать взаимное влияние, то появляется возможность верифицировать полноту и верность такой модели, независимо от того, какой язык описания был использован.
Математическое описание имеет свои ограничение, схемотехнические – другие, а программно-алгоритмические – третью. Модель велосипеда или телевизора лучше описывается схемотехнически, модели нескольких гравирующих тел – программно. Очень странно и глупо пытаться описать телевизор математически.
В результате, действующая модель (прототип) на подходящем формальном языке доказывает верность понимания явления.
Теория — это действующая модель понимания, доказавшая свою верность через адекватный её сути формальный язык.
Математика — это не монополист на истину, а всего лишь один из инструментов в ящике.
Критерий адекватности языка описания
Когда выявлены свойства всех компонентов, участвующих в явлении, и создана модель на адекватном языке, происходит главное — модель начинает работать. Это значит, что в системе взаимодействий заполнены все места участников, нет пробелов, требующих выявление новых участников. И сразу видно, насколько верно каждый участник занимает свое место. Например, в таблице элементов Менделеева или системе индивидуальной адаптивности. Тогда модель – это такой пазл, которые, собирается из известных компонентов и если принцип образования системы выбран верно, то сразу становится видно, чего пока не хватает, мало того, видно, какими свойствами должен обладать пока не найденный компонент.
Труднее всего бывает обнаружить тот самый принцип общей системы. Менделеев мучительно долго искал его много лет, пока внезапное озарение во сне не подсказало нужную ассоциацию и пазл сразу стал очевидно понятным.
Главная ловушка исследователя — зависимость от текущего уровня абстракции. Пока Менделеев пытался группировать элементы по изолированным свойствам (только по валентности или только по металлоидности), система рассыпалась. Компоненты конфликтовали друг с другом.
Системный принцип — это всегда выход на уровень выше. Нужно было найти один сквозной, фундаментальный инвариант (в его случае — непрерывный рост атомного веса), вокруг которого все остальные локальные свойства (валентность, плотность, цвет) начали циклически вращаться.
Как только этот инвариант найден, хаос превращается в космос. Модель оживает, и пробелы становятся очевидными.
Так ли уж бесполезны свободные абстракции?
История науки показывает, что польза "бесполезных" абстракций проявляется через десятилетия, а иногда и века. Теория групп была чистой абстракцией в XIX веке, а стала фундаментом физики элементарных частиц и кристаллографии. Неевклидова геометрия Лобачевского считалась "игрой ума", пока Эйнштейн не использовал ее для ОТО. Мнимые числа (которые автор упоминает) тоже ждали своего часа несколько веков.
Требование немедленной практической пользы или немедленной привязки к материи — это необоснованный прагматизм. Математика часто работает "на вырост".
Леонардо Да Винчи, чтобы подтолкнуть мысль, подолгу смотрел на узоры штукатурки и, в самом деле, это помогало ему находить аналогии, благодаря чему возникали новые идеи. Но этих идей не было в штукатурке, так же как их нет в математических формулах. Механизм доминанты нерешенной проблемы и пассивного режима мышления позволяет образовывать новые идеи на основе любой аналогии - за счет уже имеющегося опыта.
Опираясь на этот довод, предоставляю возможность показать неверность утверждения, что математика рождает новые представления на примере:
Из уравнений Максвелла дедуктивно следовало существование электромагнитных волн, о которых Максвелл в момент написания уравнений мог и не подозревать в виде образа. Получается, что математика родила новый смысл (радиоволны) чисто формальным путем, еще до того, как их обнаружили экспериментально.
На самом деле пример с уравнениями Максвелла не опровергает, а идеально подтверждает тезис о первичности понимания и вторичности формул. Представьте, что мы дали уравнения Максвелла талантливому математику из XVIII века, который ничего не знает об электричестве, магнетизме и опытах Фарадея. Он просто видит систему дифференциальных уравнений.
Сможет ли он «дедуктивно» извлечь из них существование радиоволн?
Он увидит, что есть оператор Лапласа и вторая производная по времени.
Он скажет: «Да, это волновое уравнение, оно описывает распространение возмущений в некоторой гипотетической среде».
И спросит: «Что такое E и B? Какая упругая среда колеблется? Где взять антенну?»
Без внешнего знания (что E — это электрическое поле, которое можно создать током, а B — магнитное, которое индуцируется) математик НЕ сможет родить радиоволны. Для него это будет абстрактная функция двух переменных, которая осциллирует. Он не отличит её от уравнения звука в трубе или колебаний струны.
Следовательно, формула не родила радиоволны. Радиоволны родились из физического образа «колеблющегося эфира» (пусть и ошибочного), который Максвелл привнес вне математики.
Сначала понимание, и только потом - формализация
Существует убеждение, что математика является инструментом нахождения новых истин, что с помощью создания новых математических конструкций возможно найти решение фундаментальных и менее сложных проблем. Что само жонглирование формулами – это путь познания.
Это опасное переворачивание научной методологии. Формула не может родить смысл, которого изначально не было в голове исследователя. Математика — это не компас, указывающий дорогу в неизведанное, а дорожный каток, который асфальтирует уже протоптанную мыслью тропу.
Попытка найти истину через модификации математических конструкций напоминает попытку написать гениальный роман, комбинируя слова по правилам грамматики. Формальный язык оперирует только знаками. Ему безразлично, что скрывается за переменной x — масса планеты, цена акции или фантастическая галлюцинация. На бумаге можно построить безупречную, непротиворечивую модель 11-мерного пространства со скрученными суперструнами. Математически она будет идеальна. Но если этот конструкт изначально не опирается на физическое понимание природы, он так и останется красивым набором букв, не имеющим отношения к реальности. Это и есть «галлюцинация ради галлюцинации».
Все великие открытия в науке совершались через первичное, почти интуитивное или образное понимание причинно-следственных связей, и лишь затем переводились на язык формул.
Альберт Эйнштейн: Он создал Общую теорию относительности не потому, что играл с тензорным исчислением. Сначала в его голове возник чистый физический образ: человек, падающий с крыши, не чувствует своего веса, а тяжелый шар на батуте продавливает ткань. Он понял суть гравитации как геометрии пространства. И только потом он потратил годы, мучительно ища подходящий математический аппарат (риманову геометрию), чтобы строго записать это понимание. Если бы у него не было первичного образа, никакие формулы не подсказали бы ему, что пространство искривлено.
Исаак Ньютон: Сначала было понимание того, что сила, бросающая яблоко на землю, и сила, удерживающая Луну на орбите — это одно и то же взаимодействие. Чтобы формализовать это понимание динамики, существующей математики его времени просто не хватило. Ему пришлось придумать дифференциальное исчисление как новый язык, чтобы описать уже понятый им физический процесс.
Анри Пуанкаре — великий французский математик, физик и философ науки — был главным и самым яростным защитником позиции “Сначала понимание, и только потом - формализация” в начале XX века. Он вел непримиримую интеллектуальную войну против логицистов (Бертрана Рассела, Давида Гильберта), которые пытались свести математику к формальным манипуляциям и оторвать её от человеческого понимания.
В своих фундаментальных трудах «Наука и метод» и «Ценность науки» Пуанкаре писал вещи, которые практически дословно совпадают с выстроенной методологией.
1. Логика — инструмент доказательства, Интуиция — инструмент познания
Пуанкаре принадлежат две хрестоматийные цитаты, которые разделяют саму суть понимания и формы:
«Логика и интуиция играют каждая свою необходимую роль. Логика доказывает, но интуиция открывает».
«Чистая логика всегда приводила бы нас только к тавтологии; она не могла бы создать ничего нового; сама по себе она не может дать начало никакой науке».
Он утверждал, что если мы просто двигаемся по правилам формального синтаксиса, мы уподобляемся «логическому пианино» (механической машине), которая перемалывает посылки в выводы, абсолютно не понимая смысла происходящего.
2. О «галюцинировании» и математических монстрах
Пуанкаре точно описал «галлюцинациями ради галлюцинаций». Когда математика начала уходить в чистый формализм, выдумывая абстрактные структуры, не имеющие прообразов в реальности, он написал:
«Логика иногда порождает чудовищ (монстров). В течение полувека мы являемся свидетелями возникновения массы причудливых функций, которые, кажется, стремятся как можно меньше походить на честные функции, служащие каким-то практическим целям... Раньше новую функцию изобретали ради какой-то практической цели; теперь их изобретают специально для того, чтобы обнаружить дефекты в рассуждениях наших предков, и кроме этого они больше ничего не дают».
Для него отрыв от физической реальности был деградацией языка, превращением его в бессмысленный набор извращенных знаков.
3. Образ и Пазл (Приоритет целого над деталями)
Пуанкаре подробно анализировал, как человек находит тот самый системный принцип, о котором мы говорили на примере Менделеева. Он писал, что формальная логика заставляет нас смотреть на математические кирпичики по отдельности, из-за чего мы теряем общую картину.
Чтобы понять явление, мозг должен обладать «интуицией целого». Математик должен мгновенно увидеть архитектуру всей системы (тот самый собранный пазл), иначе он уподобится писателю, который знает грамматику, но не имеет сюжета.
Процесс инсайта (озарения) он описывал именно как подсознательный отбор гармоничных комбинаций элементов, которые «ум без труда может охватить целиком, проникая в то же время и в детали».
4. Адекватность языка описания
В статье «Интуиция и логика в математике» Пуанкаре приводит прекрасный пример, созвучный вашему тезису о телевизоре и чайнике. Он сравнивает двух немецких математиков — аналитика Мере и геометра Клейна:
Мере пытается доказать простое пространственное свойство через формулы и тратит на это десятки страниц сложнейшего абстрактного текста.
Феликс Клейн, чтобы решить абстрактную задачу из теории функций, берёт... кусок металла, подключает к нему электрический ток и по законам электропроводности сразу видит ответ.
Пуанкаре восхищается Клейном, говоря, что тот заменил мертвую формулу живой аналоговой моделью. Физический мир сам выступил интерпретатором и выдал понимание мгновенно.
Математика для Анри Пуанкаре была «искусством называть разные вещи одним и тем же именем» (то есть языком поиска инвариантов и сворачивания контекста). И он до конца жизни предупреждал: если этот языxк забудет, что его главная задача — помогать человеческому разуму строить работающие модели реальности, он превратится в бесплодное, изолированное и никому не нужное чудовище.
Резюме
Объективный мир состоит из материи, энергии и причинно-следственных связей. Он не сделан из цифр или формул. Математика — это не основа мироздания, а специализированный, искусственный язык, созданный человеческим мозгом для однозначной передачи сложных смыслов. Она находится исключительно в головах людей и работает по тем же биологическим механизмам, что и обычная вербальная коммуникация.
Отсюда выводится жесткая, последовательная и свободная от мистики философия науки.
Понимание предшествует форме
Познание всегда начинается с образа и выявления свойств компонентов реальности в их контексте.
Аксиома — это непреложный, воспроизводимый физический факт.
Постулат — это контролируемый шаг в неизвестность, альтернативное правило игры. Постулирование имеет смысл только тогда, когда новая логическая система мгновенно проверяется на непротиворечивость. Если система непротиворечива, она описывает возможные свойства материи, создавая «инструмент на будущее». Без этого жесткого фильтра любое абстрагирование превращается в бесплодную галлюцинацию.
Модель — высший критерий истины
Формализация сама по себе ничего не доказывает. Теория — это действующая модель понимания. Доказательством верности теории является работа этой модели на адекватном её сути языке:
- Простые инварианты изолированных систем пакуются в математические формулы.
- Архитектура сложных параллельных связей передается схемотехнически.
- Динамика нелинейных взаимодействий (например, хаос трех тел) воспроизводится программно-алгоритмически.
Любой абстрактный текст модели мертв, пока внешний материальный интерпретатор (процессор, мозг или сама природа) не превратит его в динамический пошаговый процесс.
Принцип «Пазла»
Главная и самая трудная задача разума — обнаружить объединяющий системный принцип высшего уровня абстракции. Когда этот инвариант найден, модель собирается как пазл. В верной системе координат автоматически заполняются места всех участников, исчезают пробелы, а пустые ячейки сами начинают диктовать свойства еще не открытых элементов реальности, обеспечивая модели абсолютную прогностическую силу.
Любая попытка замкнуть язык описания сам в себе («инкапсулировать математику») и искать новые истины исключительно через механическое жонглирование формулами — это методологический тупик, лишенный практической пользы. Сама по себе форма служит лишь для фиксации и верификации, но родителем смысла всегда остается физическое понимание реальности.