Я придумал убойный аргумент, который рушит представление, будто греки придумали математические доказательства

Вот как рисуется стройная история появления доказательств. Говорят, что до Греции доказательств не было. Теоремы "доказывались" опытным путём. Типа измеряли длины сторон треугольников, квадратов и всё такое. Но вот в Греции были философы, активно упражнялись в разговорах, размышлениях. И придумали логику и доказывание. То есть, доказательства родились из философских дискуссий, и потом перекочевали в математику. Благодаря этому философскому гению математика вышла на новый уровень. Появились доказательства теорем и математические теории.

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

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

Теперь убойный аргумент, который я обещал.

Одно из первых известных доказательств теоремы — это доказательство теоремы Пифагора. Я привёл картинку, иллюстрирующую это доказательство.

Аргумент такой: а где в этом доказательстве логика?

Ведь доказательство опирается на геометрическое построение и формульно-числовой расчёт. Там даже намёка на логику нет.

Вообще, как можно из логики прийти к какому-то геометрическому построению? Вы видели когда-нибудь такое? Я не видел.

Так вот, геометрические доказательства логику не применяют!

Как философы могли повлиять своей логикой, если в доказательствах логики нет? И рассуждений там никаких нет! Там только построения и расчёты!

И теперь убедить, будто философы учили математиков делать геометрические построения — это невозможно, абсурд! Такое философы уже не смогут впарить!

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

Прикол в том, что здесь не надо копаться в истории. Достаточно посмотреть на устройство математических доказательств. А именно: древние геометрические доказательства строились на геометрических построениях и вычислениях, которые невозможно основать на логике и рассуждениях.

Зная просто математику без всякой истории можно низвергать философские мифы.

Источник: vk.com

Комментарии: