| 公理化的历史发展 |
| |
| 引用本文： | 冯晓华 李文林. 公理化的历史发展[J]. 太原理工大学高等教育研究, 2006, 24(2): 34-38 |
| |
| 作者姓名： | 冯晓华 李文林 |
| |
| 作者单位： | [1]西北大学数学与科学史研究中心,陕西西安710069 [2]山西大学科学技术哲学研究中心,山西太原030006 [3]中国科学院数学与系统科学研究院,北京100080 |
| |
| 摘 要： | 欧几里得几何是第一个公理化体系，非欧几何的出现促使人们对它的基础作了严格审视，其中希尔伯特公理化方法最为成功；但它的相容性问题一直没有解决，集合论悖论使得这个问题更加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数学使公理化方法更上一层楼，但仍然无法克服公理化方法本身的局限性。
|
| 关 键 词： | 欧几里得几何 公理化 相容性 历史发展 局限性 |
| 文章编号： | 1009-5837（2006）02-0034-05 |
| 收稿时间： | 2006-03-03 |
The Historical Development of Axiomatizing |
| |
| FENG Xiao-hua,LI Wen-lin. The Historical Development of Axiomatizing[J]. , 2006, 24(2): 34-38 |
| |
| Authors: | FENG Xiao-hua LI Wen-lin |
| |
| Abstract: | |
| |
| Keywords: | Euclid geometry Axiomatizing consistence historical development limitation |
| 本文献已被 维普 等数据库收录！ |
