Ciro Santilli $$ Sponsor Ciro $$ 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗

Undecidable problem

| 🗖 nosplit | ↑ parent "Recursive language" | words: 148 | descendant words: 220 | descendants: 3
🔗
Is a decision problem of determining if something belongs to a non-recursive language.
🔗
Or in other words: there is no Turing machine that always halts for every input with the yes/no output.
🔗
Every undecidable problem must obviously have an infinite number of "possibilities of stuff you can try": if there is only a finite number, then you can brute-force it.
🔗
Some undecidable problems are of recursively enumerable language, e.g. the halting problem.
🔗
🔗
Coolest ones besides the obvious boring halting problem:
🔗
🔗

Ancestors

🔗