decidable theory
preferred label: نظریه تصمیم‌پذیر @fa
type: Concept
related: decidability

undecidable sentence
preferred label: جمله تصمیم‌ناپذیر @fa
type: Concept
related: decidability

computation machine
preferred label: ماشین محاسبه @fa
type: Concept
related: decidability

halting problem
preferred label: مسئله توقف @fa
type: Concept
related: decidability

proof
preferred label: برهان @fa
type: Concept
related: decidability

recursively enumerable
preferred label: شمارش‌پذیر بازگشتی @fa
type: Concept
related: decidability

number theory
preferred label: نظریه اعداد @fa
type: Concept
related: decidability

Cantor-Dedekind axiom
preferred label: اصل موضوع کانتور-ددکیند @fa
type: Concept
related: decidability

recursively undecidable
preferred label: تصمیم‌ناپذیر بازگشتی @fa
type: Concept
related: decidability

decidable relation
preferred label: رابطه تصمیم‌پذیر @fa
type: Concept
broader: decidability

consistency problem
preferred label: مسئله سازگاری @fa
type: Concept
related: decidability

computability
preferred label: محاسبه‌پذیری @fa
type: Concept
narrower: decidability

decidability
type: Concept
preferred label: تصمیم‌پذیری @fa
related: recursively undecidable
related: halting problem
related: proof
related: number theory
related: undecidable sentence
related: decidable theory
related: Cantor-Dedekind axiom
related: recursively enumerable
related: consistency problem
related: computation machine
narrower: decidable relation
broader: computability