直觉主义

✍ dations ◷ 2025-06-27 16:30:01 #直觉主义

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

相关

接合菌毛菌毛（拉丁文pilus，复数pili）是一些细菌（包括革兰氏阴性菌和革兰氏阳性菌）表面的毛状物，可用于和其他同种细菌细胞接合（conjugation）。菌毛的主体由蛋白质“菌毛蛋白（pillin）”通过聚合
拟核拟核（英语：nucleoid；意指“与核相似”，又译类核），也称核区（nuclear region）、核体（nuclear body）或染色质体（chromatin body）。存在于原核生物，是没有由核膜包被的细胞核，也没有染色体，只有
风疹风疹（英语：rubella, German measles, three-day measles），又称德国麻疹或三日麻疹，是一种由风疹病毒（英语：Rubella virus）感染所造成的疾病。本病的症状轻微，半数患病者通常不会有自
硫血红蛋白硫血红蛋白为一种血红蛋白的变体，本身呈绿色，当它形成后便不能转回正常的血红蛋白。即使很少分量的硫血红蛋白在血液中存在，亦会造成发绀。其出现是罕见的现象，硫化氢（或硫离子）和
流行性腮腺炎流行性腮腺炎疫苗（Mumps vaccine）可有效预防流行性腮腺炎，当一群体中大多数人口接受施打时可在减小流行性腮腺炎及其并发症的发生。据估算，当人群中百分之九十均注射该疫苗时，其
咸丰帝清朝第9位皇帝孝钦显皇后叶赫那拉氏咸丰帝（1831年7月17日－1861年8月22日），爱新觉罗氏，名奕
酵母亚门酵母亚门是子囊菌门中最低级的菌种，只有单细胞，通常单生，有明显的细胞壁和细胞核，有时数个细胞连成串，形成拟菌丝，以出芽的方式繁殖，芽脱落后就形成新个体，没有子囊果。酵母亚门只包
伊斯兰堡伊斯兰堡（乌尔都语：اسلام آباد‬，乌尔都语转写：Islāmābād）是巴基斯坦的首都，位于该国的伊斯兰堡首都区。伊斯兰堡在2011年有两百多万人口，并与紧邻着的城市拉瓦尔品第
米诺斯文明迈诺斯文明（Minoan civilization），或译作米诺斯文明、弥诺斯文明、迈诺安文明或迈诺亚文明，是爱琴海地区的古代文明，出现于古希腊，迈锡尼文明之前的青铜时代，约公元前3650年—前140
利己主义利己主义或自我主义是凡事只为自己或对自己有关系的团体着想的行为。与利他主义相反。单在道德判断上，自己的幸福快乐比别人的来得重要，所以利己主义在许多思想和文化中是一种