スコーレム[Albert Thoralf Skolem]

(1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。

单词	スコーレム[Albert Thoralf Skolem]
释义	スコーレム[Albert Thoralf Skolem] (1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。
随便看	蚊蚊の姥蚊取り線香蚊屋蚊帳蚊帳·蚊屋蚊帳吊草蚊帳吊草·莎草蚊帳吊草科蚊柱蚊燻し蚊絶やし蚊蜻蛉蚊遣り蚊遣り火蚊針蚊鉤蚊鉤·蚊針蚊雷蚊食い鳥蚋蚕蚕の蛆蠅蚕卵紙蚕室