division___bell (division___bell) wrote,
division___bell
division___bell

Category:

Пятничное-хулиганское

А давайте сломаем машину Тьюринга?

Наверняка все слышали новость о доказательстве японцем abc-теоремы :

Доказательство abc-гипотезы, представленное Мотидзуки в 2012-м, занимает более 500 страниц текста, а понять и проверить его способно небольшое число математиков. У эксперта может уйти до 500 часов работы для понимания доказательства, тогда как у математика-аспиранта это займет около 10 лет. В настоящее время проверкой работы Мотидзуки занимаются 10 математиков.

А теперь представим, что кто-то решил проблему P = NP и представил свои доказательства. Доказательство настолько сложное, что для его проверки требуется не полиномиальное, а экспоненциальное время

И?

PS. А кстати, джентльмены. Это у меня сейчас получилось сформулировать новый парадокс, или все же это модифицированная версия старины Рассела?
Subscribe

  • (no subject)

    Массовое российское одичание как-то особенно явственно заметно по театральной среде. Буквально за последние пять лет некогда обширный разнообразный…

  • ДДП

    Дорожно- древесное происшествие Ночью погнал купаться, разогнался в лесу на приличной скорости ( хотелось мне, куску идиота, ветерок словить) и не…

  • Внемлите, человеки

    Неделю назад мой сосед по кабинету заболел ковидлой. Причем, он ходил с ней несколько дней, пока его совсем не положило на бок. Я обратил внимание…

  • 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 

  • 12 comments

  • (no subject)

    Массовое российское одичание как-то особенно явственно заметно по театральной среде. Буквально за последние пять лет некогда обширный разнообразный…

  • ДДП

    Дорожно- древесное происшествие Ночью погнал купаться, разогнался в лесу на приличной скорости ( хотелось мне, куску идиота, ветерок словить) и не…

  • Внемлите, человеки

    Неделю назад мой сосед по кабинету заболел ковидлой. Причем, он ходил с ней несколько дней, пока его совсем не положило на бок. Я обратил внимание…