1. ゆるコンピュータ科学ラジオ
  2. チューリングはコンピュータの..
2022-08-14 25:36

チューリングはコンピュータの父ではない。コンピュータ科学の父だ【チューリング2】#33

エピソードをシェアする

Share on X Share on Facebook Share on Threads

チューリング第2弾です。「チューリングの偉大な論文はイキったタイトルでイジられてる」「ヒルベルトプログラムの話はできない(分からないので)」「コンピュータの父ではなく、コンピュータ科学の父」など、チューリングの肩書き整理を主にやりました。


【目次】

はやくÜbermenschenになりたい!!

チューリングのメイン功績、偉大なのにドイツ語でイジられてる

素人が踏み込んだらヤケドするゲーデルの不完全性定理

「命題が証明可能か確かめる」決定問題

チューリングはコンピュータ科学の父。なぜなら…

次回予告。結局よく分からない「チューリングマシン」が出てきます。


【参考文献】

○『エニグマ アラン・チューリング伝(上)』

https://amzn.to/3G0Zzje

○『エニグマ アラン・チューリング伝(下) 』

https://amzn.to/3zNBs5t

→この世で一番詳しいチューリングの伝記。上下巻で1000ページぐらいある。どうしてもチューリングについて詳しく知りたければこちらを。


○『暗号解読(上・下)』

https://amzn.to/3BJHi9m

→世界一おもしろいサイエンスライター(私見)であるサイモン・シンが書いた、超エキサイティングな暗号の歴史と仕組みの本。歴史ドラマは熱いし、仕組み解説は好奇心をくすぐられます。最高。


○『チューリングの計算理論入門』

https://amzn.to/3BLQIkF

→安定のブルーバックス。チューリングマシンについてざっくり理解したいならオススメ。なんとなく雰囲気が分かります。


○『チューリングを読む コンピュータサイエンスの金字塔を楽しもう』

https://amzn.to/3Q3piv6

→チューリングの論文を全文引用しながら丁寧に読解する本。難しいがおもしろい。この手の骨太本には珍しく、うんちく力が高い。前提知識の説明でうんちくメモを取りまくった。


○『デカルトはそんなこと言ってない』

https://amzn.to/3phPbeF

→水野が言っている「心身二元論の誤解多すぎ本」はこれ。



【サポーターコミュニティ加入はこちらから】

https://yurugengo.com/support


【親チャンネル:ゆる言語学ラジオ】

https://www.youtube.com/channel/UCmpkIzF3xFzhPez7gXOyhVg


【おたよりフォーム】

https://forms.gle/BLEZpLcdEPmoZTH4A

※皆様からの楽しいおたよりをお待ちしています!


【お仕事依頼はこちら!】

yurugengo@gmail.com


【堀元見プロフィール】

慶應義塾大学理工学部卒。専門は情報工学。WEBにコンテンツを作り散らかすことで生計を立てている。現在の主な収入源は「アカデミックに人の悪口を書くnote有料マガジン」。

Twitter→https://twitter.com/kenhori2

noteマガジン→https://note.com/kenhori2/m/m125fc4524aca

個人YouTube→https://www.youtube.com/channel/UCYJ335HO_qLZDr7TywpI0Gg


【水野太貴プロフィール】

名古屋大学文学部卒。専門は言語学。

某大手出版社で編集者として勤務。言語学の知識が本業に活きてるかと思いきや、そうでもない。

25:36

コメント

スクロール