Аннотация:
В работе предлагается система определений для основных понятия теории вычислимости, лежащих в основе математики цифрового мира: алгоритм, вычислимость, исчисление, сложность объекта, приближенная к современным представлениям. Рассматриваются иерархии конечного и проблема непротиворечивости.
Ключевые слова:
математические основания искусственного интеллекта, теоретическая информатика, определение алгоритма, вычислимость, определение исчисления, колмогоровская сложность, иерархии конечности, непротиворечивость математики.
УДК:
004.9
Поступило: 22.09.2025 Принято к публикации: 29.09.2025
