formal reasoning began philosophers mathematicians antiquity study mathematical logic led directly alan turing 's theory computation suggested machine shuffling symbols simple could simulate conceivable act mathematical deduction insight digital computers simulate process formal reasoning known church turing thesis church turing thesis along concurrent discoveries neurobiology information theory cybernetics led researchers consider possibility building electronic brain first work generally recognized ai mccullouch
Formal science Computer science Artificial intelligence