(Undecidable Undecidable Հաշվարկելիության տեսության մեջ անորոշ խնդիրն այն հաշվողական խնդրի մի տեսակ է, որը պահանջում է այո/ոչ պատասխան, բայց որտեղ չի կարող լինել որևէ համակարգչային ծրագիր, որը միշտ տալիս է ճիշտ պատասխանը, այսինքն՝ ցանկացած հնարավոր ծրագիր երբեմն տալիս է սխալ պատասխան կամ աշխատում է ընդմիշտ՝ առանց որևէ պատասխան տալու: https://en.wikipedia.org › wiki › List_of_undecidable_problems
Անորոշ խնդիրների ցանկ - Վիքիպեդիա
պարզապես նշանակում է անհաշվելի որոշման խնդրի համատեքստում, որի պատասխանը (կամ ելքը) կամ «ճշմարիտ» է կամ «կեղծ»): Չհաշվարկվողը խնդիր է, որի համար չկա ալգորիթմ, որը կարող է օգտագործվել այն լուծելու համար:
Որո՞նք են անհաշվելի խնդիրները:
Հաշվարկելիության տեսության մեջ անորոշ խնդիր է համարվում հաշվողական խնդրի տիպը, որը պահանջում է այո/ոչ պատասխան, բայց որտեղ չի կարող լինել որևէ համակարգչային ծրագիր, որը միշտ տալիս է ճիշտը: պատասխան; այսինքն՝ ցանկացած հնարավոր ծրագիր երբեմն տալիս է սխալ պատասխան կամ աշխատում է ընդմիշտ՝ առանց որևէ պատասխան տալու։
Ի՞նչ է անհաշվելի թիվը:
Չայտինի հաստատունը անհաշվելի թվի օրինակ է (իրականում օրինակների ընտանիք): Այն -ը ներկայացնում է հավանականությունը, որ պատահականորեն ստեղծված ծրագիրը (որոշակի մոդելում) կդադարեցվի: Այն կարելի է մոտավորապես հաշվարկել, բայց կամայական ճշգրտությամբ այն հաշվարկելու ալգորիթմ (հավանաբար) չկա։
Ո՞րն է խնդիրըհաշվարկելի?
Մաթեմատիկական խնդիրը -ը հաշվարկելի է, եթե այն կարող է սկզբունքորեն լուծվել հաշվողական սարքի միջոցով: «Հաշվարկելի»-ի որոշ ընդհանուր հոմանիշներ են՝ «լուծելի», «որոշելի» և «ռեկուրսիվ»: Հիլբերտը կարծում էր, որ բոլոր մաթեմատիկական խնդիրները լուծելի են, բայց 1930-ականներին Գոդելը, Թյուրինգը և Չերչը ցույց տվեցին, որ դա այդպես չէ:
Դատարկ հավաքածուն հաշվարկելի՞ է:
Դատարկ հավաքածուն հաշվարկելի է: Բնական թվերի ամբողջությունը հաշվելի է։ Յուրաքանչյուր բնական թիվ (ինչպես սահմանված է ստանդարտ բազմությունների տեսության մեջ) հաշվարկելի է. այսինքն՝ տրված բնական թվից փոքր բնական թվերի բազմությունը հաշվելի է։