博文
全部博文|在中法文化之间流连|
不确定性问题和算法讨论|
智能哲学|
NP理论|
非经典逻辑与中国传统逻辑|
英语博文|
图灵论著专研与精译工作群|
AI伦理与社会群|
周剑铭论中国思想与中西文化系列文章|
在法国教逻辑课|
教学中的文化视角|
师徒对话|
Paul Jorion的书译文|
解读哥德尔不完全性定理|
波普尔的《科学发现的逻辑》|
《易经》学习|
系统思维|
- 质疑康托尔对角线法讨论的文本编辑
- 与少量的质疑哥德尔不完备性定理的讨论相比，网上有大量质疑康托尔对角线法讨论。我编辑几个可能有代表性的资料： 1. 质疑康托尔对角线法的论坛（ 1 ） 2. 质疑康托尔对角线法的论坛（ 2 ） 3. 质疑康托尔对角线法的书 4. 质疑康托尔对角线法的最新文章 5. 追本溯源康托尔对角线法的文章 *** ...
- 集合论： 你应该相信吗？ - N J Wildberger
- 热度 1
- 这是澳大利亚新南威尔士大学数学学院教授 N J Wildberger 对集合论严厉批评的文章： https://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf 集合论： 你应该相信吗？ N J Wildberger School of Maths UNSW Sydney NSW 2052 Australia webpages: http://web.maths.unsw.edu.au/~norman ...
- 端午节：《人类非物质文化遗产代表作名录》
- 端午 节在 2009 年被 联合国教科文组织（UNESCO）列入《人类非物质文化遗产代表作名录》。 这是 UNESCO对 端午 节的介绍： 从 农历五月初五开始，中国和世界各地的各民族成员庆祝端午节，特别是在长江中下游地区。虽然各地区的庆祝活动各不相同，但它们确实有一些共同的特点。除了祭祀当地英雄的纪念仪式外 ...
- 伦敦西区观看音乐剧《悲惨世界》
- 伦敦西区（ West End ）剧院林立，和美国的百老汇一样，是世界最为重要的两大戏剧中心。在这里，一个剧院常常经年累月只上映一部音乐剧，如皇后剧院（ Queen's Theatre ）的音乐剧 —— 《悲惨世界》（ Les Misérables ）。 《悲惨世界》是由法国音乐剧作曲家克劳德 - 米歇尔 · 勋伯格（ Claude-Mich ...
- 图灵文章《论可计算数及其在判定问题上的应用》的第9章译文
- 9. 可计算数的范围 还没有人试图证明 “ 可计算 ” 的数包括所有被自然当做可以计算的数。所有可以给出的论证本质上都局限于直觉，而且由于这个原因，在数学上相当不令人满意。真正的问题是， “ 什么是在计算一个数时可能的过程？ ” 我将使用的论证有三种。 ...
- 康托尔论对角线法的论文 - “关于所有实数代数集合的一个属性”
- 康托尔（ Georg Cantor ， 1845 - 1918 ）关于对角线论证的著名 德语 论文首次发表在 1890年 德国数学联盟（ Deutsche Mathematiker-Vereinigung ）的期刊上 。 一，英文译文 https://web.archive.org/web/20060423090728/http://uk.geocities.com/frege%40btinternet.com/cantor/diagarg.htm In t ...
- 关于康托尔理论的争议
- 热度 1
- 在数理逻辑中，康托尔定理指康托尔（ Georg Cantor ， 1845—1918 ）提出的关于无限集的理论，虽然这项工作已经成为经典集合论的一个标准内容，但它在几个方面一直受到了数学家和哲学家的批评。 一，康托尔定理 康托尔定理指在 ZFC 集合论中任何集合 A 的幂集（所有子集的集合）的势严格大于 A 的势，此 ...
- “绝望地寻求数学真理” - 纳森（Nathanson）
- 纳森（ Melvyn Bernard Nathanson ， 1944 年。美国数学家，专门研究数论，纳森是纽约数论研讨会的共同组织者，美国科学促进会和纽约科学院的成员。 纳森的 “ 绝望地寻求数学真理 ” （ Desperately seeking mathematical truth ）发表在 2008 年 8 月的美国数学学会通讯（ Notices of the American M ...
- 简介“浮世绘”
- “ 浮世绘 ” 这一名词最早出现于 1681 年（天和元年）日本发行的俳谐书《各种各样的草》。 “ 浮世 ” 一词是日本的佛教中指相对于 “ 净土 ” 的概念，指浮华世界的众生百态。 唐代发明的雕版印刷术传到日本之后，最早是僧侣用来印刷经书。后来到了江户时期，结束了内战的日本社会 ...
本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏
