Source-linked topology

Mathematics knowledge graph

Explore mathematical concepts through their taxonomy and citation relationships. Uintell stores graph metadata and canonical links, not a copied corpus.

8658concepts

10281sources

45444citations

Concept topology

Turing reducibility

Mathematics / Discrete Mathematics / Computational Systems / Turing Machine

Turing reducibility Pre-order Characteristic function Turing machine Degree of undecidability Algorithmic reducibility Degree of undecidability Many-one reducibility Recursive set theory

citescited by

Canonical sources

Turing reducibilityencyclopedia_of_mathematics

Classification

Turing MachineMathematics / Discrete Mathematics / Computational Systems / Turing Machine

References

Pre-order Characteristic function Turing machine Degree of undecidability

Referenced by

Algorithmic reducibility Degree of undecidability Many-one reducibility Recursive set theory

Source records retain attribution and canonical links. The public graph does not reproduce article bodies. See the Encyclopedia of Mathematics licensing notice before republishing source text.