Skolem

释义 Definition

Skolem（斯科伦）：多指与挪威逻辑学家 Thoralf Skolem 相关的术语或方法，常见于数理逻辑与模型论中，如 Skolem function（斯科伦函数）、Skolemization（斯科伦化）（把存在量词用函数项来消去的一种标准化处理）。

发音 Pronunciation (IPA)

/ˈskoʊləm/

例句 Examples

A Skolem function can witness an existential claim.
斯科伦函数可以为一个存在性断言提供“见证”。

In first-order logic, Skolemization replaces existential quantifiers with function symbols to preserve satisfiability and simplify proof search.
在一阶逻辑中，斯科伦化用函数符号替换存在量词，以保持可满足性并简化证明搜索。

词源 Etymology

来自人名 Skolem，源于挪威数学家与逻辑学家 Thoralf Skolem（1887–1963）。许多以他命名的概念（如斯科伦悖论、斯科伦正规形、斯科伦化）都与形式逻辑、集合论和模型论的发展密切相关。

相关词 Related Words

• Skolemization
• Skolem Function
• Skolem Normal Form
• Skolem Paradox
• Model Theory
• First-Order Logic
• Quantifier
• Satisfiability

文学/经典著作中的用例 Literary Works

• Introduction to Mathematical Logic（Elliott Mendelson）：讨论量词处理与相关标准化技术时常提到 Skolem（斯科伦化/斯科伦函数）。
• A Course in Mathematical Logic（J. R. Shoenfield）：在模型论与可满足性主题中使用 Skolemization 等术语。
• Model Theory（C. C. Chang & H. J. Keisler）：系统介绍斯科伦函数、斯科伦闭包等模型论工具。
• Handbook of Mathematical Logic（Jon Barwise 编）：多篇条目涉及以 Skolem 命名的定理与方法。