直觉主义

✍ dations ◷ 2025-01-23 02:11:15 #直觉主义

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

相关

噬病毒体噬病毒体（Virophages）类似卫星病毒，但他抑制或损害辅助病毒。与其他卫星病毒类似，噬病毒体依赖于另一种病毒混合感染宿主。噬病毒体危害其辅助病毒的繁殖。尽管越来越多的科学文
色谱法色谱法（英语：chromatography，又称层析法）是一种分离和分析方法，在分析化学、有机化学、生物化学等领域有着非常广泛的应用。色谱法利用不同物质在不同相态的选择性分配，以流动相对
日本水污染日本四大公害病（日语：公害病／こうがいびょう Kōgaibyō */?；“公害”即污染）指的是日本在高度经济发展期，由产业活动所排出的有害物质而引起的疾病。被列举出的有因大气污染所
沥青沥青，是高黏度有机液体的一种，表面呈黑色，可溶于二硫化碳、四氯化碳。它们多会以柏油或焦油的形态存在。沥青主要可以分为煤焦沥青、石油沥青和天然沥青三种：其中，煤焦沥青是炼焦
6第6周期元素是元素周期表第六行（即周期）的元素，包括镧系元素。该周期元素都具有一定毒性。有：第1周期元素 - 第2周期元素 - 第3周期元素 - 第4周期元素 - 第5周期元素 - 第6周期
独立国家联合体地区独立国家联合体（俄语：Содружество Независимых Государств），简称独联体（俄语：СНГ），苏联解体后由部分原苏联加盟共和国协调成立的一个国家联盟，其
视黄醇维生素A（英语：Retinol）又称为视黄醇是维生素A的动物形式之一，它是一个二萜和醇的结构，它可以转换为其他形式的维生素A，并且以醇的衍生物视黄酯充当动物中维生素的储存形式。当转换
利帕里岛利帕里（意大利语：Lìpari）是意大利墨西拿省的一个市镇，位于西西里岛北侧第勒尼安海中的伊奥利亚群岛。这个火山群岛最大的岛屿（介于维苏威火山和埃特纳火山之间，距西西里岛30公里），
希律王希律（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
能愿动词能愿动词是指现代汉语中的一种用以表达可能、意愿、必要的动词，又被称为情态动词或助动词。注意：情态动词是普通语言学中对世界各地语言中这一类动词的总的称呼；也可以特指某一