ChronoMath, une chronologie des MATHÉMATIQUES
à l'usage des professeurs de mathématiques, des étudiants et des élèves des lycées & collèges

LÖWENHEIM Leopold, allemand, 1878-1957

» Éléments biographiques : CDSB , The MacTutor History of Mathematics archive

Fils d'un professeur de mathématiques, Löwenheim fit ses études secondaires et supérieures à Berlin où il se forma aux mathématiques et aux sciences naturelles. Professeur de mathématiques à l'aube du 20è siècle dans un lycée de Berlin, il s'intéressa à la logique et aux fondements des mathématiques que Cantor avait mis à mal avec les paradoxes issus de sa théorie des ensembles en 1883.

Mobilisé en 1914 lors de la première guerre mondiale, Löwenheim poursuit néanmoins ses recherches et se fait connaître par ses publications à la société mathématique de Berlin.

Inquiété lors de l'avènement du pouvoir nazi, Löwenheim ne quitta cependant pas l'Allemagne et put enseigner après la seconde guerre mondiale dans divers établissements privés. Un grand nombre d'écrits de cet éminent logicien furent malheureusement détruits dans les bombardements alliés en 1943 (son domicile fut touché).

Théorème de Löwenheim :

On doit à Löwenheim un important théorème relatif au calcul des prédicats (Über Möglichkeiten im Relativkalkül, 1915) :

Si F(a,b,c,...) est une formule du premier ordre du calcul des prédicats dépendant de certaines variables a,b,c.., alors : ou bien F (non F) est démontrable, ou bien F peut être satisfaite dans un domaine dénombrable par la détermination appropriée de a,b,c... dans ce domaine.

Ce théorème, basé sur la logique de Schröder, sera généralisé par Skolem en 1919 et complété de nouveau en 1922, le conduisant au paradoxe portant son nom.

»  Herbrand , Skolem , Tarski

 ➔  Pour en savoir plus :

Fréchet  Carmichael
© Serge Mehl - www.chronomath.com