У Онотоле о моем NP != P доказательстве. Надо добавить в него подробностей наверно.

[dmitgu]

Я про результаты (может и промежуточные) обсуждения моего доказательства после вот чего:
awas1952 16 мая 2014, 13:24:14
Поставил этот вопрос перед своими читателями1. Меня удивило в основном корректное отношение. Была пара придурков с "а, какая-то шмакодявка задачу тысячелетия мнит что решила, говно". Я на них посрал :) С остальными вежливо и с

Comments

Новый ("причесанный") текст доказательства.(начало)

[dmitgu]

Оставляю текст доказательства в виде 2ух каментов (данного и подчиненного) - потому что каменты нельзя менять незаметно - будет показано время изменения. А сама запись с новым (причесанным) доказательством тут

Новый ("причесанный") текст доказательства.(окончание)

[dmitgu]

А теперь построим алгоритм-опровержение - классическим - для вычислимости и логики - способом. План такой: если мы опровергнем работу МТ на подмножестве алгоритмов Q из класса NP, то мы опровергнем работу МТ на классе NP, а это сделает невозможным равенство P и NP, так как будет нарушено необходимое условие для такого равенства - существование МТ