直觉主义

✍ dations ◷ 2024-07-03 08:35:03 #直觉主义

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

相关

酒精乙醇（英语：Ethanol，结构简式： CH 3
同物异名异名（英语：synonyms）或称同物异名，在生物分类学上，是表示用来指称同一分类单元（taxon）的不同命名，此用词在动物学与植物学上的用法不甚相同。在动物命名上，异名是指用来表示同一个分
戴奥辛二
用户界面用户界面（User Interface，简称UI，亦称使用者界面）是系统和用户之间进行交互和信息交换的介质，它实现信息的内部形式与人类可以接受形式之间的转换。用户界面是介于用户与硬件而设
兔子兔，又称兔子，在汉语中是哺乳类兔形目兔科（学名：Leporidae）物种的总称。正在吃牧草的兔子一只野兔一个宠物兔一只睡觉的家兔一个好奇的棉尾兔两个兔子兔子剪影兔子雕塑作品拟人化
DHEA脱氢表雄酮，台湾称为去氢皮质酮（Dehydroepiandrosterone，DHEA）是一中内源性的甾体激素，其主要由肾上腺分泌，同时也由性腺和大脑分泌。它是人体外周循环中的最常见的甾体激素。
曲安奈德曲安奈德（英语：Triamcinolone acetonide）是一种用来治疗各种皮肤病或减轻口疡带来不适的合成皮质类固醇。它是更有效的去炎松，大约是强的松的八倍。
巴基斯坦联合通讯社巴基斯坦联合通讯社（英语：Associated Press of Pakistan，缩写APP）是巴基斯坦国营通讯社。它与美联社（AP）没有关系。巴基斯坦独立后经济疲软，因此政府无法在财政补贴通讯社。巴基斯
双尾目双尾目（学名：Diplura）为一类较为原始的节肢动物，通称铗尾虫、双尾虫。身体细长而扁平，白色或黄色，没有眼睛，尾部具有一对尾须或尾铗，触角长，如念珠状。生活在阴暗潮湿的地方，以腐殖质
理性在哲学中，理性（英语：Rationality）是指人类能够运用理智的能力。相对于感性的概念，它通常指人类在审慎思考后，以推理方式，推导出合理的结论。这种思考方式称为理性。感性和理性，都属