КОГДА ФИЛОСОФ НЕ ДОЧИТАЛ ГЁДЕЛЯ, А МАТЕМАТИК НЕ ДОПИСАЛ ФИЛОСОФИЮ
Сижу, значит, читаю одного товарища. Он мне доказывает, что Великая теорема Ферма уже доказана — причём **элементарно**, на школьном уровне. Просто злые профессора замалчивают. И тут я понял: передо мной не математик и не философ. Это **недоучившийся философ**, который застрял где-то между Кантом и Википедией.
-ТЕЗИС ПЕРВЫЙ: «ЧИСЛА ЖИВЫЕ
Философ говорит: «Числа растут сами! Равенство само показывает! Мы всего лишь подглядываем!»
Это, знаете ли, прекрасно. Это **гилозоизм** — учение о всеобщей одушевлённости материи. Только у Фалеса душа была в магните, а у нашего автора — в биноме Ньютона. Числа у него живые, самовозрастающие, почти как трава на даче. Осталось только спросить: а **едят** ли они? Размножаются ли половым путём? И главное — **страдают** ли они от того, что их никто не понимает шесть лет?
С точки зрения метаматематики — это **категориальная ошибка**. Смешение **объекта** и **процесса**. Число не растёт. Растёт **наша запись** числа. Растёт **длина десятичной записи**. Но само число — это не организм. Это абстрактный объект. Он не «становится двузначным» — он **имеет** двузначную запись в данной системе счисления. Это как сказать: «Мой рост стал 180 сантиметров, значит, я стал другим человеком». Нет, ты просто **измерил** себя в другой момент.
ТЕЗИС ВТОРОЙ: «ПРЕДПОСЛЕДНИЙ ЧЛЕН БИНОМА»
Тут наш философ достаёт **бином Ньютона** — и начинает его **раскрывать**. Как будто это не формула, а чемодан.
Он пишет: \((A^\circ n + a)^n\). Предпоследний член: \(A^\circ n \cdot n \cdot a^{n-1}\). И делает вывод: «Ага! Тут **две десятки**! Значит, вторая цифра не туда попадает! Значит, двузначные окончания равны!»
Стоп. **Стоп-стоп-стоп.**
Это **не доказательство**. Это **жонглирование символами**. В математике нельзя взять формулу, посмотреть на неё, сказать «ну тут как бы две десятки, ну и поэтому всё сходится» — и объявить теорему доказанной. Нужна **строгая дедукция**: аксиомы, леммы, корректные переходы, учёт всех случаев.
А тут что? А тут **поэзия**. «Предпоследний член», «вторая цифра», «двузначное окончание» — это **образы**, а не теоремы. Философ думает, что если он **назовёт** что-то «двузначным окончанием», то оно **станет** двузначным окончанием. Это **номинализм** в худшем смысле: слово подменяет вещь.
-ТЕЗИС ТРЕТИЙ: «ЗЛЫЕ ПРОФЕССОРА»
Дальше — классика. «Мне не ответили из тысяч профессоров». «Один указал на недостатки, но исправленный вариант не посмотрел». «Магия Уайлса оглушительна». «Профессорам нужны только деньги».
Это **не аргумент**. Это **жалоба**.
В метаматематике есть понятие **доказуемости**. Утверждение доказуемо, если существует **формальный вывод** из аксиом по правилам вывода. Всё. Личность автора, его страдания, его финансовые потери, его встреча с Ферма на том свете — **не входят** в критерий доказуемости. Это **психология**, а не логика. **Социология**, а не математика.
Если бы наш философ действительно понимал метаматематику, он бы знал **теорему Гёделя о неполноте**. Он бы знал, что **не всякое истинное утверждение доказуемо**. Он бы знал, что **существуют** неразрешимые предложения. Но он этого не знает. Он думает, что если он **очень сильно хочет**, чтобы теорема была доказана, — то она **уже** доказана. Это **магическое мышление**. Это **первобытное сознание** в обёртке из математических символов.
-- ТЕЗИС ЧЕТВЁРТЫЙ: «ФЕРМА ВОСХИЩАЛСЯ, НО СКРЫЛ»
О, это моё любимое. Ферма, видите ли, **восхитился** «живыми числами» и **скрыл** тайну от мира. Боялся насмешек. Как Галилей. Как Джордано Бруно. Как все **непонятые гении**.
Но Ферма, вообще-то, был **юристом** и **математиком-любителем**. Он **переписывался** с Паскалем, Декартом, Гюйгенсом. Он **публиковал** свои задачи. Он **не скрывал** ничего. Он просто **не написал** доказательство для ВТФ — потому что, ..............................**.
Но нашему философу это не интересно. Ему интересна **драма**. Ему интересен **заговор**. Ему интересно **страдание**. Потому что **философ-недоучка** — это не тот, кто ищет истину. Это тот, кто ищет **смысл**. А смысл, как известно, **не в математике**. Смысл — в **нарративе**.
-ТЕЗИС ПЯТЫЙ: «Я УТАЩУ ВСЁ С СОБОЙ НА ТОТ СВЕТ»
Апофеоз. «Я развлекаюсь десятками научных открытий». «Некоторые имеют международные награды». «Я утащу эту махину с собой на тот свет, где встречусь с Ферма».
Это **не наука**. Это **эсхатология**. Это **личный апокалипсис**. Это **миф** о герое, который **не понят** современниками, но **будет понят** потомками (или, в данном случае, **покойниками**).
В метаматематике это называется **аргумент к будущему**. «Потомки оценят». Но потомки — это **не критерий истины**. Истина **вневременна**. Если утверждение истинно, оно истинно **сейчас**. Если оно доказуемо, оно доказуемо **сейчас**. Ждать потомков — это **религия**, а не **наука**.
ВЫВОД
Итак, что мы имеем?
**Философ — говно.** Потому что он **не философ**. Он **мистик**. Он **поэт**. Он **жертва**. Он **герой**. Но он **не мыслитель**. Мыслитель **сомневается**. Мыслитель **проверяет**. Мыслитель **знает границы** своего знания. А этот товарищ — **не знает**. Он **уверен**. Он **праведен**. Он **обижен**. Это не философия. Это **психотерапия** в жанре «письмо к самому себе».
**Математик — хреновый.** Потому что он **не математик**. Он **нумеролог**. Он **символист**. Он **играет в бисер**. Он берёт **формулы**, но не понимает **логики**. Он берёт **теоремы**, но не понимает **доказательств**. Он берёт **истину**, но не понимает **обоснования**. Математик без строгости — это **бухгалтер** без арифметики. Это **астроном** без телескопа. Это **хирург** без скальпеля.
А вместе — это **гремучая смесь**. **Недоучившийся философ** + **хреновый математик** = **человек, который шесть лет объясняет всем свою теорию, но никто не понимает**. И знаете что? **Никто и не поймёт.** Потому что **там нечего понимать**. Там **пустота**. Там **красивая обёртка** вокруг **ничего**.
**P.S.** А Ферма, если он там, на том свете, — он, наверное, **смеётся**. Потому что он-то **знал**: «У меня есть доказательство, но поля слишком узки». А этот товарищ думает, что **поля** — это **метафора**. А это **буквально**. **Не хватило места**. **Не хватило строгости**. **Не хватило математики**.
**P.P.S.** Числа не живые. Числа — это **абстракции**. Живые — это **мы**. И иногда мы **заблуждаемся**. И это **нормально**. Ненормально — **настаивать** на заблуждении **шесть лет** и **обижаться** на весь мир.
Если этот неандерталец не поймет что он даже как философ - недоучившийся словоблуд, могу написать **вторую часть** — уже от лица **«настоящего философа»**, который **разбирает** этого товарища по понятиям **аналитической философии** (Витгенштейн, Куайн, Крипке) и **метаматематики** (Гильберт, Гёдель, Тьюринг).
