直觉主义

✍ dations ◷ 2025-11-18 13:37:40 #直觉主义

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

相关

慢性阻塞性肺疾病慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
林可酰胺类抗生素林克酰胺类抗生素（英语：Lincosamides）是一类抗生素，主要包括了克林霉素和林可霉素。这类抗生素对革兰氏阳性菌作用较强，对厌氧菌效果较好。林克酰胺类抗生素能够与核糖体上的50S
诺贝尔物理学奖诺贝尔物理学奖（瑞典语：Nobelpriset i fysik）是瑞典皇家科学院为表彰在物理学作出最杰出的贡献，自1901年起一年一度颁发的奖项；奖金由诺贝尔基金会发出。奖项是阿尔弗雷德·诺贝
新生代新生代（Cenozoic）是地球历史上目前最新的一个地质时代，它从6600万年前开始一直持续到今天。随着白垩纪﹣古近纪灭绝事件的发生，中生代结束，新生代开始。在新生代中，哺乳动物已经是
跳婴儿节跳婴儿节（西班牙语：El Colacho），原意为魔鬼的跳跃（西班牙语：El Salto del Colacho），是西班牙传统的节日，最早可追溯至1620年，这个节庆的目的是用来庆祝举行在布哥斯省布哥斯卡斯特里略
留尼汪坐标：21°06′52″S 55°31′57″E / 21.11444°S 55.53250°E / -21.11444; 55.53250 留尼汪大区（法语：La Réunion），通称留尼汪，是一座印度洋西部马斯克林群岛中的火山岛。为法
奈特弗兰克·H·奈特（Frank H. Netter，1906年4月25日-1991年9月17日）是一位美国外科医生、著名医学插图画家。出生于曼哈顿。1989年出版《人体解剖图谱》（Atlas of Human Anatomy），该
原始印欧语原始印欧语（英语：Proto-Indo-European, PIE）是后世语言学家根据现时印欧语系诸语的特色，透过比较语言学的方法而所倒推出来的假想语言。这种假想语言被认为是现时印欧语系诸语的
悬雍垂悬雍垂（palatine uvula，又名腭垂，俗称“小舌”、“吊钟”）是人体口腔器官，悬挂于软颚正中间的末端。悬雍垂的功能是在饮食时上升堵住食物通过鼻腔进入气管的通道，从而使食物进入食
独体独体为一种汉字字体的结构，与合体概念相对。指汉字结构中，仅含有一个单独形体、不可分析为两个或两个以上形体的字。其形体结构完整，难以拆解分析其读音或字义。这包含着六书中