|
Теорема. Александр Великий не существовал. Доказательство. Заметим для начала, что историки, очевидно, всегда говорят правду (поскольку они всегда ручаются за свои слова и поэтому, следовательно, не могут лгать). Отсюда исторически достоверным является утверждение: «Если Александр Великий существовал, то он ездил на вороном коне, которого звали Буцефал». Но, согласно следствию II, все предметы белые, и Александр не мог ездить на вороном коне. Поэтому для справедливости высказанного выше условного исторического утверждения необходимо, чтобы условие нарушалось. Следовательно, Александр Великий в действительности не существовал. Из этого краткого обзора, посвящённого математическим доказательствам, не следует делать вывод, что всё уже доказано. Приведём два примера недоказанных теорем. Первый — это знаменитая гипотеза Голдбрика из теории чисел, которая утверждает, что каждое простое число можно представить в виде суммы двух чётных чисел. Этого нехитрого утверждения никто до сих пор не опроверг, но, несмотря на многовековые усилия математиков, никто и не доказал. Второй пример известен, хотя бы в интуитивной форме, всему цивилизованному миру. Это знаменитый первый закон Чизхолма: «Всё, что может испортиться, — портится».[101] — • • • —«Выражение „Инфекционное заболевание“ означает прежде всего заболевание, подпадающее под действие подраздела 1 раздела 29 абсолютно или согласно определению одной из стадий такого заболевания, но в любом разделе части 4 настоящего Закона, применением которой заболевание или стадия заболевания исключаются из этого класса в соответствии с подразделом 2 упомянутого раздела 29, соответствующее выражение не означает такого заболевания или такого заболевания в такой стадии, как это может показаться». Из британского «Закона об охране здоровья» • • •Правило тринадцатого удара , которое следует помнить, читая работу, обещающую слишком много: если часы пробили тринадцать раз, то это не только означает, что тринадцатый удар был неверным. Он порождает сомнения в верности каждого из первых двенадцати ударов. Джон Мастерс • • •Одна знакомая просила Альберта Эйнштейна позвонить ей по телефону, но предупредила, что номер очень трудно запомнить: 24361. — И чего же тут трудного? — удивился Эйнштейн. — Две дюжины и 19 в квадрате. • • •— Мы считали: 10, 9, 8, 7, … — и сбились со счёта. — 109 —
|