“无穷到底有多大？”“真理有多远？”“人类有多傻？”体现了当代逻辑学哪些理论？
最后更新 2022-09-05
浏览 65次
主讲人
郝兆宽
复旦大学
突然有人问“无穷到底有多大？”“真理有多远？”“人类有多傻？”，这是当代逻辑学三个比较核心的领域。第一个叫集合论，讲无穷的。第二个叫模型论，讲真理的。第三个叫可计算性理论，原来经典也叫作递归论，和计算机有一些关系。也可以说“无穷有多小？”“真理有多近？”“人类有多聪明？”，测量的度是一样。从今天逻辑学的结果来看，回答可以是“无穷有多大，真理就有多远。因为我们认识关于数学世界的真理，和无穷联系在一起。“真理有多远，人类就有多傻。因为我们离真理越远越傻。
同主题知识点（无穷有多大？）
- “无穷到底有多大？”“真理有多远？”“人类有多傻？”体现了当代逻辑学哪些理论？
- 物理的尺寸
- 为什么说π是实实在在的无穷？
- 无穷的性质
- 希尔伯特旅馆
- 无穷有多少个自然数？
- 阿列夫零是谁起的名字？
- 无穷有尺寸吗？
- 为什么整数的基数也是阿列夫零？
- 为什么有理数的基数也是阿列夫零？
- 实数的基数是阿列夫零吗？
- 从悖论的角度如何证明每一个集合的幂集总比它要大？
- 无穷有大小之分吗？
- 什么是连续统假设？
- 希尔伯特第一问题
- 连续统假设既不假又不真？
- ZFC公理系统
- 什么是符合论真理观？
- 塔斯基定义的“真”
- 数学上怎么定义“真”？
- 有没有模型的语句吗？
- 可靠性定理与完全性定理
- 连续统假设判定结论引起的争论
- 无穷对于有穷有什么性质？
- 不可达基数
- 什么是大基数？它有多少？
- 大基数公理是一致的吗？
- Woodin为什么要寻求能容纳超紧基数的内模型？
- 什么是图灵机与停机？
京公网安备 11010202008139号
