من مكتشف الحاسوب؟
تشارلز بابيج (26 ديسمبر 1791 - 18 أكتوبر 1871)[1] عالم رياضي وفيلسوف ومخترع ومهندس ميكانيكي بريطاني الذي بدأ مفهومَ الحاسوب القابل للبرمجة، درس في جامعة كمبردج وهو صمم أول حاسبة وأسماها مكنة الفروق (Difference Engine). وعلى الرغم من أنها لم تستخدم إلا أن فكرتها كانت أساس اختراع الحاسوب. نال منحة من الحكومة من أجل تطوير تصميمه، وقد أنفق تلك المنحة مع جزء من ثروته ونجح باختراع آلة أفضل تضارع الحاسبات الحديثة. لكنه توفي دون إكمال آلتيه. يعتبر بابيج بمثابة مخترع الحاسوب الميكانيكي.
الحاسوبية هي القدرة على حل مشكلة ما بطريقة فعاله. وهي الموضوع الرئيسي لمجال نظرية الحاسوبية في المنطق الرياضي ونظرية الحساب في علوم الحاسوب. حاسوبية المشكلة ترتبط بشدة بوجود خوارزمية لحل المشكلة.
إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله. توجد أيضاً أشكال أخرى من الحاسوبية تتم دراستها: مفاهيم الحاسوبية الأضعف من آلات تورنغ تتم دراستهم في نظرية التشغيل الذاتي، بينما مفاهيم الحاسوبية الأقوى من آلات تورنغ تتم دراستهم في مجال الحساب الأعلى.