> > ｹﾞｰﾃﾞﾙ問題って決着は付いてないけど
> > 新本格、本格で実際に問題になった事があったし
> > ｵｯｶﾑの剃刀もSFﾐｽﾃﾘでよく出てくるよ(;´Д`)
> > ﾐｽﾃﾘは一応論理ﾊﾟｽﾞﾙという事になってるから
> ｹﾞｰﾃﾞﾙ問題って何(;´Д`)

上に書いた不完全性定理の話だよ(;´Д`)

参考：2010/02/16(火)19時14分07秒