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