2015-05-14から1日間の記事一覧
晴れ。18℃〜28℃、44%。下北沢方面に進出す。 チューリングのゲーデル解釈: ビール本屋のB&Bでチューリング本を訳した3人からお話を聞く。群盲象をなでるの感はあったが、記憶に残ったこと。 ・ゲーデルの不完全性定理を計算可能性に置き換えたところ…
晴れ。18℃〜28℃、44%。下北沢方面に進出す。 チューリングのゲーデル解釈: ビール本屋のB&Bでチューリング本を訳した3人からお話を聞く。群盲象をなでるの感はあったが、記憶に残ったこと。 ・ゲーデルの不完全性定理を計算可能性に置き換えたところ…