| 电脑其实就是符号逻辑推理机械化，自动化 |
| 送交者: 大汉霍去病 2010月06月10日15:03:14 于 [世界军事论坛] 发送悄悄话 |
| 回 答: 这个中文写的实际很难看懂，歌德尔从研究逻辑开始，进而研究语言 由 父皇 于 2010-06-10 14:58:15 |
|
电脑其实就是符号逻辑推理机械化，自动化， 闹了半天就是康托尔，三级无穷大，离散数学的伟大发现者，你这个名字翻译得太 离谱， |
|
|
 |
 |
| 实用资讯 | |