В математическом мире так принято- теорема считается доказанной до тех пор, пока кто-то не найдет ошибку в предъявленном доказательстве.
Это случилось, например, с Эндрю Уайлсом, который в 1994 году объявил о доказательстве Великой теоремы Ферма, однако другие математики вскоре нашли в его выкладках ошибку, и ему пришлось срочно дорабатывать свой труд. Он предоставил обновленное доказательство и закрепил свое имя в качестве человека, наконец разрешившего загадку, 350 лет будоражившую лучшие умы всего мира. Однако на короткий промежуток времени от нахождения ошибки до выхода обновленной статьи теорема Ферма снова становилась формально недоказанной.
В этом контексте примечателен случай итальянского математика Джузеппе Пеано, которого при жизни не раз подозревали в связях с сицилийской мафией. Не лишенный математического таланта, в молодости Пеано применял свою смекалку в преступных целях- по слухам, он был бухгалтером клана Гамбино и лично разработал хитрую схему отмывания средств мафии. К сорока годам ему наскучили серые схемы, и он переключился на... доказательства теорем. При чем начал, не размениваясь на мелочи, с одной из так называемых Задач тысячелетия - проблемы Гольдбаха.
Для научного сообщества, далекого от мира мафии, имя неизвестного математика из Италии, неожиданно объявившего о разрешении проблемы Гольдбаха, прозвучало как гром. Джузеппе Пеано предоставил на суд публики 120-страничный труд, доказывающий, что любое четное число больше двух можно представить в виде суммы двух простых чисел. Несмотря на простоту формулировки, предположение Гольдбаха оставалось недоказанным на протяжении двухсот лет, поэтому научное сообщество с большим интересом обратилось к труду Пеано.
Сам же он знал, что пока кто-нибудь из математиков не укажет на ошибку в доказательстве, он будет считаться доказавшим проблему Гольдбаха. И это произошло довольно быстро- некий перуанский математик указал на логический переход на 20-ой странице, который, несмотря на указанную тривиальность, таковым не является, и требует дополнительного доказательства. Каково же было удивление научного сообщества, когда перуанского математика расстреляли из проезжающего мимо автомобиля, пока тот попивал свой утренний кофе. В тот же день Пеано оперативно предоставил обновленный труд, в котором проблемное место было расписано подробнее.
Спустя еще неделю видный математик из Японии указал на сомнительное место на 42-ой странице доказательство Пеано... и умер от пули неизвестного буквально на той же неделе. Советский ученый нашел ошибку на 50-ой странице труда, и его нашли отравленным в своем НИИ. Обе ошибки Пеано оперативно исправил.
Когда же новости о подозрительных смертях достигли уважаемых математических журналов, ученые были не на шутку напуганы. Всем стало очевидно, что Джузеппе Пеано, пользуясь своим статусом в сицилийском картеле, посылает киллеров за каждым, кто указывает на ошибки в его доказательстве. Новых желающих найти ошибку в доказательстве Пеано не было. Формально Пеано оставался автором доказательства истинности проблемы Гольдбаха, кропотливо залатывая указанные математиками дыры.
Тогда редакторы самых старых и уважаемых изданий о математике собрались на тайное совещание и решили поступить следующим образом- они опубликовали большой список ошибок в доказательстве Пеано и подписали его еще большим списком- всех, кто осмелился встать на пути Пеано к незаслуженным лаврам великого математика. Весь математический мир замер в ожидании. Пеано молчал два года. Проблема Гольдбаха снова вернулась к статусу недоказанной.
И вот в один прекрасный момент начали умирать те, кто подписался под списком ошибок. Причем с издевательской деталью- именно в том порядке, в котором математики были указаны. Ученых находили отравленными, их расстреливали, взрывали, сбивали машинами, роняли на них рояли... Интерпол бездействовал, гоняясь за более крупной рыбой- начальников Пеано. До математиков им не было дела- это был всего лишь процент от тех, кого итальянская мафия убивала среди судей и свидетелей процессов над мафиози.
Среди выжившей части списка началась паника- ученые стали требовать у редакторов опубликовать отказ от указания на ошибку. Пеано предоставил новое доказательство, а список указавших ошибку целиком разделился на тех, кто отказался от своих слов, и тех, кто не мог этого сделать, так как уже умер. Пеано торжествовал- проблема Гольдбаха оставалась за ним. Также ему досталась денежная премия института Клэя в один миллион долларов.
И вот в США в 1970-х годах проходит серия громких судебных процессов над главами Коза ностра, после которых влияние мафии сильно ослабло. Джузеппе Пеано скрывается где-то в Италии, однако математическое сообщество не торопится провозглашать проблему Гольдбаха неразрешенной. И не зря - перед самой смертью от пули полицейского Джузеппе Пеано создает свой фонд, наподобие фонда Нобеля, и обещает миллион долларов каждому, кто убьет любого, кто найдет ошибку в его доказательстве. Фондом по сей день управляет группа неизвестных мафиози, и за прошедшие 40 лет она трижды выдавала премии за убийства математиков, а также подняла призовую сумму с одного до пяти миллионов долларов.
По состоянию на декабрь 2016 года проблема Гольдбаха формально считается доказанной математиком Джузеппе Пеано. Желающих оспаривать его статус нет.
Отличный комментарий!