| dbo:abstract
|
- Thoralf Skolem (noruec bokmål: Thoralf Albert Skolem) (Sandsvær, 23 de maig de 1887 - Oslo, 23 de març de 1963) fou un matemàtic noruec conegut pels seus treballs en teoria de conjunts i lògica matemàtica. (ca)
- Thoralf Albert Skolem (23. května 1887 – 23. března 1963 Oslo) byl norský matematik, který proslul pracemi v oblasti matematické logiky a teorie množin. (cs)
- Albert Thoralf Skolem (* 23. Mai 1887 in ; † 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 Modelltheorie und Berechenbarkeit. Aber auch zur mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beiträge, wie auch in der Algebra und Zahlentheorie. (de)
- Albert Thoralf Skolem (Sandsvær, 23 maggio 1887 – Oslo, 23 marzo 1963) è stato un matematico norvegese, noto soprattutto per i suoi risultati in logica matematica e in teoria degli insiemi. (it)
- Thoralf Albert Skolem (1887-1963) est 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. (fr)
- Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. (en)
- 토랄프 알베르트 스콜렘(노르웨이어: Thoralf Albert Skolem, 1887–1963, IPA: [ˈtuːɾɑlf ˈskuːləm])은 노르웨이의 수학자다. 수리논리학과 집합론에 공헌하였다. (ko)
- Albert Thoralf Skolem (ur. 23 maja 1887 w Sandsvaer, zm. 23 marca 1963 w Oslo) – norweski matematyk, znany przede wszystkim ze swych prac w dziedzinie logiki matematycznej i teorii mnogości. (pl)
- トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では
* スコーレム標準形
* レーヴェンハイム–スコーレムの定理（ペアノ算術の非可算モデルの存在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。 (ja)
- Albert Thoralf Skolem was een Noorse wiskundige. Zijn belangrijkste werkterrein was de logica. Hij bouwde ook voort op de axiomatische verzamelingenleer van Zermelo, en hij leverde een bijdrage aan de opzet van het semantisch tableau. (nl)
- Thoralf Albert Skolem foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos. (pt)
- Туральф Альберт Скулем (норв. Thoralf Albert Skolem, в ранних переводах транслитерируется как Торальф Сколем; 23 мая 1887, Сансвер — 23 марта 1963, Осло) — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру (теории решёток и колец), теорию чисел (теорию диофантовых уравнений) и философию математики. С его именем связаны одно из ключевых утверждений в теории моделей — теорема Лёвенгейма — Скулема, философско-математический парадокс Скулема, а также в логике первого порядка, теорема Скулема в комбинаторике, — фундаментальный результат в теории . Профессор Университета Осло (1938—1957), президент Норвежского математического общества в 1950-е годы. (ru)
- Ту́ралф А́лберт Ску́лем (норв. Thoralf Albert Skolem, в деяких джерелах Торальф Сколем і Альберт Торальф Сколем; 23 травня 1887, Сандсвар — 23 березня 1963, Осло) — норвезький математик, логік і філософ. Основні праці Скулема стосуються теорії множин, основ математики, математичної логіки, зокрема теорії моделей, також значний внесок зробив у філософію математики, теорію чисел, абстрактну алгебру, комбінаторику. (uk)
|
| rdfs:comment
|
- Thoralf Skolem (noruec bokmål: Thoralf Albert Skolem) (Sandsvær, 23 de maig de 1887 - Oslo, 23 de març de 1963) fou un matemàtic noruec conegut pels seus treballs en teoria de conjunts i lògica matemàtica. (ca)
- Thoralf Albert Skolem (23. května 1887 – 23. března 1963 Oslo) byl norský matematik, který proslul pracemi v oblasti matematické logiky a teorie množin. (cs)
- Albert Thoralf Skolem (* 23. Mai 1887 in ; † 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 Modelltheorie und Berechenbarkeit. Aber auch zur mathematischen Grundlagenforschung wie Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beiträge, wie auch in der Algebra und Zahlentheorie. (de)
- Albert Thoralf Skolem (Sandsvær, 23 maggio 1887 – Oslo, 23 marzo 1963) è stato un matematico norvegese, noto soprattutto per i suoi risultati in logica matematica e in teoria degli insiemi. (it)
- Thoralf Albert Skolem (1887-1963) est 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. (fr)
- Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory. (en)
- 토랄프 알베르트 스콜렘(노르웨이어: Thoralf Albert Skolem, 1887–1963, IPA: [ˈtuːɾɑlf ˈskuːləm])은 노르웨이의 수학자다. 수리논리학과 집합론에 공헌하였다. (ko)
- Albert Thoralf Skolem (ur. 23 maja 1887 w Sandsvaer, zm. 23 marca 1963 w Oslo) – norweski matematyk, znany przede wszystkim ze swych prac w dziedzinie logiki matematycznej i teorii mnogości. (pl)
- トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では
* スコーレム標準形
* レーヴェンハイム–スコーレムの定理（ペアノ算術の非可算モデルの存在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。 (ja)
- Albert Thoralf Skolem was een Noorse wiskundige. Zijn belangrijkste werkterrein was de logica. Hij bouwde ook voort op de axiomatische verzamelingenleer van Zermelo, en hij leverde een bijdrage aan de opzet van het semantisch tableau. (nl)
- Thoralf Albert Skolem foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos. (pt)
- Ту́ралф А́лберт Ску́лем (норв. Thoralf Albert Skolem, в деяких джерелах Торальф Сколем і Альберт Торальф Сколем; 23 травня 1887, Сандсвар — 23 березня 1963, Осло) — норвезький математик, логік і філософ. Основні праці Скулема стосуються теорії множин, основ математики, математичної логіки, зокрема теорії моделей, також значний внесок зробив у філософію математики, теорію чисел, абстрактну алгебру, комбінаторику. (uk)
- Туральф Альберт Скулем (норв. Thoralf Albert Skolem, в ранних переводах транслитерируется как Торальф Сколем; 23 мая 1887, Сансвер — 23 марта 1963, Осло) — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру (теории решёток и колец), теорию чисел (теорию диофантовых уравнений) и философию математики. (ru)
|
