أعداد قابلة للحساب

في الرياضيات، الأعداد القابلة للحساب (بالإنجليزية : Computable Numbers) هي الأعداد الحقيقية التي يمكن حسابها إلى أي دقة مُرادة بواسطة خوارزمية منتهية و محدودة. تُعرف أيضًا باسم الأعداد العودية.

يمكن إعطاء تعريفات مشابهة باستخدام آلات تورنغ أو تكامل لامدا كتمثيل رسمي للخوارزميات. تشكل الأعداد القابلة للحساب حقلاً حقيقيًا مغلقا ويمكن استخدامها بدلاً من الأعداد الحقيقية للعديد من الأغراض الرياضية.

تعريف غير رسمي باستخدام آلة تورينغ كمثال 
في ما يلي، يعرف مارفن مينسكي الأعداد التي يمكن حسابها بطريقة مشابهة لتلك التي عرفها بها آلان تورنغ في عام 1936 ؛ أي، كـ «تسلسل من الأعداد يتم التعامل معه على أنه كسور عشرية» بين 0 و 1: العدد القابل للحساب [هو] العدد الذي توجد له آلة تورينج، بحيث يتم إعطاؤها  على شريطها الأولي، وتعطي الرقم النوني  من ذلك الرقم [مشفراً على شريطها].

تعريف رسمي 
يقال عن عدد حقيقي  أنه قابل للحساب، إذا كان يمكن حساب قيمة تقديرية له عن طريق الدوال القابلة للحساب  بالطريقة التالية: بالنظر إلى أي عدد صحيح موجب ، تعطي الدالة  عددًا صحيحًا بحيث :

 

هناك تعريفان متشابهان، بحيث أنه إذا كان العدد  قابلاً للحساب، فإنه يستوفي أحد هذه الشرطين :

 توجد دالة قابلة للحساب بحيث، بالنظر إلى أي عدد كسري موجب  (يطلق على هذا العدد خطأ التقريب)، تعطي هذه الدالة عددًا كسرياً  بحيث 
 هناك متتالية قابلة للحساب من الأعداد الكسرية  تتقارب ل ، بحيث لكل  .

هناك تعريف آخر مكافئ للتعريفين السابقين، للأعداد القابلة للحساب عبر حد ديدكايند القابل للحساب. حد ديدكايند القابل للحساب هي دالة قابلة للحساب، يرمز لها ب والتي عند إعطائها عدد كسري  تقوم بإخراج تعبيرين (صحيح أو خاطئ)  أو .

الخصائص

الإستخادم عوضا عن الأعداد الحقيقية

المراجع 

النظرية الحسابية
نظرية قابلية الحساب