ゆるラジオindex 編集部より
あの有名な肩書きは、少しずれているかもしれません。
チューリングシリーズの第2回です。有名な肩書きが正確なのかを、功績の中身に照らして整理します。
本人の論文タイトルが、いまでも軽くいじられています。
この回の内容
- 0:00はやくÜbermenschenになりたい！！
- 1:13チューリングのメイン功績、偉大なのにドイツ語でイジられてる
- 7:54素人が踏み込んだらヤケドするゲーデルの不完全性定理
- 10:51「命題が証明可能か確かめる」決定問題
- 18:07チューリングはコンピュータ科学の父。なぜなら…
- 22:51次回予告。結局よく分からない「チューリングマシン」が出てきます。
この回に出てくる言葉
番組でくり返し語られる言葉です。押すと、その語が話題になった回が並びます。
この回で紹介された本・参考文献
- エニグマ アラン・チューリング伝上
- エニグマ アラン・チューリング伝下
- 暗号解読上・下
- チューリングの計算理論入門
- チューリングを読む コンピュータサイエンスの金字塔を楽しもう
- デカルトはそんなこと言ってない