| 论现代逻辑的应用 |
| |
| 引用本文： | W·V·O·蒯因,孙伟平.论现代逻辑的应用[J].湖南科技大学学报(社会科学版),2005,8(5):42-44. |
| |
| 作者姓名： | W·V·O·蒯因 孙伟平 |
| |
| 作者单位： | 1. 哈佛大学,哲学系,美国
2. 中国社会科学院,哲学所,北京,100732 |
| |
| 摘 要： | 现代逻辑的价值和意义,在于其在理论上的应用。对于纯数学的基础和结构来说,现代逻辑是一种非常有用的工具,包括哥德尔不完全性定理等,都利用了现代逻辑的技术和成果。某些现代逻辑技术已经广泛应用到了工程学之中,例如,计算机工程就基于现代逻辑的高级成果。反过来,这些应用又刺激了逻辑理论本身取得更多的进步。
|
| 关 键 词： | 逻辑 现代逻辑 数学 工程学 应用 |
| 文章编号： | 1672-7835(2005)05-0042-03 |
| 修稿时间： | 2005年5月22日 |
On the Application of Modern Logic |
| |
| W·V·O·蒯因,SUN Wei-ping.On the Application of Modern Logic[J].journal of hunan university of science&technology,2005,8(5):42-44. |
| |
| Authors: | W·V·O·蒯因 SUN Wei-ping |
| |
| Institution: | Willard Van Orman Quine~1 & Translated by SUN Wei-ping~2 |
| |
| Abstract: | The value and meaning of modern logic is its application on some theories.Modern logic is a very useful tool for the basis and structure of pure mathematics.Some mathematical theorems including Godel's Theorem of Incompleteness applied some technologies and achievements of modern logic.Some technologies of modern logic have applied extensively in the theory of engineering,for example,computer engineering is based on advanced achievements of modern logic.These applications of modern logic also made the theory of logic more progress conversely. |
| |
| Keywords: | logic modern logic mathematics the theory of engineering application |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
