The homological form of the Church–Turing thesis

About 1 year old · traced to

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.