トアルフ・スコーレム

thumb
トアルフ・スコーレム（Albert Thoralf Skolem 、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。

数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では
スコーレム標準形
レーヴェンハイム–スコーレムの定理（ペアノ算術の非可算モデルの存在証明?）
が挙げられる。また、数学においては
P進数法
などの業績を挙げた。

 関連項目 
 ラマヌジャン・スコーレムの定理
 レーヴェンハイム–スコーレムの定理

*
Category:19世紀ノルウェーの哲学者
Category:20世紀ノルウェーの哲学者
870523
-870523
Category:19世紀の論理学者
Category:20世紀の論理学者
Category:ノルウェーの数学者
Category:ノルウェーの論理学者
Category:数理論理学者
Category:モデル理論研究者
Category:オスロ大学の教員
Category:1887年生
Category:1963年没
Category:数学に関する記事