直觉主义

✍ dations ◷ 2025-09-18 15:12:38 #直觉主义

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

相关

甲硝唑甲硝唑（Metronidazole，MNZ），目前多以咪唑尼达（Flagyl）的商品名流通，是一种抗生素和抗原虫剂（英语：antiprotozoal medication）。常单独或和其他抗生素一起使用，作为治疗骨盆腔炎、心内膜
分枝杆菌分枝杆菌属（Mycobacterium）为放线菌门下的一个属，且为分枝杆菌科唯一的属。该属细菌包括许多已知在哺乳类动物中造成严重疾病的病原菌，包括结核杆菌（Mycobacterium tuberculosis）
人体核心温度人体体温、人体正常体温（英语：Human body temperature、Normal human body temperature、normothermia、或 euthermia, ）测量出的结果取决于在一天中的时间中身体内发生的变化，
口腔炎口腔炎（stomatitis）是一种疾病，指口腔黏膜或舌黏膜发生的炎症。该病的成因可以分为与口部有关及与全身有关，前者包括口部卫生欠佳、装得不妥当的假牙、或是由灼热食物造成的烫伤
醛固酮增多症醛固酮增多症（hyperaldosteronism），是一种由于肾上腺产生的醛固酮过多导致的疾病。醛固酮过多可进一步造成血液中钾水平降低（低钾血症）和氢离子排泄增多（碱中毒（英语：alkalosis））。醛
啤酒酵母酿酒酵母（学名：Saccharomyces cerevisiae，又称面包酵母或者啤酒酵母，出芽酵母。酿酒酵母是与人类关系最广泛的一种酵母，不仅因为传统上它用于制作面包和馒头等食品及酿酒，在现代分
维尼维尼可以指：
倭马亚王朝倭马亚王朝（阿拉伯语：أمويون‎），或译为伍麦叶王朝、奥米雅王朝、奥玛雅王朝，在古中国《旧唐书》中被称为白衣大食，是由倭马亚家族统治的哈里发国，是阿拉伯帝国的第一个世袭王
苯并[ia]芘苯并芘（英语：Benzopyrene），化学式：C20H12，是一种五环多环芳香烃类，是一个高活性的间接致癌物质、诱变剂和致畸的物质，结晶为黄色固体。这种物质是在300到600°C之间的不完全燃烧状态
退伍退伍（英语：Military discharge），指服完常备役或预备役之后，离开军队，恢复一般公民身份至社会工作之军人。