チューリング第2弾です。「チューリングの偉大な論文はイキったタイトルでイジられてる」「ヒルベルトプログラムの話はできない（分からないので）」「コンピュータの父ではなく、コンピュータ科学の父」など、チューリングの肩書き整理を主にやりました。
この回の内容
- 0:00はやくÜbermenschenになりたい！！
- 1:13チューリングのメイン功績、偉大なのにドイツ語でイジられてる
- 7:54素人が踏み込んだらヤケドするゲーデルの不完全性定理
- 10:51「命題が証明可能か確かめる」決定問題
- 18:07チューリングはコンピュータ科学の父。なぜなら…
- 22:51次回予告。結局よく分からない「チューリングマシン」が出てきます。
この回で紹介された本・参考文献