直觉主义

✍ dations ◷ 2025-10-29 10:13:45 #直觉主义

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

相关

H2受体阻抗剂H2受体阻抗剂（英语：H2 antagonist）是一系列用于阻断组织胺作用于胃壁细胞、减少壁细胞分泌胃酸的药物。H2受体阻抗剂用于治疗消化不良，但现在已经有效果更好的氢离子泵阻断剂。
膜蛋白膜蛋白（英语：membrane protein）是指能够结合或整合到细胞或细胞器的膜上的蛋白质的总称。而细胞中一半以上的蛋白质可以与膜以不同形式结合。根据与膜结合强度的不同，膜蛋白可以
黏液黏液（英语：mucus）是一种从人体的黏膜内层分泌出来的湿滑液体。黏液一般都是比较浓稠的胶状体，含有具抗菌功效的酵素，例如：溶菌酶、抗体等。黏液由满布黏膜表面内的杯状细胞制造，由
核内体胞内体（英语：Endosome，又称内体）在细胞生物学中指的是一种真核细胞中的膜结合细胞器，属于一种囊泡结构。作为细胞内吞作用中运载途径的一个区室，胞内体从细胞质膜被传递到溶酶体被
中大西洋区中大西洋州份（英语：Mid-Atlantic），通常是指美国境内的在新英格兰和美国南大西洋地区之间的地区。根据不同来源，有不同的定义，它一般包括纽约州、新泽西州、宾夕法尼亚州、特拉华
海洋废弃物海洋废弃物，是人类创造的废物是故意或无意成为漂浮在一个湖、大海或水道上的大型漂流物，海洋碎片往往积累在该中心的环流，经常堆积在海滩，被称为海滩垃圾。随着最近塑料越来越广
西兰岛西兰岛（丹麦语：Sjælland）是丹麦本土第一大岛（7031平方公里，世界第95名），分别被大贝尔特海峡和厄勒海峡将其与菲英岛和斯科讷地区分隔。借由大贝尔特桥与菲英岛相连结，和厄勒海峡大
费城染色体费城染色体（英语：Philadelphia chromosome, Ph (or Ph') chromosome），或称费城染色体易位（英语：Philadelphia translocation），是一种与慢性粒细胞性白血病（chronic myelogenous leuke
独立承揽人一个独立合同人是一个通过一个固定的合同向第三方提供商品或服务的自然人或企业，与雇员不同，独立合同人并不有规律地为雇主工作，但会依照代理法在必要的时候为合同方工作。通
边界在字体排印学中，边界指的是某页文件中四周留白的部分，可方便辨认行的起点和终点。当文字是以左右对齐排列时，其会贴紧左侧和右侧的边界。在多数的文书处理软件中，边界的标准宽度