Доказал (вроде) теорему. Порадовался. Решил проверить специальный случай. "Освоил" пакет HAP (Homological Algebra Programming), где черт ногу сломит, а заодно и GAP , где он сломит две. Посчитал, получил противоречие с утверждением теоремы. Не знаю, что и думать. теперь.
Вот именно! Утверждение теоремы выглядит очень естественно. Правда, чтобы вывести противоречие между теоремой и фактом, надо еще поверить в некое неопубликованное вычисление одного знаменитого математика, которое я не до конца понимаю. Может, он чего напутал?
Если бы не компьютер, я бы так и не узнал, что где-то спряталась ошибка. Так что давай не будем перегибать палку и огульно охаивать этих железных друзей человека.
Проверять нужно всё. У меня был случай, когда два разных метода вычисления одного и того же ряда давали разные результаты, начиная с кубического члена. Оба вычисления были правильными, но один из методов был, на самом деле, не применим обычным способом (http://fishers-in-the-snow.blogspot.fr/2011/03/moja-pervaja-pobeda.html). Более внимательное рассмотрение помогло его модифицировать и ряды совпали.
Я в этой области никаких теорем не знаю :) Сами мы не местные, физики... Но какие то элементарные вычисления проделал для разминки, проверил Википедию. Все работает. Кроме моей теоремы. Но, говорят, реклама - двигатель торговли противоречия - двигатель математики.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
branchandroot
(no subject)
Date: 2014-02-05 05:53 pm (UTC)(no subject)
Date: 2014-02-05 06:23 pm (UTC)(no subject)
Date: 2014-02-05 07:01 pm (UTC)(no subject)
Date: 2014-02-05 09:18 pm (UTC)(no subject)
Date: 2014-02-14 06:12 am (UTC)(no subject)
Date: 2014-02-05 10:29 pm (UTC)(no subject)
Date: 2014-02-06 05:39 am (UTC)(no subject)
Date: 2014-02-06 03:11 pm (UTC)Но какие то элементарные вычисления проделал для разминки, проверил Википедию. Все работает. Кроме моей теоремы. Но, говорят,
реклама - двигатель торговлипротиворечия - двигатель математики.