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

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

皮亚诺与皮亚诺公理: 柳渝 2023-2-7 00:03; 皮亚诺（ Giuseppe Peano ， 1858 － 1932 ）是意大利数学家、逻辑学家、语言学家，毕生致力于建立数学基础和发展形式逻辑语言，提出了著名的自然数公理化系统。一，主要著作皮亚诺的主要著作有《算术原理：用一种新方法的说明》（ 1889 年）、同别人合著的《数学公式汇编》（或译为《数学的陈 ...; 个人分类: 解读哥德尔不完全性定理|4738 次阅读|没有评论

“普通唯理语法” - Antoine Arnauld，Claude Lancelot: 柳渝 2023-1-30 01:06; “ 普通唯理语法（ Grammaire générale et raisonné ， Grammaire de Port-Royal ） ” 是西方语言学史上的一部重要著作，以清晰自然的方式解释说话艺术的基础，作者是法国人安托尼 · 阿尔诺（ Antoine Arnauld ， 1612-1694 ） / 克洛德 · 朗斯洛（ Claude Lancelot ， 1615-1695 ）。 ...; 个人分类: 解读哥德尔不完全性定理|1720 次阅读|没有评论

“前提（prémisse）” 术语溯源: 柳渝 2023-1-26 22:12; 一个 “ 前提（ prémisse ） ” 是一个命题，一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa ： prae （向前），和 mittere （发送）。 Aristote a déclaré que tout argument logique pourrait être réduit à deux prémisses et une conclusion1. Par exemple : 亚里士多德指 ...; 个人分类: 在法国教逻辑课|1792 次阅读|没有评论

Richard Whately 与“逻辑学要素”（Elements of Logic）: 柳渝 2023-1-24 06:01; Richard Whately （ 1787-1863 ），英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家，还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广义教会人士，是一位多产的、涉及广泛主题的作家，性格张扬，也是最早认识到简 - 奥斯汀（ Jane Austen ）才华的评论家之一。 Whately 是十九世纪初 ...; 个人分类: 解读哥德尔不完全性定理|1392 次阅读|没有评论

用一个音节的字解释哥德尔第二不完全性定理 - George Boolos: 柳渝 2023-1-21 01:22; 一，译文用一个音节的话解释哥德尔第二不完全性定理 - George Boolos 首先，当我说 “ 证明 ” 时，我的意思是 “ 在整个数学的帮助下证明 ” 。那么现在，大家都知道：二加二等于四。当然，二加二等于四是可以证明的（正如我所说的，借助于整个数学来证明，虽然对于二加二，我们并不需 ...; 个人分类: 解读哥德尔不完全性定理|1509 次阅读|没有评论

希尔伯特计划（Hilbert’s Program）: 柳渝 2023-1-21 01:08; 在数学领域，希尔伯特计划（ Hilbert’s Program ）是由德国数学家大卫 - 希尔伯特（ David Hilbert ）在 20 世纪早期制定的，是对数学基础危机的一种拟议解决方案，当时早期试图澄清数学基础的努力被发现存在悖论和不一致。作为一个解决方案，希尔伯特提议将所有现有的理论建立在一套有限的、完整的公理之上，并 ...; 个人分类: 解读哥德尔不完全性定理|2119 次阅读|没有评论

乔治-布洛斯 (George Boolos): 柳渝 2023-1-19 22:33; 乔治 - 布洛斯 (George Boolos ， 1940 – 1996) ，美国哲学家和数理逻辑学家，曾在麻省理工学院任教。 Boolos 是希腊 - 犹太后裔。他在雷蒙德 - 斯穆利安（ Raymond Smullyan ）的指导下完成了题为 “ 哥德尔第一不完全性定理的简单证明 ” 的论文，毕业于普林斯顿大学，获得数学学士学位。 ...; 个人分类: 解读哥德尔不完全性定理|1814 次阅读|没有评论

数学是“问题求解”还是“定理理证明”? - Carlo Cellucci: 柳渝 2023-1-18 07:57; Is Mathematics Problem Solving or Theorem Proving? 数学是 “ 问题求解 ” 还是 “ 定理证明 ”? 1 引⾔ 2 数学家对数学方法的看法 3 分析方法 4 分析的与公理的 5 问题与定理 6 对⽴还是强调 ...; 个人分类: 解读哥德尔不完全性定理|854 次阅读|没有评论

2023年“世界逻辑日”：倡议重读哥德尔1931年论文: 热度 1 柳渝 2023-1-14 18:13; 2020年1月14日“世界逻辑日”创建之际，联合国教科文组织总干事奥黛丽-阿祖莱女士致辞 : 为了提高人们对逻辑的重要性的认识，教科文组织宣布1月14日为“世界逻辑日”。之所以特地选择1月14日，是为了纪念二十世纪的两位逻辑学巨匠：库尔特·哥德尔（KurtGödel），去世于1978年1月14日，其不 ...; 个人分类: 解读哥德尔不完全性定理|2290 次阅读|6 个评论热度 1

皮尔士对笛卡尔的批判与可错论: 柳渝 2023-1-12 13:54; 皮尔士以笛卡尔为批判对象，通过对独断论与怀疑论的双重批判，展开了他的可错论的论述。首先皮尔士批判独断论。笛卡尔在 “ 我思故我在 ” 的论题中找到了科学确定性，皮尔士却希望人们对于 “ 我思故我在 ” 产生怀疑，甚至他认为这句话本身就是错误的，它的错误性就在于笛卡尔对它赋予了真理性、不可 ...; 个人分类: 在中法文化之间流连|1623 次阅读|没有评论

1 ... 6 7 8 91011 12 13 14 ... 65 下一页

会议

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

GMT+8, 2024-7-27 10:37

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部