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.

recursive set · Vinony

EntityQ877945· pop 23· linked from 417 articles

recursive set

Sign in to save

Set where an algorithm can take a number as an input and can decide whether the number belongs to the set

Connections

semantic theory of truth

mathematical logic

first-order logic

semantics of logic

recursively enumerable set

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.40

Entitydist 0.45

recursive language

Entitydist 0.46

set-theoretic definition of natural numbers

Entitydist 0.47

computable function

Entitydist 0.50

recursive data type

Entitydist 0.52

Markov's principle

Entitydist 0.53

Entitydist 0.54

algorithm design

Entitydist 0.57

Entitydist 0.58

in-place algorithm

Entitydist 0.58

binary numeral system

Entitydist 0.60

What links here417 pages

well-formed formula

propositional calculus

mathematical logic

Conservative extension

computability theory

Richard's paradox

well-founded relation

elementary equivalence

three-valued logic

rule of inference

continuum hypothesis

lambda calculus