直觉主义

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

直觉主义

点击查看词条快照

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

慕容德

慕容超

数学构成主义

数学基础

模型论

脊髓灰质炎

逆数学

密切平面

数学符号表

数学教育

桤木

光延反应