巨大数探索スレッド５

>>508

終わったね。結局ｎ重帰納法を知ってる人が誰も現れなかった。
ｎ重帰納法の候補はいくつか出たけど、それが本当にそうなって
いるか誰も確かめられなかった。それじゃ話は進まないでしょ。

>>509

その件に関していうと、ｎ重帰納法に関する成果が
Rosa Peterの古い文献しかなくて、ﾈｯﾄ上には
見つからなかったのは致命的だったね。