The homological form of the Church–Turing thesis

From papers

Let LL be a physically realizable computation and let h(L)h(L) denote its homological complexity. Homological Church–Turing thesis. Every physically realizable computation has finite homological complexity,

h(L)<,h(L)<\infty,

and the laws of physics determine the maximum achievable homological complexity. This proposes a physical strengthening of the Church–Turing thesis by placing a homological bound on realizable computations. The source presents it as a research-level conjecture and provides no formal physical model or proof of the asserted bound.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Jian-Gang Tang, “A Homological Separation of P from NP via Computational Topology and Category Theory”, arXiv:2510.17829 (2025).

Solutions 0

No solutions have been posted yet.