Неужели наконец-то доказано? 11 августа на сайте компании HP появился препринт доказательства индийского математика Винай Деолаликар. Если кому-нибудь известно что-нибудь больше чем пишут в новостях то отпишитесь.
№ | Пользователь | Рейтинг |
---|---|---|
1 | tourist | 4009 |
2 | jiangly | 3839 |
3 | Radewoosh | 3646 |
4 | jqdai0815 | 3620 |
4 | Benq | 3620 |
6 | orzdevinwang | 3612 |
7 | Geothermal | 3569 |
7 | cnnfls_csy | 3569 |
9 | ecnerwala | 3494 |
10 | Um_nik | 3396 |
Страны | Города | Организации | Всё → |
№ | Пользователь | Вклад |
---|---|---|
1 | Um_nik | 164 |
2 | maomao90 | 160 |
3 | -is-this-fft- | 159 |
4 | atcoder_official | 158 |
4 | cry | 158 |
4 | awoo | 158 |
7 | adamant | 155 |
8 | nor | 154 |
9 | TheScrasse | 153 |
10 | Dominater069 | 152 |
Название |
---|
К сожалению, судя по комментариям достаточно авторитетных математиков, это доказательство скорее всего неверное. Хотя может быть, ошибки не настолько глубоки, и через какое-то время его получится исправить (хотя у многих людей есть именно концептуальные возражения против доказательства).
См. http://rjlipton.wordpress.com/2010/08/11/deolalikar-responds-to-issues-about-his-p≠np-proof/, http://rjlipton.wordpress.com/2010/08/12/fatal-flaws-in-deolalikars-proof/.
Ух, это событие - опубликование доказательства - всколыхнуло интерес к математике. Интересно, что, кроме внимания прессы и других не-математиков, обсуждение доказательства собрало "за одним столом" много специалистов по теории сложности и другим дисциплинам, что является уникальной ситуацией (см. сообщения Terence Tao в блоге rjlipton).
Я и сам попал под влияние, - зачитался всякими научно-популярными статьями о великих задачах XX века, об их решениях и неудачах... Интернет классен тем, что за ~0 минут ты можешь отыскать множество занимательных статей, написанных понятным языком, и ∞ количество ссылок на другие статьи, с каждым разом всё больше отдаляющиеся от первоначальной темы, но всё более и более интересные...
Особенно после, того как за доказательство стали обещать премии
Уайлс, Эндрю Джон - великий человек доказавший Великую Теорему Ферма ;) Надеюсь найдутся ещё люди которые не побоятся потратить время и на другие интересные доказательства :))