07/10/15 17:07:24
>>448をみた。
発想としてはprimitive recursive functionalを用いる
Goedelの自然数論の無矛盾性証明に通じるものか？
ちなみにprimitive recursive functionalによって
作れる関数の範囲はε_0より小さい超限帰納法による
ものと同等。
07/10/15 17:07:24
>>448をみた。
発想としてはprimitive recursive functionalを用いる
Goedelの自然数論の無矛盾性証明に通じるものか？
ちなみにprimitive recursive functionalによって
作れる関数の範囲はε_0より小さい超限帰納法による
ものと同等。