科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
简介《聚焦哥德尔定理》
柳渝 2021-9-28 00:00
《 聚焦 哥德尔定理》( Gödel’s Theorem in Focus )是丽贝卡 - 戈尔茨坦 推荐的一本介绍 哥德尔定理的 书 ( 丽贝卡-戈尔茨坦的《不完备性:哥德尔的证明和悖论》中的“阅读建议” ) : - John Dawson 也有两篇关于哥德尔的论文,通俗而有趣。 Kurt Godel in Sharper Focus 和 T ...
个人分类: 解读哥德尔不完全性定理|1083 次阅读|没有评论
塔斯基与《形式化语言中的真理概念》- 引言
热度 1 柳渝 2021-9-27 12:56
《形式化语言中的真理概念》( The concept of truth in formalised langages )是波兰数学家、逻辑学家塔斯基( Alfred Tarski, 1902— 1983 )于 1933 年发表的文章,旨在提出关于 “ 真理 ” ( Truth )的语义学定义,对现代逻辑和许多当代语言哲学产生了重要影响。 一,《形式化语言中的真理概 ...
个人分类: 解读哥德尔不完全性定理|1287 次阅读|2 个评论 热度 1
矛盾与悖论 - 悖论可以用于反证法吗?
热度 4 柳渝 2021-9-21 17:13
“ 矛盾 ” 与 “ 悖论 ” 是逻辑中二个最基本而又相互纠缠的概念,辨析二者对理解逻辑的基本议题至关重要 ,比如:悖论可以用于反证法吗?即当推理中出现悖论时,悖论可以当作矛盾来否定前提吗? 我们对比论证 “√ 2 不是有理数 ” 的反证法与 ZF 公理系统消解 “ 罗素悖论 ” ,初步 辨析 ...
个人分类: 解读哥德尔不完全性定理|1772 次阅读|25 个评论 热度 4
丽贝卡-戈尔茨坦的《不完备性:哥德尔的证明和悖论》中的“阅读建议”
柳渝 2021-9-14 16:22
戈尔茨坦的《不完备性:哥德尔的证明和悖论》一书最后给出了关于哥德尔文献的阅读建议: 像我之前和之后的许多人一样,我第一次真正接触到哥德尔不完全性定理,并不是通过研究那篇著名的 1931 年论文本身,而是在大学期间阅读了 Ernest Nagel 和 James R. Newman 的著名的《哥德尔证明》( Godel's P ...
个人分类: 解读哥德尔不完全性定理|2753 次阅读|没有评论
丽贝卡-戈尔茨坦(Rebecca Goldstein)与《不完备性:哥德尔的证明和悖论》
柳渝 2021-9-14 14:02
一,内容简介 【1, 2, 3】 《不完备性:哥德尔的证明和悖论》( Incompleteness: The Proof and Paradox of Kurt Gödel )一书侧重从心智的角度对哥德尔的生活、工作和思想进行了精湛而全面的介绍。 作者丽贝卡 - 戈尔茨坦( Rebecca Goldstein )于 1977 年在普林斯顿大学 ...
个人分类: 解读哥德尔不完全性定理|4244 次阅读|没有评论
“哥德尔不完全性定理”的原始论文的英文译本
柳渝 2021-9-1 23:00
著名的 “ 哥德尔不完全性定理 ”是在其论文 《论数学原理及相关系统的形式上不可判定的命题 I 》( On Formally Undecidable Propositions of Principia Mathematica and Related Systems I ) 中提出的, 该论文于 1930 年 11 月 17 日提交,最初以德文发表在 1931 年的《数学月刊》上,现有几个 ...
个人分类: 解读哥德尔不完全性定理|1543 次阅读|没有评论

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

GMT+8, 2022-10-3 19:05

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部