トアルフ・スコーレム

スコーレムから転送)

トアルフ・スコーレム(Albert Thoralf Skolem [ˈtùːrɑɫf ˈskùːlɛm]1887年5月23日 - 1963年3月23日)は、ノルウェー数学者オスロ大学代数学自然数論を講義した。

数理論理学数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では

が挙げられる。また、数学においては

などの業績を挙げた。

関連項目

編集