Réponse:
Son modèle a contribué à établir la thèse de Church, qui définit le concept mathématique intuitif de fonction calculable. ... Après la guerre, il travaille sur un des tout premiers ordinateurs, puis contribue au débat sur la possibilité de l'intelligence artificielle, en proposant le test de Turing.
