「読んだ本」カテゴリーアーカイブ

10/10 大学図書館でPrinpicia Mathematicaを借りて後悔した

人工知能の歴史を検索すると,必ず1955年に開発された人類初の人工知能プログラムLogic Theoreistが取り上げられ,ホワイトヘッドとラッセルの『プリンキピア・マテマティカ』の定理を証明したと出てくる。だけど,どんな定理を,どんなプログラムで証明したのかというのがまったく分からない。
続きを読む

9/11 [世界を変えた書物]展に行ってきた

午後,日暮里の印刷会社に行く用事があったのだが,その前に上野で途中下車し,上野の森美術館で開催中の[世界を変えた書物]展に行ってきた。ユークリッド,ガリレオ,ニュートンからアインシュタイン,NASAまで。貴重な稀覯本の初版,オリジナルが展示されている。
続きを読む