Turing & The Halting Problem - Computerphile
推荐理由
Here's a short video on it
说明
这是2014年由Computerphile发布的一部讲解,主题归在Computability & complexity theory。它讲的是halting problem这一支里的具体问题,而不是把整个领域扫一遍。适合第一次接触、还没有先修课的人。内容上可以概括成:A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.这些读者给出的理由,核心是:Offered as a short, clear explanation of the halting problem and its link to decidability.讲法不绑某一条新闻,过几年仍然可以当材料看。从2019年到2022年,有2位不同的读者在2个不同月份把它推荐出来,其中明确叫别人去看的有0次。适合用一集把一个概念补上的人。抓住它用的那个图像或类比,比背公式重要。如果已经会了基本定义,就把注意力放在它怎么把halting problem变成能跟着复述的例子。
视频信息
- 频道
- Computerphile
- 时长
- 6 分 14 秒
- 发布年份
- 2014
同主题更多
- Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
- 28c3: The Science of Insecurity
- "Propositions as Types" by Philip Wadler
- Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
- Math's Fundamental Flaw
- On The Turing Completeness of PowerPoint (SIGBOVIK)