March 30th, 2010

1998

Три истории

Эпиграф 1
В математике есть формальные процедуры установления истинности и/или ложности.
Они неизменны тысячи лет, и называются математической (формальной) логикой.


Эпиграф 2
В математике экспертом является любой человек. В том смысле что если вы или Вася из деревни Гадюкино найдет ошибку (т.е. напишет контрпример) в доказательстве теоремы Пуанкаре, то вы автоматически станете экспертом.
История первая

A, сотрудник университета X объявил, что решил восьмую проблему Швальберта. Статья с изложением решения (128 страниц) размещена в arXiv.org

B и C, сотрудники математического института Y, заявили, что проверили доказательство и признали его верным.

D, сотрудник университета Z, заявил, что нашел ошибку в доказательстве A
А прочел текст опровержения D и заявил, что D ошибся, поскольку неверно понял исходное доказательство.

B и C проверили текст D и указали, что у него в лемме 5 на странице 17 имеется ошибка.

E, сотрудник лаборатории W, сообщил, что хотя на странице 17 действительно имеется ошибка, есть способ исправить доказательство леммы 5. В настоящее время G, F и H изучают вариант контрпримера, предложенный E.

История вторая

Collapse )

Вопрос к читающей публике: в каких из описанных случаев доказательство является верным?
1998

о нормальной жизни приезжих

ailoyros пишет:
Предотвратить терроризм можно только одним способом: дать этим людям, потенциальным смертникам, шанс нормально жить в нашем обществе. Тогда им незачем будет себя взрывать. А все, кто призывает сегодня "давить черных" - какими бы изящными словесами это не оформлялось - пособники террористов.

Мой комментарий:
Мне кажется, это возможно, когда и если само общество будет жить нормально. То есть будет общепризнанная норма (а не озлобленность или безразличие), и эта норма будет нормой не только для членов нашего общества, но и для тех, кто хочет в это общество включиться.

Понимаю, что звучит утопично. Но альтернатива - рыхлое, атомизированное "общество" и свои альтернативные жесткие нормы у сплоченных инокультурных сообществ. С неизбежно возникающими на этой почве низовыми эксцессами, с массовой базой для скинхедских организаций.

Вопрос в том, на каких ценностях может быть основана эта чаемая норма.