 电脑其实就是符号逻辑推理机械化，自动化 - 大汉霍去病 06/10/10 (591) |
| 军事论坛 | 时事论坛 | 汽车论坛 | 摄影论坛 |
| 股票论坛 | 游戏论坛 | 音乐论坛 | |
| 万维读者网>世界军事论坛>跟帖 |
| 这个中文写的实际很难看懂，歌德尔从研究逻辑开始，进而研究语言 |
| 送交者: 父皇 2010月06月10日14:58:15 于 [世界军事论坛] |
| 回 答:20世纪最伟大的脑袋之一 由 父皇 于2010-06-10 14:49:59 |
| 就是所谓的formal language的提出，把语言当成一个符号集合，然后再研究用一个符号集合来怎么表达逻辑推断 这个其实就直接导致了后来自动计算的提出，这人本身是玩理论的，对实际不感兴趣。换上在政府里做计算工作的图灵，实用主义一来，就成了计算机。 但是像歌德尔这样的，从中国文化里，是很难出来的 |
|
0.00%(0)
0.00%(0)
0.00%(0)
|
当前新闻共有1条评论 |
|
|
| |
|
|
 |
| 广告：webads@creaders.net | ||||||||
| 电话：604-438-6008,604-438-6080 | ||||||||
| 投稿：webeditor@creaders.net | ||||||||
|
| ||||||||