Entscheidungsproblem（判定问题）

柳渝 2022-2-13 17:38

哥德尔的不完备性定理（ On Formally Undecidable Propositions of Principia Mathematica and Related Systems I ）与图灵的图灵机（ On Computable Numbers, with an Application to the Entscheidungsproblem ），都是源于解决希尔伯特提出的 Entscheidungsproblem （判定问题）。 Brian Jack Copeland ...

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

数学问题 - 1900年在巴黎国际数学家大会上的演讲 大卫-希尔伯特

热度 1 柳渝 2022-2-13 13:31

数学问题 - 1900 年在巴黎国际数学家大会上的演讲 大卫 - 希尔伯特 我们谁不愿意揭开隐藏在未来的面纱，瞥一眼我们科学的下一步进展和未来几个世纪发展的秘密？未来几代人的主要数学精神将朝着什么特别的目标而努力？在广泛而丰富的数学思想领域中，新的世纪将披露哪些新方法和新事实？ ...

个人分类: 解读哥德尔不完全性定理|3868 次阅读|1 个评论 热度 1

《数学领域的发明心理学》与雅克·阿达玛的“意象”

柳渝 2022-2-10 23:58

“ 故画竹必告得成竹于胸中，执笔熟视，乃见其所欲画者，急起从之。 ” - 宋 · 苏轼《文与可画谷偃竹记》 雅克 · 阿达玛（ Jacques Hadamard ， 1865 年 12 月 8 日－ 1963 年 10 月 17 日）是法国数学家，他最有名的是他的 素 数 定理证明。 1936 年曾受清华大学邀请至中国讲 ...

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

[转载]《科学革命的结构》序 - Thomas S. Kuhn

柳渝 2022-2-8 16:32

序 下文是第一次发表我差不多十五年以来的构思。十五年前，我还是一个就要完成学位论文的理论物理学研究生。我有幸参加了一门为非自然科学家讲述物理科学的实验大学课程，这才第一次使我对科学史有所了解。完全出乎我意外的是，这种对过时的科学理论和实践的说明，竟彻底摧翻了我对科学本质及其所以能够获得特殊 ...

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

《科学革命的结构》 - Thomas S. Kuhn

柳渝 2022-2-8 16:30

《科学革命的结构》（ The Structure of Scientific Revolutions ， 1962 年），是哲学家托马斯 ·S· 库恩 (Thomas S. Kuhn ， 1922 － 1996) 撰写的一本关于科学哲学、科学史的书，内在地重塑了科学的真理观，标志着20世纪科学哲学的转折点。 库恩挑战了当时盛行的科学进步观：将科学进 ...

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

简介“形式主义的内在局限”与Jean Ladrière

柳渝 2022-2-6 01:30

“ 形式主义的内在局限 - 研究哥德尔定理和相关定理在数学基础理论中的意义 ” 一书的作者让 - 拉德里埃（ Jean Ladrière ， 1921-2007 ），比利时哲学家、逻辑学家和卢万天主教大学的教授，他曾是高等哲学研究所的主席。 一，前言 1 ，译文 在过去的半个世纪里，数学基础研究经历 ...

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

译文：皮尔士的真值-函数分析和真值表的起源 - Irving H. Anellis

柳渝 2022-2-4 21:05

“ 真值表 ” 在命题逻辑占有重要地位，成为传统逻辑过度到现代逻辑的重要标志。 一般认为真值表最早出现在1921年罗素 （ Bertrand Russell, 1872 － 1970 ） 和维特根斯坦（ Ludwig Wittgenstein ， 1889—1951 ）的工作中，但是早在 1893 年皮尔士（ Charles Sanders Peirce ， 1839-191 ...

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

译文：皮尔士关于“说谎者悖论”的悖论式解决 - EMILY MICHAEL

柳渝 2022-1-28 23:37

一，译文 1 ，皮尔士对问题的分析（ 1864-65 ） 在 1864-65 年发表的一系列演讲（在哈佛大学发表的科学哲学演讲）的第 1 讲和第 3 讲中，皮尔斯讨论了 “ 说谎者悖论 ” 。在第 1 讲中，他讨论了句子 “ 此命题本身是假的（ This very proposition is false ） ” ；在第 3 讲 ...

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

《如何使我们的观念清晰》 （1） 皮尔士

柳渝 2022-1-13 22:22

皮尔士在《通俗科学月刊》（ Popular Science Monthly ）上发表的《信念的确定》（ The Fixation of Belief ， 1877 ）与《如何使我们的观念清晰》（ How to Make Our Ideas Clear ， 1878) ，被认为是实用主义的代表作。 （注：这是重新翻译的文本） 《如何使我们的观念清晰》 - 皮尔士 ...

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

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