Ама измежду изчислимите реални числа има и ирационални, това малко ме притеснява. В крайна сметка даже не разбрах, кои точно са изчислими числа. Казвате тези, които могат да бъдат възпроизведени от машина на Тюринг. Да ама за всяко ирационално число тя трябва да работи безкрайно.

И найвече това което искам да разбера е - как машината на всеки етап от изчислението може да е сигурна, че това е част от търсеното число? С други думи, как можем да сме сигурни, че един алгоритъм наистина генерира някое ирационално число последователно и винаги вярно? Откъде може да знаем, дали нашият алгоритъм не се отклонява от търсеното число при еди-кой-си знак?

Ne vsi4ko e vuzmojno, za6toto nqkoi ne6ta sa napulno sigurni