- 最強妄想キャラクター議論スレ41
300 ：◆z1qWXXpLbtDS [sage]：2022/08/17(水) 21:57:32.81 ID:WjyoEyHW - プリンキピア・マセマティカ・オリジン 考察
元ネタは最小の証明を書けなくても戦え数
集合論とか数学の言葉を自然言語に置き換えるのは理論の中で暗黙の了解で省略されてる定義とか前提が成り立たなくなるので非常に危ない
特にこの場合も∧の解釈とか統語・メタ言語の概念とかは最強スレに合わせた文章にした時点で成り立たないかもしれない
多分考慮できないだろうけどひとつずつ見ていく
>Nは0を含む自然数とする。
集合と定義してないと数学的には危ない。というか原文ではN直接出てるし書かなくても大丈夫だった気もする
>FOLの「項」とはFOLの妄想列であって
妄想列とはなんぞや。最初にアルファベット集合って書いたんだから妄想列にしても定義不明になる。
>特に、FOL から FOL_{論理式記号} を除いた形式言語 FOL' は1階述語論理の形式言語であり
論理式記号の変換を忘れたね。
>最強妄想キャラクター議論スレのルール以外を
ルール以外って逆になんだよ。原文はZFCの公理系から置換公理を除いてるんだから、この場合はせめて妄想スレのルールから1部のルールを排除するのが正しい。
そして自然数による形式体系、というか数学で扱う言語体系では自然言語は表現できない。数とか集合とかは記号と規則を与えれば構築できるけど、妄想スレのルールなんてかけるわけが無い。ここも定義が破綻している。
>有限個の1階論理式を公理として P が FOL' において証明可能であるということである。
ここもギルティ。自然言語に置き換えてしまった時点で無定義の公理とか証明という概念を使用できない。
>Aがペアノ算術を内包し
そして唐突に出てくるペアノ算術。ここは変換しなかったのか
>A において証明可能であるような最強 m である』ような任意の能力 m
さっきと同じ。記号と文法だけじゃどうやっても能力や最強という概念を定義できないし、その文法も定義不明。というか原文では最小なんだから最弱というのが正しいのでは…
>f(トリアクルス)を「最小の証明を書けなくても戦え数」と定義する。
引数でけぇなおい。原文グーゴルやぞ
まぁこんな感じで数学の言語で能力を定義するのは無理がある。特殊能力は考慮不能。
素早さは時間無視としても、防御力は定義不可、攻撃力も金色の闇が不明で定義不可。
考察に必要な情報を定義出来ないので考察不能。
|
|