Где-то есть люди, для которых теорема верна

[mancunian]

Пусть pn обозначает n-ое простое число. Всем известная гипотеза близнецов гласит, что существует бесконечное число индексов n, таких, что pn+1 - pn = 2. Например, 3 и 5, 11 и 13, 29 и 31, и т.д.

Никто не сомневается в том, что гипотеза верна, но доказать это не могут.

Так вот, только что Ytang Zhang вроде как доказал, что существует бесконечное

Comments

[schegloff]

Является ли доказательством доказательство, доступное только по подписке?

[mancunian]

Хотите почитать?

[schegloff]

Даже если я прочитаю, для меня оно все равно не станет доказательством. Я про Вашу позицию спрашивал.

[eisenberg]

Бывает хуже: доказательства, за разглашение которых могут засудить. Из исторических вспоминается случай с Кардано и Тартальей, из современных - Стивен Вольфрам.
(vserver1.cscs.lsa.umich.edu/~crshalizi/reviews/wolfram/)

[and_bel]

А в чём магия несчастного числа 70 000 000?

[mancunian]

Да ни в чем, просто для меньшего ему не удалось доказать, надо думать. Сейчас начнут уменьшать всем миром, полагаю. Но до двух, наверное, уменьшить не выйдет таким макаром. Хотя кто знает, я не эксперт.

[eisenberg]

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

[mancunian]

Кстати, да.

[mancunian]

Угу, причем "штангой" его сильно повредило. Спортсмены такие спортсмены: хлебом их не корми - дай спортом позаниматься. ;)

[shuffle81]

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

[farwideserenity]

убивать математикоф :)

[mancunian]

Запретить блядскую топологию!

[shean]

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