وقد وصف مبدا الحاسوب الحديث لاول مرة من قبل عالم الرياضيات وعالم الحاسوب الرائد الان تورينج, الذي حدد الفكرة في ورقته الاساسية لعام 1936, على الارقام المحوسب. وقد قام تورينج باعادة صياغة نتائج كورت غودل لعام 1931 على حدود الدليل والحساب, واستبدل لغة غودل الرسمية العالمية القائمة على الحساب مع الاجهزة الافتراضية الرسمية والبساطة التي اصبحت تعرف باسم الات تورينج. وقد اثبت ان بعض هذه الالة ستكون قادرة على اداء اي حساب رياضي يمكن تصورها اذا تم representableها بوصفها خوارزمية. وذهب الى اثبات انه لم يكن هناك اي حل ل ال من خلال اظهار ان مشكلة التوقف بالنسبة لالات تورينج هي معضلة: بشكل عام, من غير الممكن ان تقرر ما اذا كانت الة تورينج ستتوقف على الاطلاق.
من كتب ورقة "على ارقام المحوسب"?
الان تورينج