罗素回应哥德尔定理（译文）

柳渝 2022-11-18 16:07

这是Alasdair Urquhart的文章“ Russell and Gödel” 的第三章“3. Russell’s response to Godel’s theorem”的译文: https://www.academia.edu/27310325/Russell_and_G%C3%B6del 3. 罗素回应哥德尔定理 伯特兰 - 罗素在 1913 年《数学原理》第三卷出版后离开了逻辑学。 ...

个人分类: 解读哥德尔不完全性定理|1745 次阅读|没有评论

哥德尔不完全性定理的接纳过程（原文） - John W. Dawson Jr.

柳渝 2022-11-14 05:23

The Reception of Gödel’s Incompleteness Theorems John W.Dawson, Jr. Die Arbeit über formal unentscheidbare Sätze wurde wie ein Erdbeben empfunden; insbesondere auch von Carnap (Popper, 1980). Kurt Gödel’s achievement in modern logic…is a landmark which will r ...

个人分类: 解读哥德尔不完全性定理|1719 次阅读|没有评论

哥德尔不完备性定理的接纳过程（译文） - John W. Dawson Jr.

柳渝 2022-11-14 05:19

哥德尔不完备性定理的接纳过程（ 译文 ） - John W. Dawson Jr. 1. 1930: 在 KÖNIGSBERG 宣布 2. 1931: 出版和对抗 3. 认可和对优先权的挑战 4. 同化与后期批判 5. 挥之不去的疑虑 6. 结论 ...

个人分类: 解读哥德尔不完全性定理|1912 次阅读|没有评论

Comment on invente les hypothèses - Frédéric Roudaut

柳渝 2022-11-2 02:23

Comment on invente les hypothèses : Peirce et la théorie de l’abduction Frédéric Roudaut, université de Caen Normandie Y a-t-il une logique de la découverte scientifique? Comment les chercheurs trouvent-ils leurs hypothèses et font-ils avancer nos c ...

个人分类: 解读哥德尔不完全性定理|976 次阅读|没有评论

如何发明假说：皮尔士和溯因理论 - Frédéric Roudaut

柳渝 2022-11-2 02:21

译文：如何发明假说：皮尔士和溯因理论 1，皮尔士和逻辑 2，推理的三段论方法 3，溯因理论 4，结论 科学发现是否有一个逻辑？研究人员如何找到他们的假说并推进我们的知识？这是皮尔士一直关注的一个核心的主题，他认为这是逻辑学中被不公 ...

个人分类: 解读哥德尔不完全性定理|2249 次阅读|没有评论

“真理”与“可证明性” - Jean-Yves Girard

柳渝 2022-8-17 15:37

对于解读哥德尔不完全性定理，理解 “ 真理 ” 与 “ 可证明性 ” 以及它们之间的关系是关键。 法国逻辑学家 Jean-Yves Girard 主持法语翻译哥德尔 1931 年的原文（ Le théorème de Godel,Ernest Nagel, James R. Newman, Kurt Godel, Jean-Yves Girard ），在 “ 符号领域或还原论的失败 ” 一文 ...

个人分类: 解读哥德尔不完全性定理|1337 次阅读|没有评论

师徒对话 - “算法的存在性”与“解的存在性”的层次 （2012/6/2）

热度 1 柳渝 2022-7-27 02:35

师：这封信集中讲 “ 问题 ” （判断）、 “ 算法 ” 与（计算） “ 解 ” 这三个层次的两种不同关系，你已经基本理解清楚了，现在主要是如何具体的进行知识的表达：解释或阐释。 首先，这三个概念在 “ 外延 ” 即 “ 分类 ” 上，是要求严格区分的，这是作为 “ 知识 ” 的基本要求， ...

个人分类: 师徒对话|1238 次阅读|1 个评论 热度 1

师徒对话 - “阐释学” （2015/4/19）

柳渝 2022-7-27 02:32

徒：您那天说起汤一介先生倡导创建中国的 “ 阐释学 ” ，觉得此倡导很有意义！ 伽达默尔的 “ 真理与方法 ” 与 “ 阐释学 ” 密切相关，可以看作是对笛卡儿 “ 方法论 ” 的发展： “ 真理与方法 ” 企图阐明在理性科学 ( 笛卡儿的方法 ) 之外，艺术、历史等社会学科，从另外一种途径 ...

个人分类: 师徒对话|1263 次阅读|没有评论

论指称 - 罗素

柳渝 2022-7-24 22:45

一，译文 论指称 - 罗素 我所说的 “ 指称短语（ denoting phrase ） ” 是指以下任何一个短语：一个人，某个人，任何一个人，每一个人，所有的人，现在的英国国王，现在的法国国王，太阳系的质心在二十世纪的第一个瞬间，地球绕太阳的旋转，太阳绕地球的旋转。因此，一个短语完全是凭借其形式 ...

个人分类: 解读哥德尔不完全性定理|4006 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏