周期
共找到 12 条记录
文摘   2024-07-23 06:18   浙江  
[逻辑推理能力是人类智能中最基本的能力。逻辑推理趣题可以帮助你检验和提高自己的逻辑推理能力。怎么样,你不挑战一下试试?]问题36:通过马拉松折返点的顺序?[编译并修改:程京 ...
文摘   2024-07-22 06:58   浙江  
    本文举例分析说明一些对“哥德尔不完全性定理”的误解误用,期待本文能够为逻辑学专业学者不再“忽悠”以及大量的非专业学者不再“被忽悠”有所贡献。[微笑]    哥德尔证 ...
文摘   2024-07-19 06:18   浙江  
[逻辑推理能力是人类智能中最基本的能力。逻辑推理趣题可以帮助你检验和提高自己的逻辑推理能力。怎么样,你不挑战一下试试?]问题35:谁一定在宿舍?[编译并修改:程京德;原典: ...
文摘   2024-07-18 08:18   浙江  
    本文举例分析说明一些对“哥德尔不完全性定理”的误解误用。期待本文能够为逻辑学专业学者们不再“忽悠”,为大量的非逻辑学专业学者们及民间人士们不再“被忽悠”有所贡献。[ ...
文摘   2024-07-16 06:18   浙江  
[逻辑推理能力是人类智能中最基本的能力。逻辑推理趣题可以帮助你检验和提高自己的逻辑推理能力。怎么样,你不挑战一下试试?]问题34:手中的卡片是赢是输?(2)[编译并修改:程 ...
文摘   2024-07-15 07:00   浙江  
    本文介绍和说明与“哥德尔不完全性定理”相关的一些事实。    哥德尔证明的两个重要定理的原始陈述如下 [1-7]:    命题IX(“第一不完全性定理”):在命题V ...
文摘   2024-07-12 09:18   浙江  
[逻辑推理能力是人类智能中最基本的能力。逻辑推理趣题可以帮助你检验和提高自己的逻辑推理能力。怎么样,你不挑战一下试试?]问题33:手中的卡片是赢是输?[编译并修改:程京德; ...
文摘   2024-07-11 08:18   浙江  
    在人类社会知识宝库的众多成果当中,哥德尔(Kurt Friedrich Gödel, 1906-1978)于1930-1931年证明的、关于基于经典数理逻辑的一类数 ...
文摘   2024-07-11 08:18   浙江  
让我们通过一个故事的形式,来探索希尔伯特和哥德尔这两位伟大数学家的贡献,并讲解哥德尔不完备定理。一、故事背景:数学的王国在20世纪初,数学是一个充满激动人心的探索领域。在这 ...
文摘   2024-07-11 08:18   浙江  
‍         刘洁民博士:北京师范大学副教授。长期从事数学史、数学文化和科学教育研究,著有《数学文化的理论与实践》等,近年来转向文化史和后现代研究。(版权所有,转载请 ...
文摘   2024-07-10 06:18   浙江  
[逻辑推理能力是人类智能中最基本的能力。逻辑推理趣题可以帮助你检验和提高自己的逻辑推理能力。怎么样,你不挑战一下试试?]问题32:兄弟四人的排行?[编译并修改:程京德;原典 ...
文摘   2024-07-09 06:21   浙江  
    在人类社会知识宝库的众多成果当中,哥德尔(Kurt Friedrich Gödel, 1906-1978)于1930-1931年证明的、关于基于经典数理逻辑的一类数 ...
数理逻辑与哲学逻辑
为在中国普及逻辑学,传授普通逻辑学、数理逻辑、以及哲学逻辑知识,解惑数理逻辑与哲学逻辑问题。 偶尔也发表一些有关计算机科学、智能科学与人工智能、高等教育等方面的文章。
 热门文章