直觉主义

✍ dations ◷ 2025-10-09 00:11:09 #直觉主义

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

相关

公共事业振兴署公共事业振兴署（英语：Works Progress Administration, WPA）（1935年－1943年），大萧条时期美国总统罗斯福实施新政时期建立的一个政府机构，以助解决当时大规模的失业问题，是新政时期（以及
心脏病学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学心脏病学（英语：cardiology）亦称心脏学，为
痛苦痛苦（英语：Suffering），一种广泛的而复杂的人类感受，意指会让人经验性地感到不舒服、不快乐等负面情绪的任何事物，它通常与受伤，或会让人受到伤害的威胁连结在一起。因为肉体受到伤
分类学家分类学（英语：Taxonomy）是一门进行分类的方法与科学，源于希腊文的.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis
法莫替丁法莫替丁（INN：famotidine），商品名称为Pepcid，是一种组胺H2受体阻抗剂，主要用于抑制胃酸的分泌，并用于治疗消化性溃疡和胃食道逆流。与西咪替丁不同，法莫替丁等第二代H2受体阻抗剂对
单氯丙二醇3-氯-1,2-丙二醇（3-MCPD），分子式C3H7ClO2。无色、有愉快性气味的吸湿性液体，放置后逐渐转变为微带绿色的黄色液体。溶于水、乙醇、乙醚、丙酮，微溶于甲苯，不溶于四氯化碳、苯和石
动物生理学生理学（英语：physiology/ˌfɪziˈɒlədʒi/; 来自古希腊语 φύσις (physis)，意即：“nature, origin”,和 -λογία (-logia)，意即：“study of” ）是生物学的一门子领域，研
瓜氨酸血症瓜氨酸血症（Citrullinemia）是一种遗传的障碍，使得血液内积聚氨及其他有毒物质。瓜氨酸血症属于一类遗传病，称为尿素循环代谢障碍。尿素循环是一连串的在肝脏内的化学反应，包括处
十二指肠腺布伦纳氏腺是位于十二指肠壁的一种外分泌腺，负责分泌弱碱性的碳酸氢盐，以中和来自胃的酸性食糜。
Visceral pleura脏胸膜（英语：Visceral pleura）覆盖于肺表面，并深入至叶间裂内的一层胸膜，叫做脏胸膜。脏胸膜与肺实质连接紧密，所以又称其肺胸膜。