(Чечимсиз Чечимсиз Эсептөө теориясында чечилбей турган маселе – ооба/жок жообун талап кылган эсептөө маселесинин бир түрү, бирок бул жерде ар дайым компьютердик программа болушу мүмкүн эмес. туура жооп берет, башкача айтканда, мүмкүн болгон программа кээде туура эмес жооп берет же эч кандай жооп бербестен түбөлүк иштей берет. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Чечилгис көйгөйлөрдүн тизмеси - Wikipedia
жөн гана чечим кабыл алуу маселесинин контекстинде эсептөө мүмкүн эмес дегенди билдирет, анын жообу (же чыгарылышы) "чындык" же "жалган"). Эсептелбеген маселе - аны чечүү үчүн колдонула турган алгоритми жок маселе.
Эсептелбеген көйгөйлөр кандай?
Эсептөө теориясында чечилгис маселе - бул ооба/жок жоопту талап кылганэсептөө маселесинин түрү, бирок бул жерде ар дайым туура жооп берген компьютер программасы болушу мүмкүн эмес. жооп берүү; башкача айтканда, кандайдыр бир мүмкүн болгон программа кээде туура эмес жооп берет же эч кандай жооп бербестен түбөлүк иштей берет.
Эсептелбеген сан деген эмне?
Чейтин константасы эсептелбеген сандын мисалы (чындыгында мисалдардын үй-бүлөсү). Бул кокус түзүлгөн программанын (белгилүү бир моделде) токтоп калуу ыктымалдыгын билдирет. Аны болжолдуу түрдө эсептөөгө болот, бирок аны каалагандай тактык менен эсептөө үчүн алгоритм жок.
Кайсы маселеэсептелүүчү?
Математикалык маселе эсептелүүчү болуп саналат, эгерде ал принцибинде эсептөөчү түзүлүш менен чечилсе. "Эсептөөчү" үчүн кээ бир жалпы синонимдер "чечимдүү", "чечимдүү" жана "рекурсивдүү" болуп саналат. Гильберт бардык математикалык маселелерди чечүү мүмкүн деп эсептеген, бирок 1930-жылдары Годель, Тьюринг жана Черч андай эмес экенин көрсөтүшкөн.
Бош топтомду эсептөөгө болобу?
Бош топтом эсептелүүчү. Натурал сандардын бүт жыйындысы эсептелүүчү. Ар бир натурал сан (стандарттык топтом теориясында аныкталгандай) эсептелүүчү; башкача айтканда, берилген натурал сандан кичине натурал сандардын жыйындысы эсептелинет.
