Associations to the word «Undecidable»
Noun
- Axiom
- Automaton
- Proposition
- Theorem
- Hilbert
- Continuum
- Np
- Inference
- Raven
- Halt
- Logic
- Problem
- Algorithm
- Computation
- Verification
- Unification
- Termination
- Emil
- Grammar
- Mathematics
- Consistency
- Hypothesis
- Proof
- Davis
- Input
- Conjecture
- Kurt
- Algebra
- Theory
- Statement
- Inequality
- Correspondence
- Wang
- Equality
- Tile
- Machine
- Paper
- Sentence
- Graph
- Rice
- Function
- Reduction
- Showing
- Robinson
- Instance
- Martin
- Solution
- Definition
- Decision
- System
- Extension
- Dimension
- String
- Question
- Computer
- Symbol
- Given
- Set
Adjective
Wiktionary
UNDECIDABLE, adjective. (mathematics) (computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.
UNDECIDABLE, adjective. (mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e., that it can never be either proved or disproved (i.e., have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e., more Platonic.)
Wise words
Language is a process of free creation; its laws and
principles are fixed, but the manner in which the principles
of generation are used is free and infinitely varied. Even
the interpretation and use of words involves a process of
free creation.