有范 >在线工具 >“スコーレム[Albert Thoralf Skolem]“的日汉互译翻译_意思_释义_用法-日汉词典
2025-12-26

“スコーレム[Albert Thoralf Skolem]”日汉翻译

单词 スコーレム[Albert Thoralf Skolem]
释义

スコーレム[Albert Thoralf Skolem]

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

　

日汉互译翻译词典包含403511条日汉翻译词条，涵盖了常用日语单词及词组短语的翻译及用法，是日语翻译入门的必备学习工具。

　


相关内容：

“スケート【skate】”日汉翻译

“スコーレム”日汉翻译

“スケーティング【skating】”日汉翻译

“スコーレ【ギ skholē】”日汉翻译

“スケーティング”日汉翻译


相关热词搜索：スコーレムalbert thoralf skolem日语词汇意思用法释义日语辞典字典

相关推荐

热门资讯...
热文观察...