| 公理化的历史发展 |
| |
| 引用本文： | 冯晓华,李文林.公理化的历史发展[J].太原理工大学学报(社会科学版),2006,24(2):34-38. |
| |
| 作者姓名： | 冯晓华 李文林 |
| |
| 作者单位： | 1. 西北大学,数学与科学史研究中心,陕西,西安,710069;山西大学,科学技术哲学研究中心,山西,太原,030006
2. 中国科学院,数学与系统科学研究院,北京,100080 |
| |
| 摘 要： | 欧几里得几何是第一个公理化体系,非欧几何的出现促使人们对它的基础作了严格审视,其中希尔伯特公理化方法最为成功;但它的相容性问题一直没有解决,集合论悖论使得这个问题更加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机,但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼,但仍然无法克服公理化方法本身的局限性。
|
| 关 键 词： | 欧几里得几何 公理化 相容性 历史发展 局限性 |
| 文章编号： | 1009-5837(2006)02-0034-05 |
| 修稿时间： | 2006年3月3日 |
The Historical Development of Axiomatizing |
| |
| FENG Xiao-hua,LI Wen-lin.The Historical Development of Axiomatizing[J].Journal of Taiyuan University of Technology(Social Sciences Edition),2006,24(2):34-38. |
| |
| Authors: | FENG Xiao-hua LI Wen-lin |
| |
| Abstract: | Euclid geometry is the first system of Axiomatizing and non-Euclid geometry causes the strict examination to Euclid geometry.In the try to build a new base of geometry,Hilbert's axiomatizing is the best one.But there is an important problem that its consistence can't be proved.The appearance of paradox of set theory makes this problem more poignant.Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.Theory of incompletion of Godel drastically exposes the limitation of axiomatizing itself.The method of structure of Bourbakian can't conquer this limitation. |
| |
| Keywords: | Euclid geometry Axiomatizing consistence historical development limitation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
