Чайтины тогтмол нь тооцоолох боломжгүй тооны жишээ (үнэндээ гэр бүлийн жишээ) юм. Энэ нь санамсаргүй байдлаар үүсгэсэн программ (тодорхой загварт) зогсох магадлалыг илэрхийлнэ. Ойролцоогоор тооцоолж болно, гэхдээ дурын нарийвчлалтайгаар тооцоолох алгоритм байхгүй.
Юу нь тоог тооцоолох боломжтой болгодог вэ?
Тооцох боломжтой тоо нь хязгаарлагдмал компьютерийн программ-аар тооцоолж болох тоо юм. Таны сонсож байсан 3, √2, π, e гэх мэт бүх тоонуудыг тооцоолох боломжтой. Зарим тоог (π гэх мэт) давтагдахгүй цифрүүдийн хязгааргүй цуваагаар илэрхийлдэг.
Тооцолдох боломжгүй гэж юу гэсэн үг вэ?
Тооцолдох боломжгүй асуудал нь шийдэхэд ашиглаж болох алгоритмгүй бодлого юм. Тооцоолох боломжгүй (эсвэл шийдвэрлэх боломжгүй) байдлын хамгийн алдартай жишээ бол Зогсоох асуудал юм.
Тооцох боломжгүй тоо байдаг уу?
Тооцоолдоггүй тоонууд байдаг төдийгүй үнэн хэрэгтээ тэдгээр нь тооцоолж болох тооноос хамаагүй их байдаг. Олон тооны бодит тоонууд нь ямар ч хэв маяг, тусгай шинж чанаргүй, санамсаргүй мэт санагдах цифрүүдийн хязгааргүй дараалал юм. … Ийм жишээ болгон аравтын бутархайн өмнөх хэсэг нь 0 байх тоог авч үзье.
Бодит тоонуудыг тооцоолох боломжтой юу?
Бодит тоо нь -ийг төлөөлж буй натурал тоонуудын олонлог нь (хоёртын тоогоор бичиж, шинж чанарын функц гэж үзэх үед) тооцоолох боломжтой тохиолдолд л тооцоолох боломжтой. Тооцоолох боломжтой бүртоо нь арифметик.
