悖论与无限24.118 Paradox & Infinity (MIT) |
|
课程网址: | http://ocw.mit.edu/courses/linguistics-and-philosophy/24-118-para... |
主讲教师: | Prof. Agustín Rayo ; Owain R. Evans (Teaching Assistant) |
开课单位: | 麻省理工学院 |
开课时间: | 信息不详。欢迎您在右侧留言补充。 |
课程语种: | 英语 |
中文简介: | 本课程探讨不同类型的无穷大;集合论的悖论;算术的还原为逻辑;正式系统;涉及真理概念的悖论;g ö 德尔的不完全性定理;数学真理的非形式化性质;和图灵机。 |
课程简介: | This course explores different kinds of infinity; the paradoxes of set theory; the reduction of arithmetic to logic; formal systems; paradoxes involving the concept of truth; Gödel’s incompleteness theorems; the nonformalizable nature of mathematical truth; and Turing machines. |
关 键 词: | 集合论的悖论; 算术逻辑的还原; 正式制度; 涉及真理概念的悖论 |
课程来源: | 麻省理工大学公开课 |
最后编审: | 2016-03-23:cmh |
阅读次数: | 43 |