龟虽寿原文及翻译注释:数理逻辑和“西塔潘猜想”

来源：百度文库 编辑：九乡新闻网 时间：2024/04/29 08:18:25

数理逻辑和“西塔潘猜想”

2011年10月14日 15:08        来源：新民晚报      热点专题      手机看新闻

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支；是用数学方法研究逻辑或形式逻辑的学科。数理逻辑是数学基础的一个不可缺少的组成部分。

数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。

“西塔潘猜想”研究的是反推数学中“拉姆齐二染色定理”的证明论强度，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。

所谓“拉姆齐二染色定理”，其通俗的版本就是“友谊定理”，即在一群不少于三人的人群中，若任何两人都刚好只有一个共同认识的人，这群人中总有一人是所有人都认识的。

数理逻辑和“西塔潘猜想” 数理逻辑 数理逻辑 西塔潘猜想 科普一下西塔潘猜想 什么是“西塔潘猜想” 数理逻辑大师们[转帖] 破解西塔潘猜想的刘路是个淡定哥 数学分支之十九：数理逻辑 西塔潘的猜想大三生的答案 西塔潘的猜想大三生的答案 西塔潘的猜想大三生的答案 刘嘉忆破解的西塔潘猜想是什么 数学分支之十九：数理逻辑的内容 数学分支之十九：数理逻辑的发展 【西塔潘的猜想】国际数学难题西塔潘猜想被22岁大学生攻克 22岁大学生攻克国际数学难题“西塔潘猜想” 由22岁大学生破解“西塔潘猜想”想到的 王圣淇猜想 哥德巴赫猜想 哥德巴赫猜想 重庆市经济和信息化委员会-2011年物联网产业发展十大猜想 五大救市猜想：加大社保基金进场和取消红利税可期 五救市猜想:加大社保基金进场和取消红利税可期