撰文 | 乌其多审校 | Cloud2006年,有人在网上分享了一个位于英国多塞特郡多切斯特郊外, B3159 公路旁非常让人困惑的路牌,该标志为红色背景的矩形,上面写着:“标志未使用”。摘要:这意味着,在足够复杂的数学系统中,总存在一些我们能够理解其为真,但却无法用系统内的规则来证明的命题。即便一次次地对数学大厦进行修补与重建,这种本质上的不确定性仍会以不同的形式再度出现。悖论无处不在除了数学外,自我指涉在计算机科学领域也是一个不可逾越的根本性问题
来源:阿雪爱旅游
撰文 | 乌其多审校 | Cloud2006年,有人在网上分享了一个位于英国多塞特郡多切斯特郊外, B3159 公路旁非常让人困惑的路牌,该标志为红色背景的矩形,上面写着:“标志未使用”。摘要:这意味着,在足够复杂的数学系统中,总存在一些我们能够理解其为真,但却无法用系统内的规则来证明的命题。即便一次次地对数学大厦进行修补与重建,这种本质上的不确定性仍会以不同的形式再度出现。悖论无处不在除了数学外,自我指涉在计算机科学领域也是一个不可逾越的根本性问题
来源:阿雪爱旅游