直觉主义
在数学哲学和邏輯中,直觉主义(英語:Intuitionism),或者新直觉主义(Neointuitionism )(对应於前直觉主义(Preintuitionism)),是用人类的构造性思维活动进行数学研究的方法。也可翻译成直觀主義。
任何数学对象被视为思维构造的产物,所以一个对象的存在性等价于它的构造的可能性。这和古典的方法不同,因为根據古典方法,一个实体的存在可以通过否定它的不存在来证明。对直觉主义者來說,这是不正确的:不存在的否定不表示可能找到存在的构造证明。正因为如此,直觉主义是数学结构主义的一种;但它不是唯一的一类。
直觉主义把数学命题的正确性和它可以被证明等同起来;如果数学对象纯粹是精神上的构造,还有什么其它法则可以用作真实性的检验呢(如同直觉主义者所說的一样)?这意味着直觉主义者对一个数学命题的含义,可能與古典的数学家有不同理解。例如,说 A 或 B,对于一个直觉主义者,是宣称 A 或是 B 可以被「证明」,而非兩者之一「為真」。值得一提的是,只允許 A 或 非A 的排中律,在直覺主義邏輯中是不被允许的;因为不能假设人们总是能够证明命题 A 或它的否定命题。
直觉主义也拒绝承认实无穷的抽象概念;也就是说,它不把像所有自然数的集合或任意有理数的序列这样的无穷当作实体来考虑。这要求将集合论和微积分的基础分别重新构造为构造主义集合论和构造主义分析。
对直觉主义有贡献的人编辑
直觉主义数学的分支编辑
参看编辑
资源编辑
- Article on Intuitionism. 罗德里奇哲学百科全书 (英语).
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命