论文部分内容阅读
本世纪初发生的物理学危机,导致了相对论与量子力学的建立;而第三次数学危机的挑战,导致了人们对数学基础及其哲学背景的关心和思考,从而促进了现代数学、哲学及逻辑学的发展。60年代末爆发的“软件危机”,已成为计算机科学继续发展的“瓶颈”。程序设计何时才能从“技巧和经验”变成一门真正的“科学”?如何使计算机科学这门年轻而又发展迅猛的学科建立在坚实的理论基础上?带着疑虑和期望,计算机科学家们将目光投向了哲学和数学……