(Шешімсіз Шешімсіз Есептеу теориясында шешілмейтін мәселе иә/жоқ жауабын қажет ететін есептеу мәселесінің бір түрі, бірақ мұнда әрқашан компьютерлік бағдарлама болуы мүмкін емес. дұрыс жауап береді, яғни кез келген ықтимал бағдарлама кейде қате жауап береді немесе ешқандай жауап берместен мәңгі жұмыс істейді. https://kk.wikipedia.org › wiki › List_of_undecidable_problems
Шешілмейтін мәселелер тізімі - Уикипедия
жауабы (немесе нәтижесі) «шын» немесе «жалған» болатын шешім мәселесі контекстінде жай ғана есептелмейтінді білдіреді). Есептелмейтін есеп – оны шешу үшін қолданылатын алгоритмі жоқ есеп.
Есептелмейтін мәселелер қандай?
Есептеу теориясында шешілмейтін мәселе иә/жоқ жауабын талап ететін есептеу мәселесінің түрі, бірақ әрқашан дұрыс нәтиже беретін компьютерлік бағдарлама болуы мүмкін емес. жауап беру; яғни кез келген ықтимал бағдарлама кейде қате жауап береді немесе ешбір жауап берместен мәңгі жұмыс істейді.
Есептелмейтін сан дегеніміз не?
Чейтин тұрақтысы – есептелмейтін санның мысалы (шын мәнінде мысалдар тобы). Бұл кездейсоқ жасалған бағдарламаның (белгілі бір үлгіде) тоқтау ықтималдығын білдіреді. Оны шамамен есептеуге болады, бірақ оны еркін дәлдікпен есептеу алгоритмі жоқ (дәлелді).
Қандай мәселеесептелетін?
Математикалық есеп есептеуге болады, егер оны негізінен есептеуіш құрылғы арқылы шешуге болатын болса. «Есептелетін» сөзінің кейбір жалпы синонимдері «шешілетін», «шешілетін» және «рекурсивті» болып табылады. Гильберт барлық математикалық есептерді шешуге болатынына сенді, бірақ 1930 жылдары Годель, Тьюринг және Черч бұлай емес екенін көрсетті.
Бос жиын есептеле ме?
Бос жиын есептелетін. Натурал сандардың барлық жиыны есептелетін болады. Әрбір натурал сан (стандартты жиын теориясында анықталғандай) есептелетін болады; яғни берілген натурал саннан кіші натурал сандар жиыны есептелетін болады.
