总结资料数学悖论默认分类 2010-05-2010:20:02 阅读 20 评论 0 字号:大中小订阅数学的基础是什么
逻辑首先说公理的陈述,这就是一个很麻烦的事情
在你的公理中一定会有很多名词,比如点,线,等等,因此似乎需要先定义这些最基本的名词
但当你尝试作这样的定义的时候,你会发现你还是无从下手,无论你怎么定义它们,你都会引入其它未定义的名词
其实在逻辑上,对最基本的名词的定义就是不可能的事情
我们采用的办法就是使用未经定义的最基本的名词来陈述公理,在公理中同时也就给出了这些对象的属性
再说逻辑,比如最基本,最有名的三段论
大前提:人都会死
小前提:亚里士多德是人
结论:亚里士多德会死
粗看,我们得到这个结论一点问题都没有
但你仔细想想,是什么原因我们可以使用这样的推导
我们采用这样的方法进行推导就一定不会出现问题吗
能否证明这样的推导过程就一定是正确的
其实这是一个没有办法证明的问题
但我们的实践经验告诉我们这样的推导是不会有问题的,是正确的
因此我们也同样采用公理的方法确定下来三段论的逻辑推导方法是正确的
在逻辑上,这样的例子还有很多
由此,可以看出,数学的基础就是公理
数学只是公理集之上的推导和演绎
推导和演绎的基础仍然是公理
“……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮
”一一N•布尔巴基一、悖论的历史与悖论的定义悖论的历史源远流长,它的起源可以一直追溯到古希腊和我国先秦时代
"悖论”一词源于希腊文,意为"无路可走",转义是"四处碰壁,无法解决问题”
在古希腊时代,克里特岛的哲学家伊壁门尼德斯(约公元前 6 世纪)发现的“撒谎者悖论”可以算作人们最早发现的悖论
公元前 4 世纪的欧布里德将其修改为“强化了的撒谎者悖论”
在此基础上,人们构造了一个与之等价的"永恒的撒谎者悖论"
埃利亚学派的代表人物芝诺(约 490BC—430B