直觉主义

✍ dations ◷ 2025-06-07 10:20:33 #直觉主义

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

相关

脑动静脉血管畸形脑动静脉血管畸形（英文：cerebral arteriovenous malformation，简称cAVM）是一种由于胚胎发育过程中的异常，造成脑部出现动静脉血管直接连接的先天性畸形，主要病征是脑部血管不正常
头孢唑肟头孢唑肟（英文名Ceftizoxime）也称为“安保速灵”“安普西林”“头孢去甲噻肟”“去甲噻肟头孢菌素”或“去甲酰氧甲基唑肟头孢菌素”，是一种不经肠的第三代头孢菌素，常以头孢唑
ICD-9编码列表 (280–289)Template:Diseases of megakaryocytes
密西西比河密西西比河（英语：Mississippi River），位于北美洲中南部，是北美最大的水系，流域面积约为300万平方千米。它也是北美最长的河流，源头在美国明尼苏达州西北部海拔446米的艾塔斯卡湖（英
后设分析统计学上来说，元分析（meta-analysis，或译作后设分析、整合分析、综合分析、统合分析、荟萃分析）是指将多个研究结果整合在一起的统计方法。就用途而言，它是文献回顾的新方法。文
天仙子胺天仙子胺（Hyoscyamine）是一种托烷类生物碱，作为次级代谢产物存在于天仙子，曼德拉草，曼陀罗花，番茄和颠茄等茄科植物。药物阿托品就是天仙子胺经提取处理后得到的消旋产物，因此天仙
低聚果糖果寡糖（Fructooligosaccharides，通常简写作FOS，亦作oligofructose或oligofructan）是一种天然的寡糖，亦有作代糖使用。一般市面上采用果寡糖作糖浆，其甜度约为砂糖的30~50%左右。能
婴儿食品婴儿食品指专门制造给0岁到3岁间儿童食用的食品，较软同时有特殊营养符合婴儿需求。世界卫生组织提出一项全球性的公共卫生建议，建议婴儿前六个月应该完全母乳喂养，以达到最佳的
青光眼青光眼（拉丁语：Glaucoma）是一系列会导致视神经受损，进而造成视力丧失的眼疾。其中最常见的是隅角开放性青光眼，隅角闭锁性青光眼次之，但亚裔族群有罹患此型的机会较欧裔高。也有部
弗兰克·麦克法兰·伯内特弗兰克·麦克法兰·伯内特爵士，OM，AK，KBE（英语：Sir Frank Macfarlane Burnet，1899年9月3日－1985年8月31日），通常称作麦克法伦或麦克·伯内特，是澳大利亚病毒学家，主要以免疫学方面的工