用語集一般用語集>スコーレム【Albert Thoralf Skolem】

一般用語集


スコーレム【Albert Thoralf Skolem】 一般用語集 す


項目 スコーレム【Albert Thoralf Skolem】
意味 (1887-1967) ノルウェーの数学者・論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また,一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。


一般用語集 五十音順