直觉主义逻辑和鲁伊兹·布劳威尔

快捷方式: 差异，相似，杰卡德相似系数，参考。

直觉主义逻辑和鲁伊兹·布劳威尔之间的区别

直觉主义逻辑 vs. 鲁伊兹·布劳威尔

觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。. 鲁伊兹·艾格博特斯·杨·布劳威尔(Luitzen Egbertus Jan Brouwer，多写作L.)(）是一位荷兰数学家和哲学家。他是数学直觉主义流派的创始人，也在拓扑学，集合论，测度论和复分析领域有很多贡献。.

直觉主义

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

直觉主义和直觉主义逻辑 · 直觉主义和鲁伊兹·布劳威尔 · 查看更多 »

排中律

在逻辑中，排中律（tertium non datur）声称对于任何命题 P，(P ∨ ¬P) 为真。 符号 '¬' 读作“非”，∨ 读作“或”，∧ 读作“与”。 例如，如果 P 是 则包含式析取 为真。 这不完全同于二值原理，它陈述的是 P 必须要么是真要么是假。它也不同于无矛盾律，它陈述的是 ¬(P ∧ ¬P) 是真。排中律只是说 (P ∨ ¬P) 整体是真。不提及 P 自身可以采用什么真值。在任何情况下，任何二值逻辑的语义都将为 P 和 ¬P 指派对立的真值(就是说，如果 P 是真，则 ¬P 是假)，所以在二值逻辑中排中律会等价于二值原理。但是，对于非二值逻辑或多值逻辑就不能这么说。 特定的逻辑系统可能通过允许多于两个真值(比如：真、假、中；真、假、非真非假、亦真亦假)而拒绝二值原理，但接受排中律。在这种逻辑中，(P ∨ ¬P) 可以为真，而 P 和 ¬P 不被分别指派为对立的真值。 一些逻辑不接受排中律，最著名的是直觉逻辑。文章《二值和有关规律》中详细地讨论了这个问题。 排中律可能被误用，导致排中律的逻辑谬论，这也叫做假两难推理。.

排中律和直觉主义逻辑 · 排中律和鲁伊兹·布劳威尔 · 查看更多 »

拓扑学

在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.

拓扑学和直觉主义逻辑 · 拓扑学和鲁伊兹·布劳威尔 · 查看更多 »