Основные результаты научного произведения:
Неравенство NP ≠ P доказано при последовательном применении формализма, принятого в теории алгоритмов. Найдена связь между формализмами логики и теории алгоритмов, что позволяет использовать принципиальные результаты из математической логики в теории алгоритмов.
Перспективные направления применения для дальнейших исследований и разработок:
Не менее интересным результатом, чем доказательство неравенства NP ≠ P представляется обнаруженное в процессе анализа возможностей работы алгоритмов обстоятельство: от корректной системы требуется «понимание» – кто она такая. И без этого понимания невозможно решение некоторых важных задач. То есть, мы вышли на формализацию такого важного для многих живых систем свойства как рефлексия.
Данное обстоятельство (значимость рефлексии) обнаружилось на стыке математической логики и теории алгоритмов. Трудно переоценить важность рефлексии для жизни: Без понимания того, какие опасности грозят именно тебе и какие твои действия могут привести к катастрофе именно тебя – твоя жизнь не была бы сколько-нибудь продолжительной. И возможность формализации данного свойства (рефлексии) в математике – более принципиальна и интересна для решения многих практически важных прикладных задач и мировоззренческих вопросов, на мой взгляд, чем неравенство NF ≠ F или NP ≠ P.
Приоритетные направления развития науки, технологий и техники в РФ:
Живые системы