- Source: Undecidable
- Teori komputasi
- Algoritma
- Teorema ketaklengkapan Gödel
- Mesin Turing
- Tashi delek
- Alfred Tarski
- Kurt Gödel
- Fungsi indikator
- Pyrron
- Sejarah anarkisme
- Undecidable
- Undecidable problem
- Gödel's incompleteness theorems
- Decidability (logic)
- List of undecidable problems
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems
- Algorithm
- Turing machine
- Lists of unsolved problems
- NP-hardness
Undecidable may refer to:
Undecidable problem in computer science and mathematical logic, a decision problem that no algorithm can decide, formalized as an undecidable language or undecidable set
"Undecidable", sometimes also used as a synonym of independent, something that can neither be proved nor disproved within a mathematical theory
Undecidable figure, a two-dimensional drawing of something that cannot exist in 3d, such as appeared in some of the works of M. C. Escher
See also
Decidable (disambiguation)