スコーレム[Albert Thoralf Skolem]

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

单词	スコーレム[Albert Thoralf Skolem]
释义	スコーレム[Albert Thoralf Skolem] (1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。
随便看	つくつくぼうしつくつくぼうし【つくつく法師】つくつく法師つくづくつくづく【熟】つくねつくね【捏ね】つくねあげつくねあげ【捏ね揚げ】つくねいもつくねいも【捏ね薯·仏掌薯】つくねやきつくねやき【捏ね焼き】つくねるつくねんとつくばつくば·うつくば·う【蹲う】つくば·るつくば·る【蹲る】つくば【筑波】つくばいつくばい【蹲·蹲踞】つくばいしつくばいし【筑波石】