Turing & The Halting Problem - Computerphile

从一个声称总能判断程序会否停机的黑箱出发，把结果反转，再让构造出的程序读自身的描述。两种可能的预测都会被程序自己的下一步推翻。

存档字幕（转写方式未注明） ↗ · 引文按字幕原文展示，可点时间戳回看片段。