直觉主义

✍ dations ◷ 2025-12-08 21:31:44 #直觉主义

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

相关

腹泻腹泻（俗称拉肚子，广东俗称肚痾，台语俗称漏屎，中医称之为泄泻，英语：diarrhea, diarrhœa来自希腊语：διάρροια，包含两个字根：“διά /dia，经过”，以及“ῥέω/rheo，流动”)的定
脾脏脾脏是脊椎动物的一种外周淋巴器官。人类的脾脏位于腹腔的左上方，由红髓、白髓、边缘区，以及将之被覆的被膜、小梁组成。健康成人的脾脏约重150-200克:68。活体时，脾为暗红色，质
流体静力学流体静力学（Hydrostatics）是连续介质力学的分支学科流体力学的子学科。流体静力学研究流体（诸如气体和液体）静止时的现象以及相关力学行为的科学。这样的现象和行为可以用数学表
丹毒丹毒（英语：Erysipelas）是一种主要由A组β溶血性链球菌引起的急性真皮细菌感染而导致的炎症。英语：Erysipelas的名称，来自希腊语：ἐρυσίπελας，原意为红皮肤。在欧洲某些国
乳清蛋白乳清蛋白（英文：Whey Protein）是由乳清（生产干酪所产生的液体副产品）当中提炼出来的一种球状蛋白质混合物。乳清蛋白常作为膳食补充剂出售和使用。生产干酪时，牛奶凝结后所剩的液体
ISO国际标准化组织（英语：International Organization for Standardization，简称：ISO）成立于1947年2月23日，制定全世界工商业国际标准的国际标准建立机构。ISO总部设于瑞士日内瓦，成员
多重宗教身份认同多重宗教身份认同提出一个人可同时属于多个宗教传统的概念。或许有些区域如亚洲早视此为正常现象，但不少宗教学者已开始讨论在不同宗教传统中，如华人民间信仰、犹太教、基督教
四样植物住棚节四样植物（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova",
皮质大脑皮质（英语：cerebral cortex），又称为大脑灰质，或简称为皮质或皮层，是大脑的一个解剖结构。大脑皮层是端脑的一部分，属于脑和整个神经系统演化史上最为晚出现、功能上最为高阶的
WordNetWordNet是一个由普林斯顿大学认识科学实验室在心理学教授乔治·A·米勒的指导下建立和维护的英语字典。开发工作从1985年开始，从此以后该项目接受了超过300万美元的资助（主要