让风神的竖琴鸣响——读李未院士的《数理逻辑》一书有感

摘要：

@@ 从传统逻辑到经典数理逻辑,形式逻辑的发展始终与科学和哲学的发展相伴.当今,从科学发展的角度来看,一方面,经典数理逻辑的概念、理论和方法,不仅在程序设计语言的研究中获得了完全的认同,而且在计算机软硬件设计和实现技术方面起到了原则性的指导作用.另一方面,计算机科学技术经过了六十多年发展所积淀的知识,蕴涵着经典数理逻辑所不能涵盖的内容,这些内容需要我们在继承经典数理逻辑现有成果的基础上,通过引入新的概念、原理、演算和方法,来发展数理逻辑.

机标关键词：风神、竖琴、院士、数理逻辑、经典、计算机科学技术、程序设计语言、软硬件设计、指导作用、形式逻辑、实现技术、内容、科学发展、概念、方法、传统逻辑、原则性、知识、哲学、蕴涵

分类号：R74;R28

在线出版日期：2010-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：128-132,65