И ещё о доказательности.

[fat_yankey]

Незадолго до 1977 года две независимые команды топологов (американская и японская) аннонсировали результаты касающиеся одной и той же гомотопической группы. Результаты противоречили друг другу, а так как оба доказательства оказались весьма сложными, то было совершенно неочевидно кто же из двоих прокололся. Ставки, однако, были достаточно высоки,

Comments

[monetam]

И что ж, ни в одной из версий до сих пор не нашли "прокола" ?

[fat_yankey]

Увы, не знаю. Как я уже упомянул, авторы никаих зацепок не дают, отследить историю у меня не получилось.

[agasfer]

Я думал, вы до октября под парусом прошляетесь.

[bey]

ох, одна твердыня была, математика...

[vir77]

200 тыщь теорем в год?! Это не опечатка?

Урежьте осетра хотя бы на три нулика

[fat_yankey]

Ну, как вы понимаете, я сам не считал. Сколько было в источнике нулей, столько и воспроизвёл. Сомнениями же по поводу размеров осетра вам следует поделиться с паном Станиславом Уламом.

[potan]

Может таки актиоматика противоречива? :-)