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.

decidability · Vinony

EntityQ430001· pop 17· linked from 435 articles

decidability

Sign in to save

property of theories that have computable membership

Connections

propositional calculus

semantic theory of truth

mathematical logic

first-order logic

Church–Turing thesis

three-valued logic

semantics of logic

recursively enumerable set

ground expression

International Standard Book Number

Categories

Concepts in logic Metalogic Proof theory

Sources

wikipedia.externallinksexternallink

Similar entities

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

Turing reduction

Entitydist 0.38

computability theory

Entitydist 0.42

Entitydist 0.47

descriptive complexity theory

Entitydist 0.50

Entitydist 0.50

Chomsky hierarchy

Entitydist 0.50

Skolem's paradox

Entitydist 0.51

Category:Computability theory

Entitydist 0.52

Entitydist 0.52

Entitydist 0.52

Entitydist 0.53

Turing completeness

Entitydist 0.54

What links here435 pages

Gödel's incompleteness theorems

first-order logic

axiomatic system

theory of computation

description logic

lambda calculus

Cantor's paradox

Mostowski collapse lemma

continuum hypothesis

algebra of sets

computer-assisted proof

superseded scientific theory