20/05/17 13:05:22 OxYJzrF1.net
ヒルベルト・プログラムの目標は
自然数論による数学（というか解析学）の無矛盾性証明だったんだが、
ゲーデルが
「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど
そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」
といっちゃったんで、頓挫した
逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない
しかし、主張な成果はほぼＡＣＡで達成できそうなんで
「な？」とかいうコート着たオジさんがでてきそうな感じではある