0172132人目の素数さん
2017/12/28(木) 19:55:02.60ID:c3eIYj0W>素直にビジービーバー関数をも定義出来る言語n文字で定義可能な最大の整数
>言語の自由度をどんどん上げていって
>矛盾スレスレにすれば自然と大きな数が定義出来る
オラクルの追加も言語の自由度を上げていくことになるし、このやりかた自体を否定しちゃうと
BIG FOOT やLittle Bigeddonもごみ認定されかねない。されてるのかもしれないけど
>>168の定義でω^CK__2に達しているのかどうかがちょっと気になる。