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.

decidability · Vinony

🌐English

English Deutsch Español Français Italiano Polski Português Русский فارسی 한국어 中文日本語

EntityQ430001· pop 17· linked from 435 articles

decidability

Also known as decidable

property of theories that have computable membership

Available in 17 languages

Español
Français
日本語
Русский
Português
Italiano
Catalan
Czech
Haitian Creole
Hebrew
Polski

Connections

propositional calculus

Categories

Concepts in logic Metalogic Proof theory

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

recursive set

Entity

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

Sign in to save

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