| Birthplace
|
http://dbpedia.org/resource/Sandsv%C3%A6r +
, http://dbpedia.org/resource/Norway +
|
| http://dbpedia.org/ontology/abstract
|
Albert Thoralf Skolem (* 23. Mai 1887 in ; … 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.wie auch in der Algebra und Zahlentheorie.
, トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf … トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では
* スコーレム標準形
* レーヴェンハイム–スコーレムの定理（ペアノ算術の非可算モデルの存在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。
, 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.
, Thoralf Albert Skolem foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
, Ту́ралф А́лберт Ску́лем (норв. Thoralf Alb … Ту́ралф А́лберт Ску́лем (норв. Thoralf Albert Skolem, в деяких джерелах Торальф Сколем і Альберт Торальф Сколем; 23 травня 1887, Сандсвар — 23 березня 1963, Осло) — норвезький математик, логік і філософ. Основні праці Скулема стосуються теорії множин, основ математики, математичної логіки, зокрема теорії моделей, також значний внесок зробив у філософію математики, теорію чисел, абстрактну алгебру, комбінаторику. чисел, абстрактну алгебру, комбінаторику.
, 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.
, 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.
, 토랄프 알베르트 스콜렘(노르웨이어: Thoralf Albert Skolem, 1887–1963, IPA: [ˈtuːɾɑlf ˈskuːləm])은 노르웨이의 수학자다. 수리논리학과 집합론에 공헌하였다.
, 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.
, 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.
, 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.
, Thoralf Albert Skolem (1887-1963) est un m … 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.heim-Skolem ou la notion de skolémisation.
, Туральф Альберт Скулем (норв. Thoralf Albe … Туральф Альберт Скулем (норв. Thoralf Albert Skolem, в ранних переводах транслитерируется как Торальф Сколем; 23 мая 1887, Сансвер — 23 марта 1963, Осло) — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру (теории решёток и колец), теорию чисел (теорию диофантовых уравнений) и философию математики. С его именем связаны одно из ключевых утверждений в теории моделей — теорема Лёвенгейма — Скулема, философско-математический парадокс Скулема, а также в логике первого порядка, теорема Скулема в комбинаторике, — фундаментальный результат в теории . Профессор Университета Осло (1938—1957), президент Норвежского математического общества в 1950-е годы.го математического общества в 1950-е годы.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematician +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Oslo_University +
|
| http://dbpedia.org/ontology/birthDate
|
"1887-05-23"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"1963-03-23"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Norway +
, http://dbpedia.org/resource/Oslo +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Axel_Thue +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/%C3%98ystein_Ore +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Skolem%E2%80%93Noether_theorem +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
|
| http://dbpedia.org/ontology/residence
|
http://dbpedia.org/resource/Norway +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/ThoralfSkolem-OB.F06426c.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.hf.uio.no/ifikk/forskning/publikasjoner/tidsskrifter/njpl/vol1no2/skobio.pdf +
, http://matwbn.icm.edu.pl/ksiazki/fm/fm23/fm23115.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
453765
|
| http://dbpedia.org/ontology/wikiPageLength
|
11686
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121192841
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Non-standard_model_of_arithmetic +
, http://dbpedia.org/resource/Norwegian_Academy_of_Science_and_Letters +
, http://dbpedia.org/resource/Infinity +
, http://dbpedia.org/resource/Presburger_arithmetic +
, http://dbpedia.org/resource/Bergen%2C_Norway +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Skolem%27s_paradox +
, http://dbpedia.org/resource/Skolem_normal_form +
, http://dbpedia.org/resource/Chr._Michelsen_Institute +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Norway +
, http://dbpedia.org/resource/Det_Kongelige_Frederiks_Universitet +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Category:20th-century_Norwegian_philosophers +
, http://dbpedia.org/resource/Diophantine_equations +
, http://dbpedia.org/resource/University_of_Oslo +
, http://dbpedia.org/resource/Ernst_Schr%C3%B6der_%28mathematician%29 +
, http://dbpedia.org/resource/Hao_Wang_%28academic%29 +
, http://dbpedia.org/resource/University_of_G%C3%B6ttingen +
, http://dbpedia.org/resource/Skolem_problem +
, http://dbpedia.org/resource/Zodiacal_light +
, http://dbpedia.org/resource/Aurora_%28astronomy%29 +
, http://dbpedia.org/resource/Physics +
, http://dbpedia.org/resource/Abstract_algebra +
, http://dbpedia.org/resource/K%C5%91nig%27s_lemma +
, http://dbpedia.org/resource/Skolem_lattice +
, http://dbpedia.org/resource/Implicative_lattice +
, http://dbpedia.org/resource/Emmy_Noether +
, http://dbpedia.org/resource/Skolem_sequence +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Kristian_Birkeland +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/%C3%98ystein_Ore +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Kristiania +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Finitism +
, http://dbpedia.org/resource/Metamathematics +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Zoology +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Empirical_evidence +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Fundamenta_Mathematicae +
, http://dbpedia.org/resource/Sandsv%C3%A6r +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Skolem_arithmetic +
, http://dbpedia.org/resource/G%C3%B6del%27s_completeness_theorem +
, http://dbpedia.org/resource/Chemistry +
, http://dbpedia.org/resource/Distributive_lattice +
, http://dbpedia.org/resource/Peano +
, http://dbpedia.org/resource/Principia_Mathematica +
, http://dbpedia.org/resource/Leopold_L%C3%B6wenheim +
, http://dbpedia.org/resource/Jean_van_Heijenoort +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
, http://dbpedia.org/resource/Category:Set_theorists +
, http://dbpedia.org/resource/Consistent +
, http://dbpedia.org/resource/Lattice_theory +
, http://dbpedia.org/resource/Electron +
, http://dbpedia.org/resource/Oslo_University +
, http://dbpedia.org/resource/Axel_Thue +
, http://dbpedia.org/resource/Jens_Erik_Fenstad +
, http://dbpedia.org/resource/Group_theory +
, http://dbpedia.org/resource/Botany +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Category:Model_theorists +
, http://dbpedia.org/resource/Skolem%E2%80%93Noether_theorem +
, http://dbpedia.org/resource/Charles_Sanders_Peirce +
, http://dbpedia.org/resource/Category:1963_deaths +
, http://dbpedia.org/resource/Principles_of_Mathematical_Logic +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Bergen +
, http://dbpedia.org/resource/Category:Norwegian_logicians +
, http://dbpedia.org/resource/Prime_number +
, http://dbpedia.org/resource/G%C3%B6del +
, http://dbpedia.org/resource/Category:Lattice_theorists +
, http://dbpedia.org/resource/Skolem%E2%80%93Mahler%E2%80%93Lech_theorem +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Category:1887_births +
, http://dbpedia.org/resource/Oslo +
, http://dbpedia.org/resource/Primitive_recursion +
, http://dbpedia.org/resource/Category:Norwegian_mathematicians +
, http://dbpedia.org/resource/Automorphisms +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Oslo_University +
|
| http://dbpedia.org/property/birthDate
|
"1887-05-23"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Sandsv%C3%A6r +
, http://dbpedia.org/resource/Norway +
|
| http://dbpedia.org/property/deathDate
|
"1963-03-23"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Oslo, Norway
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Axel_Thue +
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/%C3%98ystein_Ore +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Mathematician +
|
| http://dbpedia.org/property/imageUpright
|
0.8
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Skolem%E2%80%93Noether_theorem +
, http://dbpedia.org/resource/L%C3%B6wenheim%E2%80%93Skolem_theorem +
|
| http://dbpedia.org/property/name
|
Thoralf Skolem
|
| http://dbpedia.org/property/nationality
|
Norwegian
|
| http://dbpedia.org/property/residence
|
Norway
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:MacTutor_Biography +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:IPA-no +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Oslo_University +
, http://dbpedia.org/resource/Chr._Michelsen_Institute +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1963_deaths +
, http://dbpedia.org/resource/Category:20th-century_Norwegian_philosophers +
, http://dbpedia.org/resource/Category:1887_births +
, http://dbpedia.org/resource/Category:Norwegian_mathematicians +
, http://dbpedia.org/resource/Category:Norwegian_logicians +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:Model_theorists +
, http://dbpedia.org/resource/Category:Set_theorists +
, http://dbpedia.org/resource/Category:Lattice_theorists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/59868919 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Thoralf_Skolem?oldid=1121192841&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/ThoralfSkolem-OB.F06426c.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Thoralf_Skolem +
|
| http://xmlns.com/foaf/0.1/name
|
Thoralf Skolem
|
| owl:sameAs |
http://he.dbpedia.org/resource/%D7%AA%D7%95%D7%A8%D7%90%D7%9C%D7%A3_%D7%A1%D7%A7%D7%95%D7%9C%D7%9D +
, http://www.wikidata.org/entity/Q548080 +
, http://tr.dbpedia.org/resource/Thoralf_Skolem +
, http://pl.dbpedia.org/resource/Thoralf_Skolem +
, https://dblp.org/pid/149/8801 +
, http://dbpedia.org/resource/Thoralf_Skolem +
, http://no.dbpedia.org/resource/Thoralf_Skolem +
, http://sl.dbpedia.org/resource/Albert_Thoralf_Skolem +
, http://arz.dbpedia.org/resource/%D8%AB%D9%88%D8%B1%D8%A7%D9%84%D9%81_%D8%B3%D9%83%D9%88%D9%84%D9%8A%D9%85 +
, http://ja.dbpedia.org/resource/%E3%83%88%E3%82%A2%E3%83%AB%E3%83%95%E3%83%BB%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0 +
, http://nn.dbpedia.org/resource/Thoralf_Skolem +
, http://uk.dbpedia.org/resource/%D0%A2%D1%83%D1%80%D0%B0%D0%BB%D1%84_%D0%A1%D0%BA%D1%83%D0%BB%D0%B5%D0%BC +
, http://rdf.freebase.com/ns/m.02bds6 +
, http://sk.dbpedia.org/resource/Thoralf_Skolem +
, http://sr.dbpedia.org/resource/%D0%A2%D1%83%D1%80%D0%B0%D0%BB%D1%84_%D0%A1%D0%BA%D1%83%D0%BB%D0%B5%D0%BC +
, http://d-nb.info/gnd/117725447 +
, http://ca.dbpedia.org/resource/Thoralf_Skolem +
, http://data.bibliotheken.nl/id/thes/p072506911 +
, http://pt.dbpedia.org/resource/Thoralf_Skolem +
, https://global.dbpedia.org/id/4jzLK +
, http://sw.cyc.com/concept/Mx4rwOycOpwpEbGdrcN5Y29ycA +
, http://nl.dbpedia.org/resource/Thoralf_Skolem +
, http://hy.dbpedia.org/resource/%D4%B9%D5%B8%D6%82%D6%80%D5%A1%D5%AC%D6%86_%D5%8D%D6%84%D5%B8%D6%82%D5%AC%D5%A5%D5%B4 +
, http://yago-knowledge.org/resource/Thoralf_Skolem +
, http://fr.dbpedia.org/resource/Thoralf_Skolem +
, http://fa.dbpedia.org/resource/%D8%AA%D9%88%D8%B1%D8%A7%D9%84%D9%81_%D8%A7%D8%B3%DA%A9%D9%88%D9%84%D9%85 +
, http://viaf.org/viaf/59868919 +
, http://cs.dbpedia.org/resource/Thoralf_Skolem +
, http://it.dbpedia.org/resource/Albert_Thoralf_Skolem +
, http://de.dbpedia.org/resource/Albert_Thoralf_Skolem +
, http://ru.dbpedia.org/resource/%D0%A1%D0%BA%D1%83%D0%BB%D0%B5%D0%BC%2C_%D0%A2%D1%83%D1%80%D0%B0%D0%BB%D1%8C%D1%84 +
, http://ko.dbpedia.org/resource/%ED%86%A0%EB%9E%84%ED%94%84_%EC%8A%A4%EC%BD%9C%EB%A0%98 +
, http://pms.dbpedia.org/resource/Thoralf_Albert_Skolem +
|
| rdf:type |
http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatNorwegianLogicians +
, http://dbpedia.org/class/yago/WikicatNorwegianPeople +
, http://dbpedia.org/class/yago/WikicatNorwegianPhilosophers +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/WikicatMathematicalLogicians +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q901 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatLatticeTheorists +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/WikicatNorwegianMathematicians +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatModelTheorists +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/WikicatSetTheorists +
|
| rdfs:comment |
トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf … トアルフ・スコーレム（Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では
* スコーレム標準形
* レーヴェンハイム–スコーレムの定理（ペアノ算術の非可算モデルの存在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。在証明?） が挙げられる。また、数学においては
* P進数法 などの業績を挙げた。
, Thoralf Albert Skolem foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
, 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.
, 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.
, Ту́ралф А́лберт Ску́лем (норв. Thoralf Alb … Ту́ралф А́лберт Ску́лем (норв. Thoralf Albert Skolem, в деяких джерелах Торальф Сколем і Альберт Торальф Сколем; 23 травня 1887, Сандсвар — 23 березня 1963, Осло) — норвезький математик, логік і філософ. Основні праці Скулема стосуються теорії множин, основ математики, математичної логіки, зокрема теорії моделей, також значний внесок зробив у філософію математики, теорію чисел, абстрактну алгебру, комбінаторику. чисел, абстрактну алгебру, комбінаторику.
, 토랄프 알베르트 스콜렘(노르웨이어: Thoralf Albert Skolem, 1887–1963, IPA: [ˈtuːɾɑlf ˈskuːləm])은 노르웨이의 수학자다. 수리논리학과 집합론에 공헌하였다.
, 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.
, Albert Thoralf Skolem (* 23. Mai 1887 in ; … 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.wie auch in der Algebra und Zahlentheorie.
, Туральф Альберт Скулем (норв. Thoralf Albe … Туральф Альберт Скулем (норв. Thoralf Albert Skolem, в ранних переводах транслитерируется как Торальф Сколем; 23 мая 1887, Сансвер — 23 марта 1963, Осло) — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру (теории решёток и колец), теорию чисел (теорию диофантовых уравнений) и философию математики.антовых уравнений) и философию математики.
, 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.
, Thoralf Albert Skolem (1887-1963) est un m … 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.heim-Skolem ou la notion de skolémisation.
, 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.
, 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.
|
| rdfs:label |
Thoralf Skolem
, Скулем, Туральф
, Albert Thoralf Skolem
, 토랄프 스콜렘
, トアルフ・スコーレム
, Туралф Скулем
|
