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

设为首页收藏本站

开启辅助访问切换到宽版

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

liuyu2205

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

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

埃尔布朗（Jacques Herbrand）与哥德尔（Kurt Godel）之间的通信: 柳渝 2023-1-9 02:53; Wilfried Sieg 引读 : 两位年轻的逻辑学家在 1931 年初交换了两封信，他们的工作对严峻的逻辑产生了巨大的影响。雅克 - 埃尔布朗于 4 月 7 日发起了这一交流，而库尔特 - 哥德尔则于 7 月 25 日作出了回应，此时埃尔布朗在拉贝拉尔德 (Isere) 发生登山事故仅两天。埃尔布朗的信在可计算性 ...; 个人分类: 解读哥德尔不完全性定理|1388 次阅读|没有评论

雅克·埃尔布朗（Jacques Herbrand），法国数学家和逻辑学家: 柳渝 2023-1-3 14:35; 雅克 · 埃尔布朗（ Jacques Herbrand ， 1908 年 2 月 12 日 -1931 年 7 月 27 日），法国数学家和逻辑学家。 23 岁英年早逝，被他的教授 Helmut Hasse 和 Richard Courant 认为是 “ 年轻一代最伟大的数学家 ” 之一。 1929 年，埃尔布朗在巴黎高等师范学 ...; 个人分类: 解读哥德尔不完全性定理|1500 次阅读|没有评论

霍恩子句（Horn Clause）与逻辑编程（Logic Programming）: 柳渝 2022-12-22 20:46; 溯源 “Horn 子句 ” 来自于逻辑学家霍恩（ Alfred Horn ）在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”，首次强调了这种子句的重要性。 Horn 子句在命题逻辑中，Horn子句是带有最多一个肯定变元的子句（文字的析取）。有且只有 ...; 个人分类: 在法国教逻辑课|2472 次阅读|没有评论

“皇帝的新衣” - 安徒生（Hans Christian Andersen）: 柳渝 2022-12-20 17:16; “ 皇帝的新衣 ” 是丹麦作家安徒生写的一个民间文学故事，讲述了一个虚荣的皇帝在他的臣民面前被暴露的故事。剧情两个骗子来到一个皇帝的首都，皇帝热衷花钱买衣服打扮自己，却疏忽了国家大事。两个骗子假扮成织工，提议为皇帝提供华丽的衣服，并称这些衣服对于那些愚蠢或无能的人来说是看不见的 ...; 个人分类: 解读哥德尔不完全性定理|3738 次阅读|没有评论

什么是“形式系统”？: 柳渝 2022-12-18 06:45; 在逻辑与数学中，形式系统（ Formal system ）是由形式语言与推理规则组成，指根据推理规则从公理推出定理的抽象结构。 1921 年，希尔伯特提出用形式系统作为数学知识的基础。命题逻辑是最简单的形式系统。一，背景介绍推理和蕴含（ Inference and entailment ） ...; 个人分类: 解读哥德尔不完全性定理|2407 次阅读|没有评论

“以辞害意”溯源: 柳渝 2022-12-18 04:01; 成语 “ 以辞害意 ” 指因拘泥于辞义而误会或曲解作者的原意。 “ 以辞害意 ” 源于《孟子 · 万章上》： “ 说《诗》者不以文害辞，不以辞害志。 ” 在《红楼梦》中，香菱为了学诗，要拜黛玉为师。黛玉道： “ 什么难事，也值得去学！不过是起承转合，当中承转是两副对子，平声对仄声， ...; 个人分类: 解读哥德尔不完全性定理|1097 次阅读|没有评论

[转载]文化选择：阿费拉昔牙卜绘画: 柳渝 2022-12-11 05:04; 在丝绸之路的繁盛时期，无数的贸易路线穿越了居住在乌兹别克斯坦、塔吉克斯坦、哈萨克斯坦、吉尔吉斯斯坦的撒马尔罕、布哈拉、胡安德和彭吉肯特等城市州的粟特人领土。这些城市及其商人在丝绸之路沿线的国际贸易和文化间交流发挥了重要的作用。他们在贸易方面的影响如此显着，以至于公元 4 世纪以后，粟特语经常成 ...; 个人分类: 在中法文化之间流连|1577 次阅读|没有评论

乌兹别克斯坦绿洲的瑰宝（丝绸之路） - 卢浮宫展览（2022/11/23-2023/3/6）: 柳渝 2022-12-11 04:54; 卢浮宫于2022/11/23-2023/3/6展出“乌兹别克斯坦绿洲的瑰宝（SPLENDEURS DES OASIS D’OUZBéKISTAN）”，此展览涵盖了公元前 5 世纪至 6 世纪至铁木尔王朝统治时期，讲述了穿过今乌兹别克斯坦南部的伟大丝绸之路的历史。这个展览让我们有机会在中亚的中心地带，在乌兹别克斯坦，在撒马尔罕和布哈拉的名 ...; 个人分类: 在中法文化之间流连|1849 次阅读|没有评论

[转载]“丝绸之路” - 世界文化遗产: 柳渝 2022-12-11 04:30; 2014 年 6 月 22 日，在杜哈举行的第 38 届的世界遗产委员会会议上，丝绸之路被联合国教科文组织列为世界遗产。联合国教科文组织对网站上有关于丝绸之路的各方面丰富的介绍： https://zh.unesco.org/silkroad/guanyusichouzhilu 关于丝绸之路简介人类历史在不断迁徙中 ...; 个人分类: 在中法文化之间流连|2388 次阅读|没有评论

霍恩（Alfred Horn）与霍恩子句（Horn Clause）: 柳渝 2022-12-9 16:39; 1. 霍恩霍恩（ Alfred Horn 1918-2001 ），美国逻辑学家，因其在格子理论和通用代数方面的工作而闻名。他在 1951 年发表的论文 “On sentences which are true of direct unions of algebras” 描述了 Horn 子句和 Horn 句子，后来成为逻辑编程的基础。霍恩出生在曼哈顿下东城，父母都是聋哑人 ...; 个人分类: 在法国教逻辑课|2230 次阅读|没有评论

1 ... 7 8 9 101112 13 14 15 ... 64 下一页

会议

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

GMT+8, 2024-4-27 02:05

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部