En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

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).