|
|||||
|
|
| 当代软件设计方法学发展的哲学与数学背景 | |
| 引用本文： | 章远阳.当代软件设计方法学发展的哲学与数学背景[J].自然杂志,1991(2). |
| 作者姓名： | 章远阳 |
| 作者单位： | 北京大学 |
| 摘 要： | 本世纪初发生的物理学危机,导致了相对论与量子力学的建立;而第三次数学危机的挑战,导致了人们对数学基础及其哲学背景的关心和思考,从而促进了现代数学、哲学及逻辑学的发展。60年代末爆发的“软件危机”,已成为计算机科学继续发展的“瓶颈”。程序设计何时才能从“技巧和经验”变成一门真正的“科学”?如何使计算机科学这门年轻而又发展迅猛的学科建立在坚实的理论基础上?带着疑虑和期望,计算机科学家们将目光投向了哲学和数学…… |
| 本文献已被 CNKI 等数据库收录！ | |