スコーレム[Albert Thoralf Skolem]

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

单词	スコーレム[Albert Thoralf Skolem]
释义	スコーレム[Albert Thoralf Skolem] (1887—1967)ノルウェーの数学者·論理学者。ペル方程式と呼ばれる不定方程式を代数的方法によって解いた。また，一階の述語論理の限界を示す「レーベンハイム-スコーレムの定理」を証明した。斯高伦(1887—1967)。挪威的数学家、逻辑学家，用代数的方法解开了称为佩尔方程的不定方程。还证明了显示一阶谓词逻辑极限的“利文海姆-斯高伦定理”。
随便看	へいか【兵家】へいか【兵戈】へいか【兵火】へいか【兵科】へいか【平価】へいか【瓶花】へいか【閉果】へいか【閉架】へいか【陛下】へいかいへいかい【閉会】へいかいろへいかいろ【閉回路】へいかきりあげへいかきりあげ【平価切り上げ】へいかきりさげへいかきりさげ【平価切り下げ】へいかくへいかく【平角】へいかく【閉殻】へいかくきんへいかくきん【閉殻筋】へいかつへいかつ【平滑】へいかつかいろ