トップページ > 数学 > 2019年02月19日 > WdI9+CNb

書き込み順位＆時間帯一覧

12 位/80 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000000202



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
巨大数探索スレッド15

書き込みレス一覧

巨大数探索スレッド15
17 ：１３２人目の素数さん[]：2019/02/19(火) 22:35:11.13 ID:WdI9+CNb
「巨大数コンテストのレギュレーション一覧」という巨大数wikiのページを見ていて、これによるとラヨ数はラヨ部門に当たるらしいのですが、
ラヨ数は二階述語ZFCで定義可能のはずです
詳しくないので間違ってたらすみませんが、計算不可能部門で最小の部門において
ML FOST
MT ZFC+con(ZFC)
L SOST(second order set theory)
T ZFC2(ZFCの図式を論理式量化で置き換えたもの)
A PA

でLによってTに真理述語を入れることでラヨ数は定義可能で、エントリー可能だと思うんですが、誤りはあるでしょうか？
巨大数探索スレッド15
18 ：１３２人目の素数さん[sage]：2019/02/19(火) 22:52:00.99 ID:WdI9+CNb
このML〜Aの設定を主催者側は提示しない、デフォルトルールやMLを持つメタ理論でZFCを無矛盾として〜とするでしょうから実際投稿出来ることにはならないでしょうけれども……
計算不可能部門で既にラヨ数などを投下できる枠組みがあるのですから、あえてラヨ数部門を極大無矛盾集合を使って用意するのも疑問符が浮かびます


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。