(no subject)

[leblon]

Доказал (вроде) теорему. Порадовался. Решил проверить специальный случай. "Освоил" пакет HAP (Homological Algebra Programming), где черт ногу сломит, а заодно и GAP , где он сломит две. Посчитал, получил противоречие с утверждением теоремы. Не знаю, что и думать. теперь.

Comments

[roma.livejournal.com]

"если факт противоречит теории, тем хуже для факта!"

[leblon.livejournal.com]

Вот именно! Утверждение теоремы выглядит очень естественно. Правда, чтобы вывести противоречие между теоремой и фактом, надо еще поверить в некое неопубликованное вычисление одного знаменитого математика, которое я не до конца понимаю. Может, он чего напутал?

[roma.livejournal.com]

все может быть, в том числе и со знаменитыми математиками. Хорошо быть незнаменитым!

[sasha-br.livejournal.com]

Компьютеры - зло.

[vladimir kalitvianski (from livejournal.com)]

Проверять нужно всё. У меня был случай, когда два разных метода вычисления одного и того же ряда давали разные результаты, начиная с кубического члена. Оба вычисления были правильными, но один из методов был, на самом деле, не применим обычным способом (http://fishers-in-the-snow.blogspot.fr/2011/03/moja-pervaja-pobeda.html). Более внимательное рассмотрение помогло его модифицировать и ряды совпали.

[shkrobius.livejournal.com]

Надо проверить на другой теореме!

[leblon.livejournal.com]

Я в этой области никаких теорем не знаю :) Сами мы не местные, физики...
Но какие то элементарные вычисления проделал для разминки, проверил Википедию. Все работает. Кроме моей теоремы. Но, говорят, реклама - двигатель торговли противоречия - двигатель математики.

[leblon.livejournal.com]

Если бы не компьютер, я бы так и не узнал, что где-то спряталась ошибка. Так что давай не будем перегибать палку и огульно охаивать этих железных друзей человека.