Skolem

Skolem

Thoralf Skolem

Thoralf Albert Skolem (23 mai 1887 - 23 mars 1963) était un mathématicien et logicien norvégien.

Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation.

Sommaire

Biographie

Entré à l'université de Kristiania, il suit des cours de mathématiques, physique, chimie, zoologie et botanique. Ses premières publications sont en physique, à l'époque où il était assistant de Kristian Birkeland. Il n'a pas soutenu de thèse avant 1926, ne la jugeant pas indispensable en Norvège. Son seul doctorant fut d'ailleurs Øystein Ore, soutenant sa thèse en 1924, soit 2 ans avant son directeur.

Il se marie avec Edith Wilhelmine Hasvold en 1927.

Travaux

Skolem fut parmi les premiers à travailler sur les treillis, décrivant un treillis distributif libre engendré par n éléments en 1912.

C'est un pionner de la théorie des modèles. En 1920, il donne une nouvelle preuve à un théorème que Leopold Löwenheim avait établi 5 ans plus tôt : c'est le théorème de Löwenheim-Skolem (descendant), qui établit que toute théorie (du premier ordre) ayant un modèle infini en a un dénombrable. Sa preuve utilise alors l'axiome du choix, mais il en donne plus tard d'autres utilisant plutôt le lemme de König. Ceci soumet le système d'axiomes de Zermelo au paradoxe de Skolem[1].

Il participa également à la construction de modèles non standard.

Liens externes

Notes

  1. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre
  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Thoralf Skolem ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Skolem de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • SKOLEM (A. T.) — SKOLEM ALBERT THORALF (1887 1963) Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p adiques …   Encyclopédie Universelle

  • Skolem —   [ skuː ], Albert Thoralf, norwegischer Mathematiker, * Sandsvær (Provinz Buskerud) 23. 5. 1887, ✝ Oslo 23. 3. 1963; Professor in Oslo (1938 57); frühe Arbeiten galten der Zahlentheorie und diophantischen Gleichungen. Ab 1919 wandte sich Skolem… …   Universal-Lexikon

  • Skolem — Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen… …   Deutsch Wikipedia

  • skolemælk — sko|le|mælk sb., en, i sms. skolemælks , fx skolemælksordning …   Dansk ordbog

  • Skolem's paradox — is the mathematical fact that every countable axiomatisation of set theory in first order logic, if consistent, has a model that is countable, even if it is possible to prove, from those same axioms, the existence of sets that are not countable.… …   Wikipedia

  • Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… …   Wikipedia

  • Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… …   Deutsch Wikipedia

  • Skolem , Thoralf Albert — (1887–1963) Norwegian mathematician The son of a teacher, Skolem was born at Sandsvaer in Norway and educated at the University of Oslo. He joined the faculty in 1911 and was appointed professor of mathematics in 1938, a post he held until his… …   Scientists

  • Skolem–Noether theorem — In mathematics, the Skolem–Noether theorem, named after Thoralf Skolem and Emmy Noether, is an important result in ring theory which characterizes the automorphisms of simple rings. The theorem was first published by Skolem in 1927 in his paper… …   Wikipedia

  • Skolem hull — A Skolem hull is a construction from mathematical logic. Given a structure S (with some set of properties and relations) the Skolem hull of S is the smallest elementary substructure of S . More precisely, for any existential formula (without… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”