人工知能は「音楽」なのかもしれない：“AIの父”マーヴィン・ミンスキーが残した謎｜WIRED.jp

2017/08/12 113 users 人工知能 WIRED.jp 音楽 親交 黎明期

INSIGHT 2016.05.22 SUN 18:00 人工知能は「音楽」なのかもしれない：“AIの父”マーヴィン・ミンスキーが残した謎 昨今ますます盛り上がる人工知能研究の黎明期を切り開いた、「AIの父」マーヴィン・ミンスキー。惜しくも2016年1月に亡くなった彼にとってのAIとは、何だったのだろう？　MITメディアラボ客員研究員時代にミンスキー本人と親交のあった服部桂が綴る、ミンスキーの思い... 続きを読む

なぜLispなのか

2005/05/02 276 users LISP ゲーデル 体系 性定理 天才

Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直... 続きを読む