Dice Question Streamline Icon: https://streamlinehq.com

Homological Church–Turing thesis

Ascertain whether any physically realizable computation necessarily has finite homological complexity h(L) < ∞ and whether the laws of physics determine an upper bound on achievable homological complexity.

Information Square Streamline Icon: https://streamlinehq.com

Background

The authors propose a homological strengthening of the Church–Turing thesis, positing that physical realizability constrains computational homology to be finite and potentially bounded by physical law.

This bridges their topological model of computation with fundamental physics, suggesting universal limits on computational topology imposed by nature.

References

Conjecture [Church-Turing Thesis Homological Form] The Church-Turing thesis can be strengthened homologically: any physically realizable computation has finite homological complexity h(L) < ∞. Moreover, the laws of physics determine the maximum achievable homological complexity. This conjecture is grounded in deep physical and mathematical principles:

A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework (2510.17829 - Tang, 2 Oct 2025) in Conjecture (Church-Turing Thesis Homological Form), Subsection "Connections to Physics and Natural Computation" of Section 10 (Conclusions and Future Work)