ما هو تعريف الحَاسُوب؟
الحَاسُوب[1][2] هو آلة إلكترونية لها قابلية استقبال البيانات ومعالجتها إلى معلومات ذات قيمة يخزنها في وسائط تخزين مختلفة، وفي الغالب يكون قادراً على تبادل هذه النَتَائِج والمعلومات مع أجهزة أخرى متوافقة. وتستطيع أسرع الحواسيب في يومنا هذا القيام بمئات بلايين العمليات الحسابية والمنطقية في ثوانٍ قليلة. وتشغل الحواسيب برمجيات خاصة تسمى أنظمة التشغيل، فمن دونها يكون الحاسوب قطعة جامدة، وتبين أنظمة التشغيل للحاسوب كيفية تنفيذ المهام كما أنها في الغالب توفر بيئة للمبرمجين ليطوروا عليه تطبيقاتهم. إن هذا التعريف يبين الخطأ الشائع بين الناس من أن الحواسيب فقط هي تلك التي تعمل تحت بيئة ويندوز، وماكينتوش، ولينكس.
فكرة حاسوبية الدالة هذه يمكن أن تكون نسبية لمجموعة تعسفية من الأرقام الطبيعية "أ" 
الدالة د تعرف على أنها الحسابية في "أ" (ويساوي: أ" –الحسابي، أو نسبي بالنسبة إلى "أ") عندما ترضي التعريف الخاص بالدالة الحاسوبية مع المعدلات التي تسمح بالوصول إلى "أ" كأوراكل. طبقاً لمفهوم الدالة الحسابية يمكن إعطاء الدالة الحسابية النسبية تعريفات مساويه على العديد من النماذج المختلفة للحساب . وهذا عادةً ينفذ عن طريق إلحاق نموذج الحساب بعمليات أصلية إضافية والتي تسأل ما إذا كان عدد صحيح معين هو عنصر في "أ" . يمكننا أيضاً الحديث عن د وكونها حسابية في ت عن طريق تعريف ت برسمها البياني .