直觉主义

✍ dations ◷ 2025-07-18 08:49:50 #直觉主义

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

相关

系统发生树系统发生树（英语：phylogenetic tree）又称演化树或进化树（evolutionary tree），是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法（cladogram）。在图中，每
退伍军人症军团病，又名退伍军人症是由军团菌引发的非典型肺炎。其症状包括咳嗽、呼吸困难、发热、肌肉疼痛、头痛。有时亦会发生恶心、呕吐、腹泻。军团病的症状通常在暴露后两到十天
啤酒啤酒（意大利语：Birra，德语：Bier，英语：Beer，西班牙语：Cerveza，法语：Bière），又叫麦酒，雅称为液体面包，利用淀粉水解、发酵产生糖分后制成的酒精饮料。淀粉与水解酶经常由谷类作物发芽成麦
南极洲／南极地方南极洲（英语：Antarctica）是地球最南端的洲，位于南半球的南极区，是地理南极的所在地。南极洲大部分区域都在南极圈内，四周被南冰洋环绕。南极洲是世界上的第五大洲，其面积约为1400万
艾杜糖艾杜糖是一种己糖，也就是含六个碳的单糖。因为有醛基，所以也是醛糖。艾杜糖不存在于自然界中，但它的糖醛酸，也就是艾杜糖醛酸，是一种非常重要的化合物，是黏多糖——硫酸皮肤素和硫
皮洛士皮洛士（希腊语：Πύρρος；拉丁语：Pyrrhus；前319年或前318年－前272年），摩罗西亚国王，出身埃阿喀得斯家族，也是希腊伊庇鲁斯联盟统帅（前306年–前302年, 前297–272年），后来成为叙拉古国
波摩莱波莫里埃（保加利亚语：Поморие，拉丁文字转写：Pomorie，旧称在希腊语中是Αγχίαλος、Anchialos；拉丁语中是Anchialus；保加尔语中是Tuthom；保加利亚语中是Анхиало；
阿以冲突进行中巴勒斯坦人：约旦（1948–1994）埃及（1948–1978）伊拉克（1948–）叙利亚（1948–）黎巴嫩（1948–）苏伊士危机：（1956）南黎巴嫩冲突（英语：South Lebanon conflict (1985–2000)）：消耗战
脉络膜脉络膜（Choroid）是位于视网膜和巩膜之间的组织，主要由色素及微细血管组成，呈暗褐色。其血管供给视网膜葡萄糖及氧气。色素则吸收眼球内多余的光，防止它们因折射和散射而干扰视细
末端回肠在人体解剖学中，回肠是人的消化器官之一。回肠（Ileum）是小肠的最后一段，在十二指肠和空肠的下面。人的回肠约占小肠全长的五分之三，约有2-4米长。回肠多盘于腹腔右下部，借小肠系膜