Стивен Вольфрам снова взялся за старую проблему. Он исследует вопрос P против NP эмпирическим путём.
Учёный перебирает простые программы. Он смотрит, как быстро они работают.
Проблеме P против NP уже полвека. Прогресса почти нет.
Вольфрам открыл нечто важное ещё в 80-х. Даже маленькие программы ведут себя сложно.
Теперь у него есть концепция рулиада. Это новый взгляд на пространство всех программ.
Он не решит проблему P против NP. Но получит множество частных результатов.
Исследование показывает вычислительную неприводимость. Некоторые вычисления нельзя ускорить.
Это становится очевидным при изучении конкретных случаев. Так формируется интуиция.
Методология рулиологии помогает изучать теоретическую информатику. Подход Вольфрама — это взгляд снизу.
