一般用語集

  2. 用語集
  3. 一般用語集
  4. す

一般用語集

す

スコーレム【Albert Thoralf Skolem】

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