直觉主义 - 维基百科，自由的百科全书
网页直觉主义. 在 数学哲学 和 邏輯 中， 直觉主义 （英語： Intuitionism），或者 新直觉主义 （Neointuitionism ）（对应於 前直觉主义 （Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。. 也可翻译成 直觀主義。. 任何 数学对象 被视为 思维 构造的 ...
直觉主义 - 百度百科
网页直觉主义（intuitionism） 强调直觉或直观在认识中的作用的思潮和学说。 认为直觉是比抽象的理性更基本、更可靠的认识世界的方式。 这种学说或思潮通常带有强烈的反理性主义、反实证主义和反唯物主义倾向。
谈谈数学里的构造主义（constructivism）、直觉主义…
网页本文试图梳理一下构造主义的脉络，始于构造主义，终于 univalence axiom (i.e. homotopy type theory). §-1. 构造主义和直觉主义. 用过分简单的话讲，构造主义的核心就是 “要证明一个东西存在，必须把它构造出来”。这直接否定了人们熟悉的反证法。
直观主义 - 百度百科
网页在 数学哲学 和 逻辑 中，直觉主义（英语：Intuitionism），或者新直觉主义（Neointuitionism ）（对应于前直觉主义 （Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。. 也可翻译成直观主义。. [1] 任何数学对象被视为思维构造的产物，所以一个 ...
直觉主义逻辑 - 维基百科，自由的百科全书
网页直觉主义逻辑或构造性逻辑是最初由阿蘭德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。 这个系统保持跨越生成导出命题的变换的 证实性 而不是 真理性 。
理解数学基础的三种主要方式—逻辑主义、形式主义和直觉主义
网页直觉主义. 布劳威尔是第一个给“直觉主义”和“形式主义”赋予哲学意义的人。他认为逻辑主义和形式主义之间没有区别。在他看来，形式主义者和逻辑学家只是在证明数学实体在语言上的存在。 布劳威尔相信数学哲学不仅需要一致性。
直觉主义数学 - mathcubic.org
网页2019年3月25日 · 他和他的追随者通过修订逻辑法则来反映他们的思想，并利用直觉推动数学的发展。今天，我们用 “直觉主义” 一词来指代 Brouwer 特有的构造主义流派：这是一个反对排中律、要求所有数学对象都必须被明确构造的思想学派。 是不是零？
直觉主义伦理学 - 百度百科
网页直觉主义伦理学是现代西方元伦理学学说和流派。. 主张道德概念和道德判断是不能通过经验和理性来认识、确证的，只能靠先天的道德直觉来把握。. 主要源于剑桥新柏拉图派和苏格兰常识学派，特别是受到西季威克的伦理思想的影响的有两种类型：价值论直觉 ...
直觉主义逻辑 - 知乎 - 知乎专栏
网页这种“构造式”的推理方式对应着“直觉主义逻辑”（intuitionistic logic）。 直觉主义逻辑的哲学基础是，不存在绝对真理，只存在理想化数学家（创造主体）的知识和直觉主义构建。
如何通俗地解释数学的三大哲学基础流派：逻辑主义、形式主义、直觉主义…
网页本体论自然主义：数学和自然科学完全等价，互相共享所有意义和约束. 直觉主义 (布劳维尔) [1]：数学 \Leftrightarrow 构造性证明 := 只有构造性证明才是有意义的数学. 构造主义 (海廷)：数学 \Leftrightarrow 可计算 := 只有可计算的数学才是有意义的数学. 有穷主义 (利 ...