『コンピュータは数学者になれるのか？』

最近、AIが数学の定理を証明しまくっているが、その背景にある数学基礎論の話。かなりのハイペースで抽象的な議論が続くので難解。ペアノ算術、ZFC、対角線論法、不完全性定理の話から始まり、Haskellなどの代数的データ型と関数型プログラミング言語の根拠(call/ccとCPS変換、ラムダ計算、カリー・ハワード対応など)とも関連しているので、なんとか理解してみたいと思っていた分野。

いちど図書館で借りたが挫折して、今回は2度目に借りた。何度も往復して読むことでおぼろげながら理解できるようになってきた。 

 

 

 

 

 過去の読書記録はこちら
https://cold-darkstar.blogspot.com/search/label/%E6%9C%AC
https://booklog.jp/users/nkon
http://park11.wakwak.com/~nkon/misc/book/