2010年10月06日のツイート
@kururu_goedel: @tri_iro もっとも、きちんとした定義を与えようとするよりは、こういうポリシーに則った定義はないかなと言う方向で考えていたのでしょうけれども。
@kururu_goedel: @tri_iro いや、それはかわいそうでしょう。ヒルベルトは時代の制約の中では「有限の立場」が何を指すべきか一生懸命考えたのだろうと思いますよ。ただ、それをきちんと定式化出来るような道具がなかっただけで。
@kururu_goedel: McCarthy 91 functionにハマって1時間くらい潰してしまった(上にまだ解けてない)
@kururu_goedel: テスト作成終了
@kururu_goedel: @niam 「ほどの方」じゃないんで…。妻の言うことには一理ありますから(子供の扱いとかは本当にダメなんで)。
2010-10-06 00:07:15 via Seesmic Desktop to @niam