19/01/19 12:09:32.87 9TwxXMZH.net
>>662
aが停止することを仮定した上で、
ペアノの公理系の範囲内でa＋1も停止することが証明できてしまったら、
それはただの数学的帰納法であって、ペアノの公理系の中で
グッドスタインの定理が証明できたことになるので、
証明も反証もできないことに矛盾する
…と考えると、別に不思議ではないような
19/01/19 12:09:32.87 9TwxXMZH.net
>>662
aが停止することを仮定した上で、
ペアノの公理系の範囲内でa＋1も停止することが証明できてしまったら、
それはただの数学的帰納法であって、ペアノの公理系の中で
グッドスタインの定理が証明できたことになるので、
証明も反証もできないことに矛盾する
…と考えると、別に不思議ではないような