Չայտինի հաստատունը անհաշվելի թվի օրինակ է (իրականում օրինակների ընտանիք): Այն -ը ներկայացնում է հավանականությունը, որ պատահականորեն ստեղծված ծրագիրը (որոշակի մոդելում) կդադարեցվի: Այն կարելի է մոտավորապես հաշվարկել, բայց կամայական ճշգրտությամբ այն հաշվարկելու ալգորիթմ (հավանաբար) չկա։
Ի՞նչն է դարձնում թիվը հաշվարկելի:
Հաշվարկելի թիվը թիվ է, որը կարող է հաշվարկվել վերջավոր համակարգչային ծրագրի միջոցով: Բոլոր այն թվերը, որոնց մասին երբևէ լսել եք, օրինակ՝ 3, √2, π, e և այլն, հաշվարկելի են: Որոշ թվեր (ինչպես π) ներկայացված են չկրկնվող թվերի անսահման շարանով։
Ի՞նչ է նշանակում անհաշվելի:
Չհաշվարկվողը խնդիր է, որի համար չկա ալգորիթմ, որը կարող է օգտագործվել այն լուծելու համար: Անհաշվելիության (կամ անորոշելիության) ամենահայտնի օրինակը կասեցման խնդիրն է:
Կա՞ն անհաշվելի թվեր:
Գոյություն ունեն ոչ միայն ոչ հաշվելի թվեր, այլ իրականում դրանք շատ ավելի առատ են, քան հաշվարկելի թվերը: Շատ ու շատ իրական թվեր ուղղակի թվացյալ պատահական թվանշանների անսահման հաջորդականություններ են՝ առանց օրինաչափության կամ հատուկ հատկության: … Որպես այդպիսի օրինակ, դիտարկեք այն թիվը, որի մասը տասնորդական կետից առաջ 0 է:
Արդյո՞ք իրական թվերը հաշվարկելի են:
Իրական թիվը հաշվելի է, եթե և միայն այն դեպքում, եթե բնական թվերի բազմությունը, որը նա ներկայացնում է(երբ գրված է երկուական տարբերակով և դիտվում է որպես բնորոշ ֆունկցիա) հաշվելի է: Յուրաքանչյուր հաշվարկելիթիվը թվաբանական է։
