「講師」カテゴリーアーカイブ

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

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