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.

recursively enumerable set · Vinony

EntityQ676835· pop 13· linked from 418 articles

recursively enumerable set

Sign in to save

a set that can be output (enumerated) by an algorithm (mathematical logic, computability theory)

Connections

semantic theory of truth

mathematical logic

first-order logic

semantics of logic

ground expression

Diophantine set

International Standard Book Number

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

Similar entities

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

μ-recursive function

Entitydist 0.40

Entitydist 0.52

Entitydist 0.60

first uncountable ordinal

Entitydist 0.61

Encyclopedic Dictionary of Mathematics

Entitydist 0.64

Entitydist 0.64

constant function

Entitydist 0.67

Entitydist 0.67

Entitydist 0.67

foundations of mathematics

Entitydist 0.67

Entitydist 0.70

cyclomatic complexity

Entitydist 0.70

What links here418 pages

computability theory

first-order logic

primitive recursive function

Gödel's incompleteness theorems

automated theorem proving

Diophantine set

halting problem

Trakhtenbrot's theorem

recursively enumerable language

Gödel's completeness theorem

decision problem

Church–Turing thesis

second-order logic

arithmetical hierarchy

undecidable problem