2010年10月07日のツイート
@kururu_goedel: [プログラミング][あとで] / d.y.d. URL
@kururu_goedel: 妻が三本目、二回目のデンタルインプラント。もうぼろぼろなのでやらざるをえないんだけどお金が……。もっとも、放置して痛みでなおさらイライラされるよりはマシ。
@kururu_goedel: @georg_logic 勉強になりました。ありがとうございます。
@kururu_goedel: McCarthy 91 function再挑戦
@kururu_goedel: @ytb_at_twt うーん、でも「自然な構造」とか「自然なイデアル」とか、ほとんど積極的に厳密化を避けて使っている用語があるので、ヒルベルトも「有限な立場」とかそういう感じに使ってたんじゃないと言われると、そうかもねと言わざるを得ません。
@kururu_goedel: @ytb_at_twt 曖昧な厳密化って何だ、って言われると激しく困るんですが、まあそういうことで。
@kururu_goedel: @ytb_at_twt 形式化することがヒルベルトの意図に沿うかですが、それもわかりません(だめじゃん)。なんとなく、ヒルベルトはもっと「レアールな数学」を明確に述べたかったんじゃないかなぁと思っていて、先程の発言も形式化というよりはそういう曖昧な厳密化の話です。
@kururu_goedel: @ytb_at_twt まず、形式化されうるかについては無意見です。私は、多分彼の「レアールな数学」はマニフェストみたいなものであって、厳密な定義から出発するようなものではないのだろうとなんとなく思っていました。