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
Love. Fall in love and stay in love. Write only what you
love, and love what you write. The key word is love. You
have to get up in the morning and write something you love,
something to live for.