スコーレム[Albert Thoralf Skolem]

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

单词	スコーレム[Albert Thoralf Skolem]
释义	スコーレム[Albert Thoralf Skolem] (1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。
随便看	恩地恩地孝四郎恩威恩宠恩宠の国恩師恩德恩恵恩恵日恩恵期間恩情恩愛恩沢恩物恩田恩田木工恩着せがましい恩知らず恩給恩義恩義·恩誼恩誼恩讐恩讐の彼方に恩貸地制度