Հաշվարկելի թվեր

Իրական ${\displaystyle x}$  թիվը կոչվում է հաշվարկելի^[1], եթե գոյություն ունի ալգորիթմ, ինչը թույլ է տալիս յուրաքանչյուրին ${\displaystyle n\in P}$  հաշվել երկուական կոտորակ ՝ վերջավոր թվով քայլերով ${\displaystyle a={\frac {k}{2^{r}}},\ k\in \mathbb {Z} ,\ r\in \mathbb {N} }$ , այնպես որ ${\displaystyle |x-a|<2^{-n}}$ .

• Հաշվարկելի թվերի գումարը, տարբերությունը և արտադրյալը հաշվարկելի են։
• հաշվարկելի ֆունկցիա ռացիոնալ թվերը պարտադիր չէ հաշվարկելի լինի (բայց միշտ հանդիսանում է 0′-հաշվարկելի)
• Գոյություն ունի ընտրություն հաշվարկվող ենթաբազմությունների միջև ${\displaystyle S\subset P}$  և հաշվարկելի իրական թվեր ${\displaystyle x\in [0,1]}$ ^[1]։