直觉主义

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

相关

  • 革兰氏阳性球菌革兰氏阳性菌(英文:Gram Positive)是能够用革兰氏染色染成深蓝或紫色的细菌,而革兰氏阴性菌不能被染色(通常染作红色以对比)。它们细胞壁中含有较大量的肽聚糖,但经常缺乏革兰氏阴
  • 扫描电子显微镜扫描电子显微镜(英语:Scanning Electron Microscope,缩写为SEM),简称扫描电镜,是一种电子显微镜,其通过用聚焦电子束扫描样品的表面来产生样品表面的图像。电子与样品中的原子相互
  • 美国西部美国西部(英语:Western United States)泛指美国西部各州。由于美国自建国以来疆域多次向西扩展,因此美国西部的定义也随着时代而变化。一般多以密西西比河作为美国东西部的分界
  • 国家地理空间情报局机密 (1998年9000人)(2013年大约16000人)机密 (1998年15亿国家地理空间情报局(National Geospatial-Intelligence Agency (NGA))是美国政府下设的为国家安全而收集、分析并
  • 缺血性缺血(Ischemia)是描述组织供血量不足,进而导致缺氧及养分的情形。缺血一般由血管问题所导致,也可能因血管收缩、血栓形成,或栓塞,导致局部贫血所导致。缺血除了导致缺氧以外及缺乏
  • 班加西坐标:32°05′41″N 20°11′16″E / 32.0947711°N 20.1879106°E / 32.0947711; 20.1879106班加西(阿拉伯语:بنغازي‎)是位于利比亚北部锡德拉湾沿岸的一座港口城市,也是
  • 瓦维尔山瓦维尔山(波兰语:Wawel,或 Wzgórze wawelskie)是波兰城市克拉科夫中位于维斯瓦河左岸的一座石灰岩小山,紧邻克拉科夫旧城区,海拔228米。自旧石器时代起,山上就有人类居住。山上坐
  • 唑类唑(Azole)在有机化合物的命名中指五元环骨架的两个或两个以上杂原子,其中至少一个是氮的杂环化合物。该名称源于Hantzsch-Widman杂环命名系统(英语:Hantzsch–Widman nomenclatur
  • 脊椎骨脊柱(拉丁语:Columna vertebralis、英语:vertebral column、backbone、spine)是脊椎动物位于背侧的支撑性中轴骨骼。人类的脊柱由23-24块脊椎骨(拉丁语:Vertebrae)和中间起缓冲作用
  • 解码编码是信息从一种形式或格式转换为另一种形式的过程;解码则是编码的逆过程。对于特定的上下文,编码有一些更具体的意义。