• 說謊者悖論 集合悖论 罗素悖论(书目悖论) 理发师悖论 柯里悖论 希爾伯特旅館悖論 康托爾悖論 布拉利-福爾蒂悖論 斯科倫悖論 数理逻辑悖论 停机问题 哥德尔不完备定理 飲者悖論 理查茲悖論 概率學悖论 生日悖論 意外絞刑悖論(老虎悖論) 聖彼得堡悖論 阿萊悖論 艾爾斯伯格悖論 伯特蘭悖論 錢包悖論 彩票悖論(英语:Lottery...
    4 KB (543 words) - 07:38, 9 March 2025
  • 游行队伍悖论 阿基里斯悖論 两分法悖论 湯姆生的燈悖論 說謊者悖論 集合悖论 罗素悖论(书目悖论) 理发师悖论 柯里悖论 希爾伯特旅館悖論 康托爾悖論 布拉利-福爾蒂悖論 斯科倫悖論 数理逻辑悖论 停机问题 哥德尔不完备定理 飲者論 理查茲悖論 概率學悖论 生日悖論 意外絞刑悖論(老虎悖論) 聖彼得堡悖論...
    26 KB (3,951 words) - 14:04, 20 June 2025
  • 鱷魚悖論(英語:crocodile paradox),由斯多葛派哲学家提出,并记载于拉尔修的《哲人言行录》。悖论的故事情节为一条鳄鱼从一位母亲怀中夺走她的孩子,并由此引发一系列两难的情境。尽管被视为一种悖论,但因涉及到难以解决的两难处境,故也称为鳄鱼困境(英语:Crocodile Dilemma)。...
    4 KB (602 words) - 04:09, 21 March 2025
  • 罗素悖论(英語:Russell's paradox),是英國哲學家伯特兰·罗素於1901年提出的悖论,是一个关于类的内涵问题。 罗素悖论有一些更为通俗的描述,如理发师悖论、书目悖论。但理髮師悖論被一些人認為只是罗素悖论的一種描述方式,僅以理髮師悖論並無法完全敘述羅素悖論。罗素悖论在类的理论中通过内涵公理而得到解决。...
    4 KB (964 words) - 23:17, 5 August 2024
  • 連鎖悖論(英語:Sorites paradox),又稱堆垛悖論,最早由古希臘的墨伽拉學派哲學家歐布利德斯等人提出的古老悖論。因人類的語言多具有含糊的語詞,所以由一系列正確的推理,卻能得到一個明顯為假的結果。 連鎖悖論的加法型態稱為王氏悖論、麥子堆悖論,王氏悖論由王浩所提出。以下用一個情境做說明: 前提:1為一個很「小」的數...
    3 KB (488 words) - 14:48, 30 May 2024
  • 未解決問題列表可以指許多領域的猜想或開放問題的列表: 未解決的物理學問題 未解決的生物學問題 未解決的神經科學問題 未解決的醫學問題 未解決的化學問題 未解決的地球科学問題 未解決的數學問題 未解決的統計學問題 未解決的計算機科學問題 未解決的信息理论問題 未解決的哲學問題 未解決的語言學問題 悖论列表...
    1 KB (69 words) - 13:22, 27 May 2024
  • 有趣数字悖论是在尝试将自然数分类为「有趣的」与「无趣的」两类数时,产生的一个半开玩笑的悖论。这个悖论宣称,所有的自然数都是有趣的。其「证明」来自于反证法:如果无趣自然数的集合存在,那么其中必然有最小的自然数——然而最小的无趣自然数本身就是一个有趣的数,因为它是最小的无趣自然数,而这便导出了矛盾。...
    6 KB (680 words) - 10:26, 8 January 2025
  • 《極速悖論》(英語:We Go Fast On Trust)是一部由芒果TV、湖南卫视、芒果超媒共同出品的电视剧,由黄颖湘擔任導演,柯佳嬿、翟子路领衔主演,改編自晋江文学城作者焦糖冬瓜的同名小說《极速悖论》。作为中国第一部以方程式赛车竞技为主题的电视剧,講述梦想成为专业赛车手的陈墨白与空气动力学工...
    7 KB (312 words) - 12:09, 30 January 2025
  • 悖論属于后者。拉姆齐认为,逻辑矛盾涉及数学或逻辑术语(例如类,数),因此表明存在逻辑问题。而语义矛盾除纯逻辑术语外还涉及“思想”,“语言”,“符号”等概念,它们是经验性(非形式)术语。语义矛盾也被称为认识矛盾。该方法被认为是当前的标准的悖论分类方法。 柯里悖论可以像罗素悖论一样,以集合或属性...
    9 KB (1,148 words) - 06:54, 21 May 2025
  • 帕隆多悖论(Parrondo's paradox),是博弈中的悖论,指多個失败策略的组合反成为获胜策略。 1996年,帕隆多(英语:J._M._R._Parrondo)发现此悖论。 帕隆多在对布朗棘轮的分析中设计此悖论。布朗棘轮是物理学家费曼的思想实验,設想一台能从的随机热运动中提取能量的機器。...
    8 KB (781 words) - 06:25, 19 July 2024
  • 列表僅列出常見的色彩,色彩的多樣性使得在實際上難以全部列舉或命名。另外由於各種顯示器在未經校正前有色差存在,因此以下的色彩呈現僅供參考。 本列表依三原色光模式、印刷四分色模式、HSV色彩属性模式排列: 黑褐墨綠深藍及紫色 綠藍悖論(grue & bleen) 彩虹色...
    41 KB (215 words) - 11:31, 23 May 2025
  • 哥德尔不完备定理 (category 模型)
    悖论。而逻辑系统不能含有悖论,所以这样的A应该是构造不出来的。哥德尔定理证明的巧妙之处就在于将悖论的“为假”改为了“为不可证”使得真值为真和含义为真成为不一致(含义为真是不可证,而真值为真或假都是可证),因而产生了自我否定又避免了循环的效果,也就避免了悖论。...
    21 KB (3,451 words) - 03:48, 19 March 2025
  • - 塔斯基悖论正是豪斯多夫所用技术的一个推广应用。 逻辑学家常常对逻辑上不一致的命题使用“悖论”一词,例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论,它是一个已证明的定理,只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理,这种反常的结论被用作反对使用该公理的理据。...
    9 KB (1,569 words) - 19:11, 23 June 2023
  • 航天飞机 小行星 小行星带 小行星族 柯伊泊带 地心说 日心说 平行宇宙 宇宙大爆炸 弦理论 本特利悖论 奥尔贝斯悖论 天体力学 球面三角学 相对 恒星演化 戴森球 动物园假说 费米悖论 通古斯大爆炸 以下列表包括自1965年以后人类的太空活动: 以下模板包括针对不同探测对象的探测任务: 以下模板包括不同国家发起的探测任务:...
    5 KB (171 words) - 22:34, 12 January 2023
  • 因假定尚待论证中的基本论点而产生的谬误; 把不是原因的事物作为原因而产生的谬误; 将多个问题并成一个问题而产生的谬误。 谬誤 谬誤列表 谬誤论证 非形式谬误 形式谬误 悖论 悖论列表 非形式逻辑 逻辑 Aristotle; Translated by W. A. Pickard-Cambridge. On...
    8 KB (887 words) - 19:42, 22 December 2022
  • 悖论,例如理发师悖论-一個理髮師他只為(而且一定要為)城裡所有不為自己刮鬍子的人刮鬍子,那理髮師該為自己刮鬍子嗎? 集合在数学中是极其重要的;事實上,採用现代的形式化定義,多種数学对象(数、关系、函数等等)都可以用集合来構建。 在朴素集合...
    7 KB (996 words) - 11:16, 25 November 2023
  • 在数学中,康托尔悖论是集合的一个定理,即没有最大的基数,所以“无限大小”的搜集自身是无限的。进一步的,从这个事实得出这个搜集不是集合而是真类;在von Neumann-Bernays-Gödel集合中从这个事实得出大小限制公理,即这个真类和所有集合的集合之間存在雙射。所以,不只是有无限多个无限,而是这个无限大于无限的任何枚举。...
    4 KB (600 words) - 23:13, 22 August 2023
  • 法國悖論(英語:French paradox)這個口頭禪是在1980年代後期首度開始使用,包含有明顯矛盾的流行病學觀察結果,即法國民眾飲食中飽和脂肪相對豐富,但是冠狀動脈疾病 (CHD) 發病率卻相對較低,這顯然與人們普遍認為大量攝取飽和脂肪,會增高罹患CHD風險的說法相互矛盾。如果飽和脂肪與CHD...
    28 KB (3,346 words) - 14:09, 18 May 2025
  • 停机问题 (category 递归)
    。其意义相同于可确定语言。显然任意有限 S 是可判定性的,可数的(countable)S 也是可停机的。 停机问题包含了自我指涉,本质是一阶逻辑的不完备性,类似的命题有理发师悖论、全能悖论等。 假设停机问题有解,即:存在过程H(P, I)可以判断对于程序P在输入I的情况下是否可停机。假设P在输入I时可停机,H输出“停机”,反之输出“死循环”,即可导出矛盾:...
    4 KB (718 words) - 23:31, 30 November 2024
  • 悖论。羅素在1903年他所著的《数学原理》中也用此悖論來評論當時的歐陸數學。 不過上述的爭論沒有使數學家放棄集合論,恩斯特·策梅洛及亚伯拉罕·弗兰克尔分別在1908年和1922年的研究.最後產生了策梅洛-弗兰克尔集合...
    22 KB (3,659 words) - 16:39, 5 February 2025
  • 悖論 撰文者:賴昭正(轉載自科學月刊). [2018-05-27]. (原始内容存档于2018-07-09).  最新實驗宣告愛因斯坦隱變數理論出局?北美新浪2015/09/07. [2018-03-20]. (原始内容存档于2020-06-06).  正義 唯名論 概念 實證 科学实在 陳嘉映:〈關於科學實在論的幾點思考〉...
    9 KB (1,083 words) - 22:49, 7 November 2023
  • 在水生生物学中,浮游生物悖论(英語:paradox of the plankton)描述的是有限的资源卻意外地支持了大量浮游生物物种的情况,這显然挑戰了竞争排除原则,即两个物种竞争相同的资源时,有一个會佔劣勢而灭绝。 浮游生物悖论源于观察到的浮游生物多样性与竞争排除原则(也称为高斯定律)之间的矛盾...
    6 KB (625 words) - 15:04, 18 May 2025
  • 策梅洛-弗兰克尔集合(英語:Zermelo-Fraenkel Set Theory),是数学基础中最常用的一階公理化集合。含选择公理時常简写为ZFC,不含選擇公理的則簡寫為ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合理论所提出的一个公理系统。 ZFC旨在构建自一个单一的基本本体...
    22 KB (3,107 words) - 15:20, 14 March 2025
  • 双面真理说 (category 悖论)
    同时“肯定”和“否定”同一命题也是自相矛盾的悖论。 最后需要澄清一些相关概念间的区别。首先,不可把双面真理说与次协调逻辑相混淆。次协调逻辑否定爆炸原理,而双面真理说却不必然主张这点。当然,主张次协调逻辑者都会在某种程度上接受双面真理说。 最后,双面真理说也不等同于瑣碎。后者认为所有矛盾都是真的,但前者仅认为有些矛盾为真。...
    2 KB (333 words) - 01:17, 19 August 2021
  • 类 (数学) (category 集合)
    真類不能是一個集合或者是一個類的元素,而且不受ZF集合論中的公理所限制;因此避免掉了許多樸素集合論中的悖論。反而,這些悖論成了證明某一個類是否為真類的方法之一。例如,羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類,而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。...
    3 KB (457 words) - 12:59, 4 November 2024
  • 数学方法和数学基础等问题。 现代数学哲学的研究内容包括: 数学基础的研究,羅素的逻辑主义、布勞威爾的直觉主义和希尔伯特的形式主义等流派; 数学悖论的研究,探讨悖论的排除及彻底解决的可能性; 数学本体的研究,探讨数学的研究对象是否为客观的真实的存在;数学真理性的研究等。 哲学主题 数学主题 自然哲学...
    1 KB (152 words) - 15:51, 28 April 2025
  • 正则性公理 (category 集合公理)
    值得强调的是,超集合理论是经典集合的扩展而非替代者:在超集合领域内的良基集合符合经典集合。可以在新基础或正集合(或更一般的说带有是自身的元素的全集的任何集合)中找到的非良基种类是非常不同的。 罗素悖论的存在说明了朴素集合(无超集限制的概括公理模式和外延公理)不具有一致性。为避免产生悖论...
    9 KB (1,457 words) - 14:04, 9 May 2024
  • Rosser证明了蒯因的集合遭受Burali-Forti悖论。在1950年,王浩展示了如何修正蒯因的公理来避免这个问题,蒯因在1951年第二和最终版本的《数理逻辑》中包括了结果的公理化。 公理化集合 ZFC 数学的集合实现 自然数的集合定义 正集合 可替代的集合 Holmes, Randall...
    13 KB (2,282 words) - 06:05, 26 September 2024
  • 在前提中,术语X用于表示Y, 结论中的术语X用于表示Z。 具体的例子可参见文献。 辨谬篇 谬誤 谬誤列表 谬誤论证 悖论 亚里士多德 著; 余纪元 等 翻译. 工具(上下), 中国人民大学出版社, ISBN:9787300051185, 出版时间: 2003.  Krabbe, E...
    2 KB (124 words) - 06:23, 25 September 2021
  • 大过滤器理论 (category 费米悖论)
    大过滤器理论是解释费米悖论的一种假说。大过滤器理论假设,在生命的发展过程中,即从生命起源的早期阶段到卡尔达肖夫指数的最高等级(即Ⅲ级,可利用所在星系全部资源)的过程中,存在着一些特殊的发展障碍(被称作“过滤器”)。因此,人类可探测到的地外生命极其罕见。 大过滤器这个概念由罗宾·汉森(英语:Robin...
    15 KB (1,990 words) - 15:14, 23 April 2024
  • 逻辑词汇表 (category 自2025年5月未完成列表)
    自反关系——集合中每个元素都和自身相关的二元关系 反驳——辩论术语 关系语义 推理规则——把相关领域的专家知识形式化地描述出来,形成系统规则的过程 罗素悖论——英國哲學家羅素提出的悖論 模式 达纳·斯科特——美国科学家 二阶逻辑 自我引用 符号学——主要研究符号的本质、符号的发展变化规律、符号的各种意义以及符号与人类多种活动之间关系的学术领域...
    10 KB (1,804 words) - 20:22, 4 June 2025