科学网—liuyu2205的博文 - 第13页

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › liuyu2205的博文

liuyu2205

https://blog.sciencenet.cn/?2322490

在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习| 系统思维|

哥德尔给策梅洛的回信: 柳渝 2022-5-5 17:05; 1931 年 9 月，策梅洛写给哥德尔的信中批评哥德尔的证明有误，哥德尔遂给策梅洛的回信。在Grattan-Guinness的这篇文章中有哥德尔的回信原文，因德文我无法翻译成中文，但通过Grattan-Guinness的转述，我们对哥德尔回信的内容可以略知一二。格拉坦 - 吉尼斯（ Ivor Grattan-Guinness ， 1941-2014 ）是英 ...; 个人分类: 解读哥德尔不完全性定理|3089 次阅读|没有评论

策梅洛写给哥德尔的信: 柳渝 2022-5-5 16:18; 1931 年 9 月，恩斯特 - 策梅洛（ Ernst Zermelo ）写信给哥德尔，告知他认为哥德尔证明中存在一个 “essential gap （重要的漏洞） ” （ Dawson, p. 76 ）。 10 月，哥德尔回了一封长达 10 页的信（ Dawson ，第 76 页， Grattan-Guinness ，第 512-513 页），他指出策梅洛错误地假 ...; 个人分类: 解读哥德尔不完全性定理|3180 次阅读|没有评论

关于“哥德尔的不完全性定理”的讨论（2）: 柳渝 2022-5-4 02:13; 关于 “ 哥德尔的不完全性定理 ” 的讨论 - 2022/4/19 - 20 （ https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-revisited-par-yu-li/ ） un lecteur：阅读 Druuh ，我有一种感觉，那就是接近于肯定数学语言存在于永恒中，没有 ...; 个人分类: 解读哥德尔不完全性定理|2648 次阅读|没有评论

关于“哥德尔的不完全性定理”的讨论（1）: 热度 1 柳渝 2022-5-2 23:45; 关于“哥德尔的不完全性定理”的讨论 - 2022/4/15 - 19 Paul Jorion 于 2007 年 2 月建立了他的博客（ https://www.pauljorion.com/blog/ ），就各种社会，思想和学术方面的议题与公众进行讨论。他把我的文章（ https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-r ...; 个人分类: 解读哥德尔不完全性定理|2559 次阅读|3 个评论热度 1

重读哥德尔1931年论文的第一章 - 什么是“不可判定问题”？: 柳渝 2022-5-2 22:38; 我于 4 月 9 日出席了在希腊的克里特岛（ Crete ）举行的 Unilog2022 国际会议，我第一次向学术界介绍我和 Paul Jorion ( https://blog.sciencenet.cn/blog-2322490-1215246.html) 合作，从不同角度解读哥德尔不完全性定理：我主要从算法和逻辑的角度，而Paul Jorion 主要从知识论的角度解读。我们质 ...; 个人分类: 解读哥德尔不完全性定理|3400 次阅读|没有评论

译文：计算机是否准备好了解决这个棘手的数学问题？- 考拉兹猜想（Collatz conjecture）: 柳渝 2022-4-29 06:03; 计算机是否准备好了解决这个棘手的数学问题？ - Siobhan Robert 据说，考拉兹猜想（ Collatz conjecture ）是由德国数学家考拉兹（ Lothar Collatz ）在 20 世纪 30 年代首次提出的，它提供了一个生成数列的方法或算法：给定一个正整数，如果是偶数，则将其除以 2 ；如果是奇数，则将其乘以 3 再加 ...; 个人分类: 解读哥德尔不完全性定理|3912 次阅读|没有评论

哥德尔1931论文第一章的译文: 柳渝 2022-4-16 04:32; 哥德尔在 1931 年的著名文章《论数学原理和相关系统中形式上不可判定命题 I 》 (On Formally Undecidable Propositions of Principia Mathematica and Related Systems I ）中声称证明了《数学原理》（ Principia Mathematica ， PM ）中所报告的系统的不完备性（如皮亚诺算术， Peano Arithmetic ， ...; 个人分类: 解读哥德尔不完全性定理|2455 次阅读|没有评论

罗素的“摹状词理论”（theory of description）: 热度 1 柳渝 2022-3-24 22:16; 罗素（ Bertrand Russell ）在语言哲学最为人知的，莫过于他的摹状词理论（ theory of description ），被誉为分析哲学的典范。该理论的最早阐发是由罗素在 1905 年的一篇论文《论指称》（ On Denoting ）中完成的。摹状词理论当中最知名的一环，则是分析虚拟事物的存在问题。虚拟事物的存在 ...; 个人分类: 解读哥德尔不完全性定理|6403 次阅读|1 个评论热度 1

“索卡尔的骗局：我们在嘲笑谁？” - 玛拉-贝勒（Mara Baruch）: 柳渝 2022-3-23 06:43; 玛拉 - 贝勒（ Mara Baruch ）是世界上重要的量子力学史学家，对于 “ 索卡尔事件 ” ，她认为，指责后现代哲学家从量子物理学中得出无意义的结论并不完全公平，因为许多这样的结论是由一些领先的量子物理学家自己提出的，比如玻尔或海森堡在涉足哲学时得出的。对于 “ 索卡尔事件 ” ，贝勒 ...; 个人分类: 解读哥德尔不完全性定理|3173 次阅读|没有评论

《智力的骗局》（Impostures intellectuelles）- 第10 章: 柳渝 2022-3-22 18:15; 继 “ 索卡尔的恶作剧 ” 后，索卡尔（ Alan Sokal ）与比利时物理学家让 - 布里克蒙（ Jean Bricmont ）联手写了一本书《智力的骗局》（ Impostures intellectuelles ），这本书专门批判社会学家或哲学家对自然科学的误用，详细阐述了他们的看法。第 10 章：哥德尔定理和集合理论的一些滥用情 ...; 个人分类: 解读哥德尔不完全性定理|1848 次阅读|没有评论

1 ... 9 10 11 121314 15 16 17 ... 18 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-9-21 02:38

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部