١٩٣٦ - يبتكر عالم الرياضيات والمنطق الإنجليزي "آلان تيرنغ" آلة تيرنغ الإفتراضية، والتي تستخدم لتحديد إمكانية حل مسألة رياضية بواسطة الحاسوب من عدمه. كما ينشر بعد سنة بحثا يضمنه نظرية رياضية في الحساب بعنوان "حول الأعداد القابلة للحساب".
معلمة maalama.com