Follow
【数学】巨大数 レイバーのテーブル
この「レイバーのテーブル」は計算可能関数の中においても極めて強いと想像されています。それは、この「レイバーのテーブルが無限に発散する事の証明」を「階層内階層基数」という、順序数の専門家でもその存在を疑うほど大きな基数によって証明しているからです。ただし、これは「ZFC公理系」で証明が不可能であることを意味していません。もし「ZFC公理系」でこの証明が可能であるのであれば、それほど強くはないとも言われています。
【数学】巨大数 レイバーのテーブル
この「レイバーのテーブル」は計算可能関数の中においても極めて強いと想像されています。それは、この「レイバーのテーブルが無限に発散する事の証明」を「階層内階層基数」という、順序数の専門家でもその存在を疑うほど大きな基数によって証明しているからです。ただし、これは「ZFC公理系」で証明が不可能であることを意味していません。もし「ZFC公理系」でこの証明が可能であるのであれば、それほど強くはないとも言われています。