Книга бревна (fat_yankey) wrote,
Книга бревна
fat_yankey

Category:
  • Music:

И ещё о доказательности.

Незадолго до 1977 года две независимые команды топологов (американская и японская) аннонсировали результаты касающиеся одной и той же гомотопической группы. Результаты противоречили друг другу, а так как оба доказательства оказались весьма сложными, то было совершенно неочевидно кто же из двоих прокололся. Ставки, однако, были достаточно высоки, чтобы не спускать дело на тормозах, и обе команды обменялись результатами для взаимной проверки. Очевидно, что и у тех и у других имелась достаточно сильная мотивация чтобы найти ошибку в доказательстве "соперников", однако же из этого ничего не вышло. Ни американское ни японское доказательство так и не удалось опровергнуть; при том, что одно из них непременно должно было быть неверно.

Как бы в насмешку, вскоре появилось третье, независимое, доказательство, подтверждающее результаты американской команды. Оказавшись в меньшинстве японцы отозвали свои результаты. Рассказывают, что один из американцев после этой истории оставил занятия математикой, видимо в поисках работы, где бы результаты его труда оценивались более объективно.

Эта история была рассказана в статье Social processes and proofs of theorems and programs, by Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis; Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1977. Статья (не история) наделала много шума и дала начало т.н. Proof of Correctness Wars. К сожалению, авторы из этических соображений не называют никаких имён и фактов, поэтому независимо проверить эту историю у меня не вышло.

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

Чтение по теме:http://elementy.ru/lib/431269?context=5085665
Tags: логика
Subscribe

  • Ещё одно расследование

    Предварительные выводы одесской общественной комиссии "Группа 2 мая":…

  • Батрахомиомахия-7

    Стояние на Жукова (юг) После бесплодного марша по Одессе, фаланга зелёных вернулась к месту боёв. На момент её возвращения (начало шестого вечера)…

  • Батрахомиомахия-6

    Рейд зелёной фаланги. Итак, как вы помните, когда милиция развела стороны на Греческой, велиты зелёных ломанулись на Дерибасовскую. Фаланга же на…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 35 comments

  • Ещё одно расследование

    Предварительные выводы одесской общественной комиссии "Группа 2 мая":…

  • Батрахомиомахия-7

    Стояние на Жукова (юг) После бесплодного марша по Одессе, фаланга зелёных вернулась к месту боёв. На момент её возвращения (начало шестого вечера)…

  • Батрахомиомахия-6

    Рейд зелёной фаланги. Итак, как вы помните, когда милиция развела стороны на Греческой, велиты зелёных ломанулись на Дерибасовскую. Фаланга же на…