觉得这种解释很好玩

不过, 说句实在话, 有点牵强...


今天坐在车上想:

实际跟理论会有差别...

理论尽量跟实际挂钩...

数学是建设上公理的基础上...

公理是假设对的...实际可能跟公理有点差别... 问个简单的问题... 你能画一条直线吗? 你能证明你画的一定是直线?

数学基本上=公理+数学逻辑
但是数学逻辑本身也不完备...记得谁还写了文章发在这里...
Gödel's first incompleteness theorem, perhaps the single most celebrated result in mathematical logic, states that:

For any consistent formal, recursively enumerable theory that proves basic arithmetical truths, an arithmetical statement that is true, but not provable in the theory, can be constructed.1 That is, any effectively generated theory capable of expressing elementary arithmetic cannot be both consistent and complete.

http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems


还问个简单的问题:

你能证明数学逻辑推理一定是对的吗?

所有跟帖： 

• 回复：觉得这种解释很好玩 -haha2000- ♂ (31 bytes) () 05/07/2008 postreply 08:51:22

• 呵呵，所谓正确和错误，在最最基本的地方，是一种约定 -idiot94- ♂ (383 bytes) () 05/07/2008 postreply 10:18:16