チューリング第3弾です。今回は「チューリングの論文は無限に長いテープを準備するところから始まった」「まだこの世にないコンピュータの限界を示した」「無限ループを検出することは原理的に不可能」など、チューリングの主要な功績である「決定問題」の論文についてゆるく解説しました。
この回の内容
- 00:00「ブラックボックスはお前だ」と言い合う闇の回は仕方なかった
- 01:28チューリングの論文は「無限に長い機械」から始まる
- 05:36チューリングマシンあるある「だから何？」
- 12:59この機械は以前に出てきた「アレ」と同じ
- 18:49論文のスゴさは「コンピュータの限界」を示したこと
- 28:10「アルゴリズムで書けない」って何？
- 31:41「ブラックボックスはお前だ」と停止性問題
- 39:24次回テーマは「チューリングの功績の原体験」
この回で紹介された本・参考文献