計算可能性とロジックに関するコースを修了したばかりで、興味深いコースでした。講師は、彼のスライドに「ゲーデル、エッシャー、バッハ」などのいくつかの本を推奨しています。この本は非常に有名で、とても面白いように見えます。しかし、その内容に関していくつか質問があります。
コンテンツは今日でも有効ですか?ほとんどの理論的なものは一晩で変化しないと思いますが、私が気づく必要がある今日もはや保持されない主要なポイントはありますか?
過去30年ほどで実際に進歩したと思います。あなたは、この進歩(論理、AI、計算可能性)を含む主題に関する本を推薦できますか?
別の質問:エッシャーとバッハについて知る必要がありますか?