スコーレム[Albert Thoralf Skolem]

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

单词	スコーレム[Albert Thoralf Skolem]
释义	スコーレム[Albert Thoralf Skolem] (1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。
随便看	せんいんろうどういいんかい【船員労働委員会】せんうんせんうん【戦雲】せんえいせんえい【先鋭·尖鋭】せんえい【船影】せんえい【鮮鋭】せんえきせんえき【戦役】せんえき【染液】せんえつせんえつ【僭越】せんえんせんえん【遷延】せんえんのめいせんえんのめい【澶淵の盟】せんおうせんおう【僭王】せんおう【先王】せんおう【専横】せんおくせんおく【千億】せんおんせんおん【顫音】せんおんそくりゅう