Книга бревна (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

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 35 comments