算术为什么是相容的

yangls728 · 发表于 2016-6-27 22:22

形式化语言可以免除歧义性，但具有讽刺意味的是，哥德尔的证明正是犯了歧义谬误。

elim · 发表于 2016-6-27 22:24

你的见解而已。

yangls728 · 发表于 2016-6-27 22:29

形式化语言可以免除歧义性，但具有讽刺意味的是，哥德尔证明正是犯了歧义性谬误。

yangls728 · 发表于 2016-6-27 22:33

“你可以尝试建立使哥德尔不完全定理失效的数学系统，但是你无法否定哥德尔定理本身”。看来您没有看我的发表在《前沿科学》上的文章，我根本就不承认哥德尔不完全性定理是能够成立的。

elim · 发表于 2016-6-27 22:41

我不会花时间看你的那篇文章的。因为我知道哥德尔定理是怎么回事。

yangls728 · 发表于 2016-6-28 07:15

精神胜利法，拜拜。

elim · 发表于 2016-6-28 07:33

颇有自知之明啊，呵呵

yangls728 · 发表于 2016-6-28 13:44

连话都听不来，逻辑思维能力哪里去了？哈哈。

elim · 发表于 2016-6-28 20:53

你还会逻辑思维一词？没想到啊

yangls728 · 发表于 2016-6-29 11:17

说别人的文章不必读，以为就是驳倒了对方，这岂不是阿Q精神胜利法？把讽刺竟当成恭维，反自作多情回敬对方“颇有自知之明啊”，真是连正反话都分不来，逻辑思维能力算高智商啊！

		自动登录	找回密码
密码			注册