图 书 馆
计算机能理解他们自己的程序吗?Can Computers Understand Their Own Programs? |
|
| 课程网址: | http://videolectures.net/turing100_hoare_computers/ |
| 主讲教师: | Charles Antony Richard Hoare |
| 开课单位: | 微软公司 |
| 开课时间: | 2012-07-10 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The answer depends on ideas of philosophy, logic, proofs of programs, and self-application. These are interests which I share with Turing, and which go back to the ancient philosophers Aristotle and Euclid. Their teachings provide an excellent basis for a general understanding, even today. In conclusion, I propose a kind of Turing test to answer the question posed by my title. |
| 关 键 词: | 图灵; 图灵测试; 自我应用; 计算机; 逻辑 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2020-06-08：吴雨秋(课程编辑志愿者) |
| 阅读次数: | 53 |