哥德尔不完备定理

今天看完了 bbc的纪录片 《数学的故事》,非常有意思,虽然无法理解其中的很多数学知识,但看过之后,你真的会觉得数学是一切知识的基础,包括我们现代社会所用到的一切科技都与他有关系。包括我们的互联网,都是构建在数学大夏之下。

而其中最有意思的就是“不完备定理”, 纪录片中说的是,总是存在数字的真命题,但你无法证明它有真假。 它举了一个例子,比如一个题目: “引命题无法证明 ”。 如果这命题是假的,这个命题是可证明的,也就意味着它是真命题,这就产生了矛盾。那也就是说,这个命题肯定是真的。这是一个真命题,但你却无法证明。

哥德尔之后也受精神分裂的困扰,这样的数学,我是无法理解的,至少我只是按自己的想法去理解,让我有点觉得上帝是存在的,这个命题是不是也是无法证明的。

另外,里面提到的数学都是人类在生活实际中产生的,才知道我们从小所学的数学都是人类几千年来因为使用才产生的,每个数学在早期产生都是有现实意义的,无穷数最开始从印度产生与印度的社会及虚无有关系的,里面讲到了无穷的概念,虚数,以及拓扑,看过之后,你会对数学有更深的认识。

数学还是非常有意思的。

http://zh.wikipedia.org/wiki/%E5%93%A5%E5%BE%B7%E5%B0%94%E4%B8%8D%E5%AE%8C%E5%A4%87%E5%AE%9A%E7%90%86
http://zh.wikipedia.org/wiki/%E5%BA%9E%E5%8A%A0%E8%8E%B1%E7%8C%9C%E6%83%B3
http://zh.wikipedia.org/wiki/%E6%A0%BC%E5%A5%A5%E5%B0%94%E6%A0%BC%C2%B7%E5%BA%B7%E6%89%98%E5%B0%94
http://zh.wikipedia.org/wiki/%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9%E7%9A%8423%E4%B8%AA%E9%97%AE%E9%A2%98