|
|||||
|
|
| 逻辑的困惑 | |
| 引用本文： | 胡作玄.逻辑的困惑[J].创新科技,2007(5):34-34. |
| 作者姓名： | 胡作玄 |
| 摘 要： | <正>一位研究数理逻辑的朋友告诉我,20世纪四位最有影响的思想家当中,有三位同逻辑有关,这让他十分自豪。这三位是哥德尔、冯·诺伊曼和图灵。显然,后两位的名气要比哥德尔大,他们都是计算机时代的奠基者,而且都亲自参与制造最早的计算机。计算机恐怕是20世纪的头号科技成就了。而计算机的设计又离不开哥德尔的数理逻辑, |
| 关 键 词： | 数理逻辑 计算机 科技成就 哥德尔 诺伊曼 三位 图灵 制造 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |