Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

numbering · Vinony

🌐English

English Deutsch Español Français Português 中文日本語

EntityQ362019· pop 8· linked from 15 articles

numbering

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

Available in 7 languages

Français
Deutsch
中文
日本語
Português
Ukrainian

via Wikidata sitelinks · CC0

Connections

recursively enumerable set

Categories

Computability theory Theory of computation

natural number

Entity

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

Sign in to save

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