در سال ۱۹۳۰ تورینگ, چرچ و گودل کشف کردند که برخی از مسائل پایه ای ریاضی با کامپیوتر قابل حل نیستند. این موضوع میتواند قدری عجیب باشد چون کامپیوتر ها در سال ۱۹۴۰ اختراع شدند❕

{گام اول در علوم کامپیوتر و درک معنی محاسبات (Computation) جواب به این سوال بود که آیا همه مسائل ریاضی را می توان به روش سیستماتیک حل کرد؟ که در پی کشف این سوال کامپیوتر ساخته شد.}