本履歴

購入した古本の履歴と時々プログラミング

本読みました。

ゲーデル,エッシャー,バッハ―あるいは不思議の環
ゲーデル,エッシャー,バッハ―あるいは不思議の環

いわゆるGEB。最後のほうで人工知能のお話の中で、コンピュータが二等辺三角形の底角が等しいことを証明するんだけど、その証明が補助線を引かないやり方で、目ウロコでした。感動。ここまでできるんですねえ。