论文部分内容阅读
现代逻辑的价值和意义,在于其在理论上的应用.对于纯数学的基础和结构来说,现代逻辑是一种非常有用的工具,包括哥德尔不完全性定理等,都利用了现代逻辑的技术和成果.某些现代逻辑技术已经广泛应用到了工程学之中,例如,计算机工程就基于现代逻辑的高级成果.反过来,这些应用又刺激了逻辑理论本身取得更多的进步.