直觉主义

✍ dations ◷ 2025-05-15 20:18:30 #直觉主义

在数学哲学和逻辑中，直觉主义（英语：Intuitionism），或者新直觉主义（Neointuitionism ）（对应于前直觉主义（Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。也可翻译成直观主义。任何数学对象被视为思维构造的产物，所以一个对象的存在性等价于它的构造的可能性。这和古典的方法不同，因为根据古典方法，一个实体的存在可以通过否定它的不存在来证明。对直觉主义者来说，这是不正确的：不存在的否定不表示可能找到存在的构造证明。正因为如此，直觉主义是数学结构主义的一种；但它不是唯一的一类。直觉主义把数学命题的正确性和它可以被证明等同起来；如果数学对象纯粹是精神上的构造，还有什么其它法则可以用作真实性的检验呢（如同直觉主义者所说的一样）？这意味着直觉主义者对一个数学命题的含义，可能与古典的数学家有不同理解。例如，说 A 或 B，对于一个直觉主义者，是宣称 A 或是 B 可以被“证明”，而非两者之一“为真”。值得一提的是，只允许 A 或非A 的排中律，在直觉主义逻辑中是不被允许的；因为不能假设人们总是能够证明命题 A 或它的否定命题。直觉主义也拒绝承认实无穷（英语：actual infinity）的抽象概念；也就是说，它不把像所有自然数的集合或任意有理数的序列这样的无穷当作实体来考虑。这要求将集合论和微积分的基础分别重新构造为构造主义集合论（英语：Constructive set theory）和构造主义分析。

相关

词法学词法学（英语：morphology，“组织与形态”），又称形态学、构词学，是语言学的一个分支，研究单词（word）的内部结构和其形成方式。如英语的dog、dogs和dog-catcher有相当的关系，英语使用者能
非细胞生物非细胞生物（Non-cellular life）是没有细胞结构存在的生命。这个词的一般指的是系统进化中科学的分类的病毒这一类生命形式。那些假设的人工生命，自我复制机器，最简单的能够自我
遗传漂变遗传漂变，或基因漂变（genetic drift），是指种群中基因库在代际发生随机改变的一种现象。由于任何一个个体的生存与繁殖都受到随机因素影响，繁殖过程可看做一种抽样，子代携带的等位
混合经济混合经济体系是指混合了传统经济体系、计划经济体系以及市场经济体系的经济体系，以解决三个基本的经济问题：生产什么、怎样生产、为谁生产。建立于混合经济上的国家称之为混合
眼药水眼药水是治疗眼睛疾病的药水，其成分依作用的不同有许多种类，例如类固醇、抗生素、抗组织胺药、 β阻滞剂、非类固醇消炎止痛药等。一般眼药水为了长期保存而添加了微量的防腐
景天庚酮糖景天庚酮糖（英语：Sedoheptulose），即D-阿卓-2-庚酮糖（英语：D-altro-2-heptulo-se），是由七个碳原子构成的酮糖。存在于几乎所有景天科植物中。其衍生物是单糖降解代谢的中间物。果聚糖
重度抑郁重性抑郁疾患（英语：Major depressive disorder，缩写MDD），也可简称为抑郁症，是一种精神疾患，特征为超过两周的大多数时间都抑郁不已。常常伴随着没有精神、对一般休闲活动没有兴趣、
国际全球化学品统一分类和标签制度（Globally Harmonized System of Classification and Labeling of Chemicals，缩写为GHS）也称为“化学品分类及标记全球协调制度”，是一套由联合国
浊音语音学中，将发音时声带振动的音称为浊音（又称有声音，英语：voiced sound），声带不振动的音称为清音（又称无声音，英语：voiceless sound）。辅音（子音）有清有浊，而多数语言中元音（母音）均为浊音，
库施特语族库希特语族（Cushitic）又称作古实语族，是亚非语系（闪含语系）之下的语族之一，分布在埃塞俄比亚、苏丹、索马里、肯尼亚和坦桑尼亚。可以细分为约四个语支：“库希特”这名字源自《圣经