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

一般用語集

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

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