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.

Entscheidbar · Vinony

🌐Deutsch

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

EntityQ877945· pop 23· linked from 417 articles

Entscheidbar

Also known as decidability theory

Eigenschaft auf abzählbaren Mengen

Available in 23 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
العربية
Catalan
Chuvash

Connections

semantic theory of truth

mathematical logic

Categories

Computability theory Theory of computation

Sources

wikipedia.externallinksexternallink

Show 4 more

simple
Ukrainian
فارسی
한국어

via Wikidata sitelinks · CC0

image

Entity

first-order logic

semantics of logic

recursively enumerable set

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Sign in to save

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