Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

numbering · Vinony

EntityQ362019· pop 8· linked from 15 articles

numbering

Sign in to save

in computability theory, the assignment of natural numbers to a set of objects

Connections

recursively enumerable set

rational number

surjective function

formal language

domain of a function

computability theory

first-order logic

computable function

partial function

Gödel numbering

universal Turing machine

Vladimir Uspensky

Categories

Computability theory Theory of computation

What links here15 pages

Kleene's recursion theorem

computability theory

numbering scheme

Gödel numbering

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Gödel numbering

Entitydist 0.39

set-theoretic definition of natural numbers

Entitydist 0.40

Markov's principle

Entitydist 0.44

Entitydist 0.45

computable function

Entitydist 0.46

discrete mathematics

Entitydist 0.48

numbering scheme

Entitydist 0.48

counter machine

Entitydist 0.48

Entitydist 0.49

Entitydist 0.50

Entitydist 0.51

Entitydist 0.51