پروژهٔ منطقی کردن ریاضیات و ریاضیاتی کردن منطق در سالهای آتی صورتهای مختلفی به خود گرفت. اما آنچه علومِ شناختی در این میان به دست آورد، این نکته بسیار مهم و هیجانانگیز بود که گزارههای منطق یا تفکر را میتوان به فرمانهای محاسباتی برگرداند. اگر ماشینها بتوانند فرمانهای محاسباتی را اجرا کنند و اگر بتوان گزارههای منطقی را به فرمانهای محاسباتی برگرداند، آنگاه میتوان ماشینهایی را طراحی کرد که قابلیت فکر کردن دارند.