直觉主义

✍ dations ◷ 2025-04-25 00:05:12 #直觉主义

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

相关

疼痛身体的疼痛（pain）指通常由身体损伤、病患或不良的外部刺激所引起的不舒服感觉。出于临床研究的需要，国际疼痛研究国际疼痛研究协会（英语：International Association for the Stud
爱德华·比希纳爱德华·比希纳（德语：Eduard Buchner，1860年5月20日－1917年8月13日），德国化学家，1907年获诺贝尔化学奖。布赫纳1860年生于慕尼黑的一个医生家庭之中，1884年于慕尼黑大学追随阿道夫·
弗雷德里克·班廷弗雷德里克·格兰特·班廷爵士，KBE，MC，FRS，FRSC（英语：Sir Frederick Grant Banting，1891年11月14日－1941年2月21日）是加拿大一位杰出的医学家和诺贝尔生理学或医学奖获得者。班廷是在
分类学分类学（英语：Taxonomy）是一门进行分类的方法与科学，源于希腊文的.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis
鸡油菇鸡油菇（Chanterelle）又称鸡油菌、黄菇、酒杯蘑菇，是鸡油菇属真菌，也是一种食用菇，外表黄色，同松露、羊肚菌一样都是比较珍贵的菇。鸡油菌常见于欧洲的北部地区、北美地区的墨西哥，
芽生菌病芽生菌病（英语：Blastomycosis），也被称为北美芽生菌病（英语：North American blastomycosis）、芽生菌性皮炎（英语：Blastomycetic dermatitis）、吉克力斯氏病（英语：Gilchrist's disease），一种
霾霾（英语：haze，又称雾霾、烟霾、烟霞等）是一种由固体颗粒形成的空气污染，其核心物质是空气中悬浮的灰尘颗粒，气象学上称为气溶胶颗粒。霾中含有数百种大气化学颗粒物质，它们在人们毫
建瑞县建瑞县（越南语：Huyện Kiến Thụy／.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"
榆树榆树，是榆科下榆属植物的统称，主要在北半球的温带地区生长。一般高约25米，树皮粗糙。具高度实用、药用及食用价值。榆树的叶呈椭圆形或椭圆状波针形，叶长2-8厘米、宽1.5-2.5厘米
理性在哲学中，理性（英语：Rationality）是指人类能够运用理智的能力。相对于感性的概念，它通常指人类在审慎思考后，以推理方式，推导出合理的结论。这种思考方式称为理性。感性和理性，都属