(გადაუდებელი გადაუჭრელი გამოთვლების თეორიაში, გადაუჭრელი პრობლემა არის გამოთვლითი პრობლემის ტიპი, რომელიც მოითხოვს დიახ/არა პასუხს, მაგრამ სადაც არ შეიძლება იყოს რაიმე კომპიუტერული პროგრამა, რომელიც ყოველთვის იძლევა სწორ პასუხს; ანუ, ნებისმიერი შესაძლო პროგრამა ხანდახან არასწორ პასუხს გასცემს ან სამუდამოდ მუშაობს ყოველგვარი პასუხის გაცემის გარეშე.
გადაუწყვეტელი პრობლემების სია - ვიკიპედია
უბრალოდ ნიშნავს არაგამოთვლას გადაწყვეტილების პრობლემის კონტექსტში, რომლის პასუხი (ან გამომავალი) არის ან "ჭეშმარიტი" ან "მცდარი"). გამოთვლადი არის პრობლემა, რომლის გადასაჭრელადაც არ არსებობს ალგორითმი.
რა არის გამოუთვლელი პრობლემები?
გამოთვლების თეორიაში, გადაუჭრელი პრობლემა არის ტიპის გამოთვლითი პრობლემა, რომელიც მოითხოვს დიახ/არა პასუხს, მაგრამ სადაც არ შეიძლება იყოს რაიმე კომპიუტერული პროგრამა, რომელიც ყოველთვის იძლევა სწორს. პასუხი; ანუ, ნებისმიერი შესაძლო პროგრამა ხანდახან არასწორ პასუხს გასცემდა ან სამუდამოდ იმუშავებდა პასუხის გაცემის გარეშე.
რა არის გამოუთვლელი რიცხვი?
ჩაიტინის მუდმივი არის არაგამოთვლითი რიცხვის მაგალითი (ფაქტობრივად მაგალითების ოჯახი). ეს წარმოადგენს ალბათობას, რომ შემთხვევით გენერირებული პროგრამა (გარკვეულ მოდელში) შეჩერდება. მისი გამოთვლა შესაძლებელია დაახლოებით, მაგრამ არ არსებობს (დასამტკიცებლად) ალგორითმი მისი თვითნებური სიზუსტით გამოსათვლელად.
რომელი პრობლემააგამოთვლადი?
მათემატიკური ამოცანა გამოთვლადია, თუ მისი გადაჭრა პრინციპში შესაძლებელია გამოთვლითი მოწყობილობის მიერ. ზოგიერთი საერთო სინონიმი "გამოთვლადი" არის "გადასაწყვეტი", "გადაწყვეტადი" და "რეკურსიული". ჰილბერტს სჯეროდა, რომ ყველა მათემატიკური ამოცანა ამოსახსნელია, მაგრამ 1930-იან წლებში გოდელმა, ტურინგმა და ჩერჩმა აჩვენეს, რომ ეს ასე არ არის.
არის ცარიელი ნაკრები?
ცარიელი ნაკრები არის გამოთვლითი. ნატურალური რიცხვების მთელი ნაკრები გამოთვლადია. თითოეული ნატურალური რიცხვი (როგორც განსაზღვრულია სტანდარტული სიმრავლეების თეორიაში) გამოთვლადია; ანუ მოცემულ ნატურალურ რიცხვზე ნაკლები ნატურალური რიცხვების სიმრავლე გამოთვლადია.
