The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
我们不仅仅是肉做的机器人。
人工智能是一种工具,而不是人类智能的替代品。
如果人们不相信数学是简单的,那只是因为他们没有意识到生活有多么复杂。