undecidable problem
Sign in to savedecision problem for which it is impossible to construct an algorithm that always leads to a correct yes-or-no answer
Connections
semantic theory of truth
Entity
natural number
Entity
mathematical logic
Entity
Gödel's incompleteness theorems
Entity
string
Entity
countable set
Entity
first-order logic
Entity
formal system
Entity
Zermelo–Fraenkel set theory
Entity
consistency
Entity
axiomatic system
Entity
recursive set
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
ground expression
Entity
diagram
Entity
logic
Entity
Alan Turing
Entity
International Standard Book Number
Entity