ゲーデルの不完全性定理
去年夏落ち込みすぎて仕事出来なくなって不完全性定理勉強してた時期あったけど(結局そんな理解できた気がしないけど)、ゲーデルの世界観人生観ゾクゾクする程惹かれる
baku89#icon 1:03 AM · Mar 30, 2015
baku89#icon ゲーデル本、三冊目にしてようやく分かった気になれる入門書に出会えた
というより、Lispインタプリタを実装する経験が効いているのかも
去年夏落ち込みすぎて仕事出来なくなって不完全性定理勉強してた時期あったけど(結局そんな理解できた気がしないけど)、ゲーデルの世界観人生観ゾクゾクする程惹かれる
baku89#icon 1:03 AM · Mar 30, 2015
baku89#icon ゲーデル本、三冊目にしてようやく分かった気になれる入門書に出会えた
というより、Lispインタプリタを実装する経験が効いているのかも