В последнее время стоит шум по поводу доказательства гипотезы Пуанкаре.
Якобы Перельман ее доказал. А откуда вы знаете что он доказал эту теорему?
Вы проверяли лично доказательство? Или на веру приняли.

Для начала честно ответьте себе, откуда вы узнали про доказательство. Из телеящика и т.п.?

химка...

я читал на форуме миста.. а что, есть какие-то неправильности?

Ну дык мы лично и не убедились, что Земля круглая. Считать ее плоской теперь?

(3) Могу за спор доказать, что она не плоская.

Я достал школьные записи, сошлось.

(4) На спор буду не соглашаться с любым твоим доводом :)

Он на математическом форуме выложил
Я ошибок не нашел

(0) Мы и про самого Перельмана из ящика узнали. А ну как его и вовсе не существует? А новостной ролик срежиссирован Кубриком? :)

(8) Ну дык и факт жизни Пуанкаре еще доказать нужно. Кто-то был с ним лично знаком из одноэсников?

(9) это которому "палец в рот не клади"?

Вообще то это бывший президент Франции
http://ru.wikipedia.org/wiki/Пуанкаре_Р.

(11) А кто подтвердит, что эта самая Франция существует?

(11) и ему можно палец в рот положить?

(12)
Я в блоге читал
(13)
Уже вряд ли

Вы все - плод моего больного воображения

(11)Президент Франции - это кузен автора гипотезы, которую доказал Перельман...

тролль...

ребят, а ссылко на саму теорему и её решение не подскажите?

ОФФ. Волшебник, не серчай, сегодня день дурака..
что еще можно ожидать.. от 1сников :
завтра, даст Бог, поумнеем :)

(18) http://ru.wikipedia.org/wiki/Гипотеза_Пуанкаре

Там же есть схема доказательства.

Тут история:
http://elementy.ru/news/430288

Перельман не утруждал себя ПОЛНЫМ доказательством, а лишь набросал схему.
Полное доказательство дано лишь в 2006 году и занимает 473 стр. Авторы, кстати, китайские математики Huai-Dong Cao и Xi-Ping Zhu.

Был один чел, который занимался уточнением асимптотики числа монотонных булевых функций (никаких существенных вопросов это уточнение, врочем, не решало).
Он 4 раза анонсировал доказательство. 3 раза снимал. Окончательный вариант доказательства в "Проблемы кибернетики" занимал 109 стр. Одних лемм было 26. Думаю, что вряд ли кто-то (может, кроме рецензента) внимательно его прочел.
Представим себе ситуацию, когда доказательство человек физически не может проверить. Значит нужно писать программу, которая проверит доказательство. А дальше программу, которая проверит предыдущую.

собственно была такая задача о раскраске (доказать что для политической карты мира (на плоскости) достаточно 4 цвета - если никакие 2 страны с общей границей/не точкой не красить в один цвет)... решена программой полным перебором примерно 1300 вариантов

(22) Вернее, сначала свели к конечному числу вариантов, которые потом проверили на компе. Известная задача о 4-х красках, которой, якобы немцы во время войны "вырубили" английских ученых.

(0) Аналогичный пример с Великой теоремой Ферма. Понять доказательство может только весьма ограниченный круг людей.

Вот интересная статья по проблеме доказательства в математики, ну и ее оснований.

Брайан Дэвис
Куда движется математика?
http://elementy.ru/lib/164681