| 这个中文写的实际很难看懂，歌德尔从研究逻辑开始，进而研究语言 |
| 送交者: 父皇 2010月06月10日14:58:15 于 [世界军事论坛] 发送悄悄话 |
| 回 答: 20世纪最伟大的脑袋之一 由 父皇 于 2010-06-10 14:49:59 |
|
就是所谓的formal language的提出，把语言当成一个符号集合，然后再研究用一个符号集合来怎么表达逻辑推断
这个其实就直接导致了后来自动计算的提出，这人本身是玩理论的，对实际不感兴趣。换上在政府里做计算工作的图灵，实用主义一来，就成了计算机。 但是像歌德尔这样的，从中国文化里，是很难出来的 |
|
|
 |
|
|
 |
| 实用资讯 | |