您的当前位置：领域 > 数理逻辑 领域
独立性 （其他科学相关）
意志的独立性是指人的意志不易受他人的影响，有较强的独立提出和实施行为目的的能力，
广义连续统假设 （数理逻辑 名词）
广义连续统假设(generalized continuum hy- pothes
停机问题 （数理逻辑 名词）
停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。其本质问题是: 给定一个
构造序数 （数理逻辑 名词）
构造序数（constructive ordinals）是1993年公布的数学名词
奇异序数 （数理逻辑 名词）
奇异序数（singular ordinal）是1993年公布的数学名词。
苏斯林树 （数理逻辑 名词）
苏斯林树是一种无穷树，指高度为ω1，每条链及反链均可数的树。研究苏斯林树的直接动
命题公式 （数理逻辑术语）
命题公式(propositional formula)亦称合式公式，是数理逻辑术
形式化算术 （数理逻辑 名词）
形式化算术（formalized arithmetic）是1993年公布的数学名
共尾性 （数理逻辑 名词）
共尾性（cofinality）是1993年公布的数学名词。
互斥析取 （数理逻辑 名词）
互斥析取（exclusive disjunction）是1993年公布的数学名词
描述集合论 （其他数学相关）
描述集合论(Descriptivesettheory)是数学中数理逻辑、集合论的
逻辑主义逻辑学派 （数理逻辑和数学基础研究中的学派）
逻辑主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是英国的哲学家、数
序数积 （数理逻辑 名词）
序数积（ordinal product）是1993年公布的数学名词。
np问题 （数理逻辑 名词）
NP问题是指存在多项式算法能够验证的非决定性问题，而其中NP完全问题又是最有可能
联结词 （数理逻辑 名词）
联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词
高阶逻辑 （数理逻辑）
高阶逻辑亦称"广义谓词逻辑"、"高阶谓词逻辑"。一阶逻辑的推广系统，谓词逻辑的重
可接受标号 （数理逻辑 名词）
可接受标号是1993年全国科学技术名词审定委员会公布的数学名词。
非标准分析 （数理逻辑 名词）
非标准分析(Non-standard analysis)，数学中利用现代数理逻辑
连续统假设 （数理逻辑 名词）
1874年格奥尔格·康托尔猜测在可列集基数和实数基数之间没有别的基数，这就是著名
真假值表归约性 （数理逻辑 名词）
真假值表归约性（truth table reducibility）是1993年公
非标准量词 （数理逻辑 名词）
非标准量词（non-standard quantifier）是1993年公布的数
形式主义逻辑学派 （数理逻辑和数学基础研究中的学派）
形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。
良序原则 （数理逻辑 名词）
良序原则是1993年全国科学技术名词审定委员会公布的数学名词。
命题形式 （数理逻辑术语）
命题形式(propositional forms)数理逻辑术语.是由命题变元p，
递归集 （数理逻辑 名词）
递归集是递归论用语。令A?Nn，如果A的特征函数CA(x1，…，xn)是μ-递归
力迫条件 （数理逻辑 名词）
力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的
佐恩引理 （其他科学相关）
佐恩引理(Zorn's Lemma)也被称为库那图斯克-佐恩引理(Kuratow
力迫法 （数理逻辑 名词）
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续
选择公理 （数理逻辑 名词）
"选择公理"有很多等价的形式(equivalent form)，以下用一个较简单
递归性 （语言 | 石材）
递归性(recursiveness),也可相近地理解为层次性或有机性。是机体或系
替换 （词汇）
替换，指更替调换;倒换。1、指把原来的(工作着的人、使用着的衣物等)调换下来;倒
代入 （机械）
代入(substitution)谓词演算的基本运算之一设沪是一个谓词演算公式，x
谓词演算 （信息通讯）
数理逻辑最基本的形式系统。又称一阶逻辑。一个可以回答真假的命题，不仅可以分析到简
数学基础 （数理逻辑）
数学基础(Foundation of Mathematics)是研究整个数学的理
排中律 （其他科学相关）
排中律，传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当
重言式 （其他数学相关）
重言式(Tautology )又称为永真式，它的汉语拼音为:[Chóng yán
逻辑演算 （计算机概念 | 石材）
用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算
逻辑类型论 （数理逻辑中的学派）
为了解决第三次数学危机， 罗素提出了逻辑主义的纲领， 并得到一些著名的逻辑学家的
一阶逻辑 （计算机概念）
一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性;所以
出现 （词汇）
《出现》是韩国韩国SBS电视台于2010年制作的周末特别企划剧《秘密花园》插曲，