|
|||||
|
|
| 现代数学的哲学含义 | |
| 引用本文： | Irving AdLer,邵水浩.现代数学的哲学含义[J].世界科学,1988(7). |
| 作者姓名： | Irving AdLer 邵水浩 |
| 摘 要： | 公理化数学的公理化最早出现在几何学。把几何学从埃及引入希腊是泰勒斯(约公元前585年)的功劳,他还加进了一些独创性的发现,开始了由其他命题推导出某种命题的习惯做法。当命题以演绎顺序排列时,必须有某些其本身不是被推论出来的命题,但它们可以作为所有其他命题的推论的出发点。第欧尼根在公元前五世纪下半叶说,人们应当用某种无可辩驳的理由提出论题。亚里士多德(约公元前340年)在他的《后分 |
| 本文献已被 CNKI 等数据库收录！ | |