Юрий Красков - Чудеса арифметики от Пьера Симона де Ферма

Вычисления – это не только действия с числами, но и применение методов достижения конечного результата. С действиями справляется даже машина, если разум оснащает её соответствующими методами. Но если разум сам становится подобием машины, т.е. не осознаёт методов вычислений, то он способен создавать только чудовища, которые его же и уничтожат. Именно к этому всё сейчас и идёт из-за полного отсутствия решения проблемы обеспечения безопасности данных. А вся эта проблема в том, что информатика как наука просто не существует.

Специалисты, комментирующие древние, по их мнению, «Начала» Евклида и «Арифметику» Диофанта, будто завороженные видят, но никак не могут признать очевидное. Ни Евклид, ни Диофант не могут быть создателями содержания этих книг, это не под силу даже современной науке. Более того, эти книги появились только в эпоху позднего средневековья, когда уже развилась необходимая для этого письменность. Авторы этих книг были всего лишь переводчиками действительно древних источников, принадлежавших другой цивилизации. В наше время людей с такими способностями называют экстрасенсами.

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

Содержание аксиом Пеано следующее:

(А1) 1 есть натуральное число.

(А2) Для любого натурального числа n есть натуральное число, обозначаемое n' и называемое числом, следующим за n.

(А3) Если m' = n' для каких-либо натуральных чисел m,n, то m = n.

(А4) Число 1 не следует ни за каким натуральным числом, т.е. n' никогда не равно 1.

(А5) Если число 1 обладает некоторым свойством P, и для любого числа n, обладающего свойством P, следующее за ним число n' также обладает свойством P, то всякое натуральное число обладает свойством P.

В «Началах» Евклида есть нечто похожее на эту аксиому:

«1. Единица есть <���то>, через что каждое из существующих считается единым. 2. Число же – множество, составленное из единиц», (Книга VII, Определения.).

Итак, считалка – это именованные начальные числа в готовом, (сосчитанном), виде, чтобы на их основе стало возможно, используя аналогичный метод, именовать также любые другие числа. Всё это, конечно, совсем не сложно, но почему же этому не учат в школе, а просто заставляют всё заучивать без объяснений? Ответ очень простой – потому что наука просто не знает, что есть число, а признаться в этом никак не может.

Аксиомы действий, которые до сих пор отдельно не выделялись, также являются прямым следствием определения сущности понятия числа. Они, как способствуют обучению, так и устанавливают определенную ответственность за обоснованность любых научных изысканий в области чисел. В этом смысле последняя 6-я аксиома выглядит даже слишком категоричной. Но без такого рода ограничений в систему знаний можно протаскивать любую тарабарщину и затем называть это «прорывом в науке».

В этом реконструированном доказательстве Ферма исключается ошибка, допущенная у Евклида. Однако, начиная с Гаусса, другие известные доказательств основной теоремы арифметики повторяют эту же самую ошибку. Исключением является доказательство, которое получил немецкий математик Эрнст Цермело, см. Приложение I.

Факсимиле издания с доказательством ЗТФ Коши опубликовано Google под названием MEMIRES DE LA CLASSE DES SCIENCES MATHTÉMATIQUES ET PHYSIQUES DE L’INSTITUT DE France. ANNEES 1813, 1814, 1815: https://books.google.de/books?id=k2pFAAAAcAAJ&pg=PA177#v=onepage&q&f=false. То, что нам нужно находится на стр. 177 под названием DEMONSTRATION DU THÉORÉME GÉNÉRAL DE FERMAT, SUR LES NOMBRES POLYGONES. Par M. A. L. CAUCHY. Lu à l’Académie, le 13 novembre 1815 (см. рис. 34, 35). Общее доказательство Коши занимает 43 (!!!) страницы, и только одно это обстоятельство указывает на то, что ни в один учебник оно не влезает. Аналогичный труд с доказательством ВТФ для n=7 выполнил коллега Коши по Академии наук Габриэль Ламе. Подобные творения не то, что студентам, но и академикам не по силам, т.к. первые ничего не могут в них понять, а вторые просто не располагают для этого необходимым временем. Тогда выходит, что такие доказательства вряд ли возможно проверить, насколько они убедительны, т.е. являются ли вообще доказательствами. А вот если бы Коши применил рекомендованный Ферма метод спуска, то доказательство стало бы настолько убедительным, что никаких проверок просто не потребовалось бы. Отсюда следует очень простой вывод: Золотая теорема Ферма , также как некоторые другие его теоремы до сих пор остаются недоказанными.