P не равно NP: Доказательство, которое математики не поймут

Эта книга содержит доказательство того, что P не равно NP. Доказательство. Строгое, логически безупречное и проверяемое — при условии, что читатель готов принять единственное допущение, которое математика отвергала последние сто лет: познающий субъект существует. Автор возвращает субъекта в математику и показывает, что различие между P и NP — это не различие между двумя классами вычислительной сложности, а различие между двумя типами отношения субъекта к задаче. Проблема P vs NP не решалась полвека не потому, что она сложна, а потому, что она сформулирована на языке, который не различает актуальное и потенциальное; Книга адресована математикам, которые готовы признать, что их наука не является абсолютной. Философам, которые догадывались, что субъект важен, но не знали, как это доказать. Программистам, которые всегда чувствовали, что перебор — это не метод. И всем, кто хоть раз задавался вопросом, почему одну задачу решить легко, а другую — невозможно.