Чейтин константасы эсептелбеген сандын мисалы (чындыгында мисалдардын үй-бүлөсү). Бул кокус түзүлгөн программанын (белгилүү бир моделде) токтоп калуу ыктымалдыгын билдирет. Аны болжолдуу түрдө эсептөөгө болот, бирок аны каалагандай тактык менен эсептөө үчүн алгоритм жок.
Санды эмне үчүн эсептелүүчү кылат?
Эсептелүүчү сан чектүү компьютер программасы тарабынан эсептеле турган сан. 3, √2, π, e ж.б. сыяктуу сиз уккан бардык сандар эсептелүүчү. Кээ бир сандар (мисалы, π) кайталанбаган цифралардын чексиз саптары менен көрсөтүлөт.
Эсептелбеген деген эмнени билдирет?
Эсептелбеген маселе аны чечүү үчүн колдонула турган алгоритми жок маселе. Эсептелбөөчүлүктүн (же чечилбестиктин) эң белгилүү мисалы - бул токтотуу маселеси.
Эсептелбеген сандар барбы?
Эсептелбеген сандар гана бар эмес, бирок чындыгында алар эсептелүүчү сандарга караганда алда канча көп. Көптөгөн, көптөгөн реалдуу сандар эч кандай үлгүсү же өзгөчө касиети жок, кокустуктай көрүнгөн сандардын чексиз ырааттуулугу. … Мындай мисал катары, ондук чекиттин алдындагы бөлүгү 0 болгон санды карап көрөлү.
Чыныгы сандар эсептелеби?
Чыныгы сан эсептелет, эгерде ал натурал сандардын жыйындысы туюнтса (экилик системада жазылганда жана мүнөздүү функция катары каралса) эсептелүүчү болсо. Ар бир эсептелгенсан арифметикалык.
