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