>Теорема Геделя (и о неполноте, и о полноте) и машина Тьюринга - ненужная фигня. Особенно это относится к машине Тьюринга (а также Поста), написание программ на которой интересует только закостенелых преподавателей в вузах бывшего СССР.
Я понимаю, что область Ваших научных интересов вне теории алгоритмов. Но так можно всю математику под корень извести!
А за решение задачи о равенстве-неравенстве классов P и NP денег можно срубить. Миллион баксов!!! :)))
