Неужели наконец-то доказано? 11 августа на сайте компании HP появился препринт доказательства индийского математика Винай Деолаликар. Если кому-нибудь известно что-нибудь больше чем пишут в новостях то отпишитесь.
№ | Пользователь | Рейтинг |
---|---|---|
1 | tourist | 3690 |
2 | jiangly | 3647 |
3 | Benq | 3581 |
4 | orzdevinwang | 3570 |
5 | Geothermal | 3569 |
5 | cnnfls_csy | 3569 |
7 | Radewoosh | 3509 |
8 | ecnerwala | 3486 |
9 | jqdai0815 | 3474 |
10 | gyh20 | 3447 |
Страны | Города | Организации | Всё → |
№ | Пользователь | Вклад |
---|---|---|
1 | maomao90 | 174 |
2 | awoo | 164 |
3 | adamant | 163 |
4 | TheScrasse | 159 |
5 | nor | 157 |
6 | maroonrk | 155 |
7 | -is-this-fft- | 152 |
8 | Petr | 146 |
8 | orz | 146 |
10 | BledDest | 145 |
Название |
---|
К сожалению, судя по комментариям достаточно авторитетных математиков, это доказательство скорее всего неверное. Хотя может быть, ошибки не настолько глубоки, и через какое-то время его получится исправить (хотя у многих людей есть именно концептуальные возражения против доказательства).
См. 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 минут ты можешь отыскать множество занимательных статей, написанных понятным языком, и ∞ количество ссылок на другие статьи, с каждым разом всё больше отдаляющиеся от первоначальной темы, но всё более и более интересные...
Особенно после, того как за доказательство стали обещать премии
Уайлс, Эндрю Джон - великий человек доказавший Великую Теорему Ферма ;) Надеюсь найдутся ещё люди которые не побоятся потратить время и на другие интересные доказательства :))