Alonzo Church

Logicien américain (Washington 1903-Hudson, Ohio, 1995).

Il a établi l'indécidabilité du calcul des prédicats du premier ordre. Sa logique combinatoire permet de démontrer que certains substituts formels de la calculabilité sont équivalents à la notion de récursivité générale. Il a écrit une Introduction à la logique mathématique (1944).