让风神的竖琴鸣响——读李未院士的《数理逻辑》一书有感
2008
从传统逻辑到经典数理逻辑,形式逻辑的发展始终与科学和哲学的发展相伴。当今,从科学发展的角度来看,一方面,经典数理逻辑的概念、理论和方法,不仅在程序设计语言的研究中获得了完全的认同,而且在计算机软硬件设计和实现技术方面起到了原则性的指导作用。另一方面,计算机科学技术经过了六十多年发展所积淀的知识,蕴涵着经典数理逻辑所不能涵盖的内容,这些内容需要我们在继承经典数理逻辑现有成果的基础上,通过引入新的概念、原理、演算和方法,来发展数理逻辑。
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI