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

Leopold Löwenheim

Logicien et mathématicien allemand (Krefeld 1878-Berlin 1957).

On lui doit surtout deux résultats, publiés en 1915 : la décidabilité du calcul des prédicats monadiques du premier ordre, et un théorème, en vertu duquel toute expression du premier ordre que l'on peut satisfaire dans un domaine infini peut aussi être satisfaite dans un domaine dénombrable (théorème de Löwenheim-Skolem).