“讨论室:学术” 上的话题
< 讨论室:学术
- (当前 之前 话题) 2023 年 2 月 26 日 (日) 05:49 . . Ice1000(讨论 | 贡献)已评论"什么样的形式系统可以从内部避免悖论？"的话题(以悖论命题作为公理的形式系统就无法用任何推理避免悖论) . . +26
- (当前 之前 话题) 2023 年 2 月 26 日 (日) 01:06 . . Trebor(讨论 | 贡献)已评论"什么样的形式系统可以从内部避免悖论？"的话题(还是先读一些数理逻辑的基础书, 思而不学则殆.) . . +22
- (当前 之前 话题) 2023 年 2 月 25 日 (六) 23:13 . . 大耳白兔(讨论 | 贡献)已评论"什么样的形式系统可以从内部避免悖论？"的话题(避免悖论是否存在统一的理论, 或一般性的算法?) . . +22
- (当前 之前 话题) 2023 年 2 月 25 日 (六) 23:12 . . 大耳白兔(讨论 | 贡献)已评论"什么样的形式系统可以从内部避免悖论？"的话题(避免悖论是否存在统一的理论?) . . +14
- (当前 之前 话题) 2023 年 2 月 25 日 (六) 23:11 . . 大耳白兔(讨论 | 贡献)已评论"什么样的形式系统可以从内部避免悖论？"的话题(大家应该知道哥德尔的第一第二不完全性定理, 有的形式系统无法从内部推理避免悖论, 但是可以从外部推理避免悖论. 是否存在一些形式系统, 无法用任何推理避免悖论?) . . +77