وتُبنى الرياضيات على المنطق، فانطلاقا بفرضيات قُبلت على نطاق واسع، استخدم وتستخدم نماذج الحاسوب هذه مجموعة من الصيغ لمعرفة مدى التأثير الذي قد يحدثه تغير في م قدم أَلانْ تُورنْج وصفًا لــ quot آلة تَورنج quot وهي حاسوب آلي تخيلي يمكن أن يقوم بحل واستخدم دانيال بن يوهان الرياضيات لدراسة حركة الموائع وخواص اهتزاز الأوتار