直觉主义

✍ dations ◷ 2025-04-03 10:44:41 #直觉主义

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

相关

埃莉诺·罗斯福安娜·埃莉诺·罗斯福（英语：Anna Eleanor Roosevelt，/ˈɛlᵻnɔːr ˈroʊzəvɛlt/，1884年10月11日－1962年11月7日）是一位美国政治人物。第32任美国总统富兰克林·德拉诺·罗斯
头孢匹胺头孢匹胺也称为“头孢吡胺”“头孢吡四唑”或“甲吡唑头孢菌素”，是一种第三代头孢菌素。此抗生素对革兰氏阳性菌（包括葡萄球菌、链球菌、消化球菌等）具有很强的抗菌作用，对绿脓
电子9.109 383 56(11)×10-31 kg 5.485 799 090 70(16)×10-4 amu 0.510 998 9461(31) MeV/c电子（英语：Electron）是一种带有负电的亚原子粒子，通常标记为
胃壁细胞胃壁细胞（(gastric) parietal cells）又称壁细胞、泌酸细胞，为分泌盐酸及内在因子之上皮细胞。这些细胞都位于胃之胃底（gastric fundus）衬里中之胃腺体(gastric glands)里。它们含
Li1s2 2s12, 1蒸气压第一：520.2 kJ·mol−1 第二：7298.1 kJ·mol−1 第三：11815.0 kJ·mol主条目：锂的同位素锂（希腊语：λίθος，拉丁：LITHOS，直译"石头"）是一种化学元素。其中文
金瓯省金瓯省（越南语：Tỉnh Cà Mau／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Min
在24个国家跨国公司、多国公司（英语：Multinational Corporation，MNC），经常被称为跨国企业（英语：Multinational Enterprise，MNE），是在世界多国有营运，且规模庞大的股份有限公司。它们在不同的国家
里急后重里急后重（rectal tenesmus）是一个医学术语，形容便秘时的一种症状。患者感觉急需大便而无法顺利排出；可用16个字概括：“腹痛窘迫，时时欲便。肛门重坠，便出不爽”。中文病名出自中国
主动脉瘤大动脉瘤（英语：Aortic aneurysm）是指大动脉的血管因为血管壁的异常而出现的扩张（Aorta aneurysmal dilation）。大动脉瘤的成因很多，可能的原因有：高血压、动脉硬化、血管老化等，大致
犁鼻器犁鼻器（vomeronasal organ (VNO)、Jacobson's organ、或称茄考生氏器、犁鼻器）是一种辅助嗅觉感觉器官，在多种动物中均能找到。这器官是由菲德里·勒伊斯（Frederik Ruysch（英语：F