Чейтин тұрақтысы – есептелмейтін санның мысалы (шын мәнінде мысалдар тобы). Бұл кездейсоқ жасалған бағдарламаның (белгілі бір үлгіде) тоқтау ықтималдығын білдіреді. Оны шамамен есептеуге болады, бірақ оны еркін дәлдікпен есептеу алгоритмі жоқ (дәлелді).
Санды есептелетін не жасайды?
Есептелетін сан соңғы компьютер бағдарламасымен есептелетін сан. Сіз бұрын естіген 3, √2, π, e, т.б. сияқты барлық сандар есептелетін болады. Кейбір сандар (мысалы, π) қайталанбайтын цифрлардың шексіз тізбегі арқылы берілген.
Есептелмейтін нені білдіреді?
Есептелмейтін есеп оны шешу үшін қолданылатын алгоритмі жоқ есеп. Есептеуге келмейтін (немесе шешілмейтін) ең танымал мысал - тоқтату мәселесі.
Есептелмейтін сандар бар ма?
Есептелмейтін сандар бар ғана емес, шын мәнінде олар есептелетін сандарға қарағанда әлдеқайда көп. Көптеген, көптеген нақты сандар - бұл кездейсоқ көрінетін цифрлардың шексіз тізбегі, ешқандай үлгісі немесе арнайы қасиеті жоқ. … Осындай мысал ретінде ондық бөлшек алдындағы бөлігі 0 болатын санды қарастырайық.
Нақты сандар есептеле ме?
Нақты сан есептелетін болады, егер олкөрсететін натурал сандар жиыны (екілік жүйеде жазылғанда және сипаттамалық функция ретінде қаралғанда) есептелетін болса. Әрбір есептелетінсан арифметикалық.
