Теорема о Δ–Σ полноте Тьюринга
Authors/Creators
Description
В работе доказывается, что любая нетривиальная вычислительная система является тьюринг-полной тогда и только тогда, когда она допускает представление в терминах двух минимальных фундаментальных операторов: оператора ветвления Δ : A → A ⊕ A и оператора композиции Σ : A × A → A. Пара (Δ, Σ) является минимальной и единственной (с точностью до моноидального изоморфизма) структурой, необходимой для вычислимости и рекурсии.
Теорема является прямым следствием и прикладным воплощением общей Δ–Σ Онтологической Теоремы, выводящей ту же структуру из аксиом потенциальности и наблюдаемости. Доказательство демонстрирует, что любая нетривиальная формальная структура может быть единственным и минимальным образом сведена к композициям Δ и Σ, подтверждая их универсальность как функциональных примитивов. Работа строит мост между метафизическим фундаментом и конкретными формальными науками.
Technical info (English)
This paper proves that any non-trivial computational system is Turing-complete if and only if it can be represented in terms of two minimal fundamental operators: the branching operator Δ : A → A ⊕ A and the composition operator Σ : A × A → A. The pair (Δ, Σ) constitutes the minimal and unique (up to monoidal isomorphism) structure necessary for computability and recursion.
The theorem is a direct corollary and practical embodiment of the general Δ–Σ Ontological Theorem, which derives the same structure from the axioms of potentiality and observability. The proof demonstrates that any non-trivial formal structure can be uniquely and minimally reduced to compositions of Δ and Σ, confirming their universality as functional primitives. The work builds a bridge between the metaphysical foundation and concrete formal sciences.
Files
Theorem_on___Σ_Turing_Completeness.pdf
Files
(391.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:65bc74e5cb2ad85f10fb0d86cdb6dd26
|
194.4 kB | Preview Download |
|
md5:636dd4764ca6270c3bd0c60d52747f02
|
197.3 kB | Preview Download |
Additional details
Additional titles
- Translated title (English)
- Theorem on Δ–Σ Turing Completeness
Related works
- Is supplement to
- Preprint: 10.5281/zenodo.17866368 (DOI)