Александр Македонский не существовал.

Вот тут гр.Ярослав Васильев железно доказал, что никакого «вторжения монголов» не было. Поддерживаю его почин.

Эпиграф:

На лице дона Рэбы появилась приторность.

— Мой дорогой дон Румата, — сказал он. — Простите, пока я буду называть вас этим именем. Так вот, обыкновенно я никогда ничего не доказываю. Доказывают там, в Веселой Башне. Для этого я содержу опытных, хорошо оплачиваемых специалистов, которые с помощью мясокрутки святого Мики, поножей господа бога, перчаток великомученицы Паты или, скажем, сиденья… э-э-э… виноват, кресла Тоца-воителя могут доказать все, что угодно. Что бог есть и бога нет. Что люди ходят на руках и люди ходят на боках. Вы понимаете меня? Вам, может быть, неизвестно, но существует целая наука о добывании доказательств. Посудите сами: зачем мне доказывать то, что я и сам знаю? И потом ведь признание вам ничем не грозит…

️ Братья Стругацкие, «Трудно быть богом».

Лемма I.

Все лошади имеют одинаковую масть (докажем по индукции).

Доказательство:

Очевидно, что одна лошадь имеет одинаковую масть. Обозначим через P(k) предположение, что k лошадей имеют одинаковую масть, и покажем, что из такого предположения вытекает, что k + 1 лошадей имеют ту же масть. Возьмем множество, состоящее из k + 1 лошадей, и удалим из него одну лошадь, тогда оставшиеся k лошадей по предположению имеют одинаковую масть. Вернем удаленную лошадь в множество, а вместо нее удалим Другую. Получится снова табун из k лошадей. Согласно предположению, все они одной масти. Так мы переберем все k + 1 множеств, в каждом по k лошадей. Отсюда следует, что все лошади одной масти, т.е. предположение, что P(k) влечет за собой P(k + 1). Но ранее мы уже показали, что предположение Р(1) выполняется всегда, значит, Р справедливо для любого k и все лошади имеют одинаковую масть.

Следствие I.

Все предметы имеют одинаковую окраску.

Доказательство:

В доказательстве леммы 1 никак не используется конкретная природа рассматриваемых объектов. Поэтому в утверждений «если Х – лошадь, то все Х имеют одинаковую окраску» можно заменить «лошадь» на «нечто» и тем самым доказать следствие. (Можно, кстати, заменить «нечто» на «ничто» без нарушения справедливости утверждения, но этого мы доказывать не будем.)

Следствие II.

Все предметы белого цвета.

Доказательство:

Если утверждение справедливо для всех X, то при подстановке любого конкретного Х оно сохраняет свою справедливость. В частности, если Х – слон, то все слоны одинакового цвета. Аксиоматически достоверным является существование белых слонов (см. Марк Твен, Похищение белого слона). Следовательно, все слоны белого цвета. Тогда из следствия I вытекает следствие II, что и требовалось доказать!

Теорема.

Александр Великий не существовал.

Доказательство:

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

️ Данная статья целиком и полностью переписана из книги «Физики продолжают шутить» и является фрагментом статьи Дж. Коэна «О существе математических доказательств».