上周四(5月5日)我见到了中科院院士前北京航空航天大学校长李未,他对我说,对于计算机这50多年的发展,人们往往用硬件、半导体的进步来描述计算机的进步,而忽略了软件这50多年的进步,而最重要的是当前海量的编程工作中,编程工作量只有50%,查错工作量为50%,按照危机出创新,改变靠逻辑的说法,软件编程界的各类专家们都急需找到一个寻找错误的逻辑系统。

接着李老师从逻辑学角度向我介绍了在天文、物理、数学、力学中一条公理演变成若干经典理论的逻辑推理,他推宠的哥尔的关于:由于自然数字的无穷,所以不可能证明现有的任何公理的正确性、也不能证明任何公理错误性的逻辑。

当我问道:

“你是否找到了寻找软件错误的逻辑系统?”

他送给了我一套我看不懂的中、英文的《数理逻辑》。

李老师在向我介绍数理逻辑

李老师在讲解数理逻辑

李老师送我出来