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

Recursive function

Recursive function Least-number operator Computable function Arithmetization Normal algorithm Turing machine Recursive relation Constructive selection principle Recursive model theory A New Kind of Science Decidable predicate Algorithm, complexity of description of an Recursive set theory Universal algorithm

citescited by

Canonical sources

Recursive functionencyclopedia_of_mathematics

Classification

No taxonomy classification is available yet.

References

Least-number operator Computable function Arithmetization Normal algorithm Turing machine

Referenced by

Recursive relation Constructive selection principle Recursive model theory A New Kind of Science Decidable predicate Algorithm, complexity of description of an Recursive set theory Universal algorithm

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.