论现代逻辑的应用 |
| |
作者姓名: | W.V.O.蒯因(著) 孙伟平(译) |
| |
作者单位: | [1]哈佛大学哲学系,美国 [2]中国社会科学院哲学所,北京100732 |
| |
摘 要: | 现代逻辑的价值和意义,在于其在理论上的应用。对于纯数学的基础和结构来说,现代逻辑是一种非常有用的工具,包括哥德尔不完全性定理等,都利用了现代逻辑的技术和成果。某些现代逻辑技术已经广泛应用到了工程学之中,例如,计算机工程就基于现代逻辑的高级成果。反过来,这些应用又刺激了逻辑理论本身取得更多的进步。
|
关 键 词: | 逻辑 现代逻辑 数学 工程学 应用 |
本文献已被 维普 等数据库收录! |
|