25/12/21 17:03:06.50 QKKEOyaG.net
>>201
コンピュータの視点で望月新一のIUによる証明をみると
プログラムのステートメントになってない（笑）
Scholzeはまさにコンピュータになった結果
「IU？ただのコメント文か 無視(ignore)しとこ」
何も間違ってない IU言語の処理系がないから
Kirty JoshiはIUから
「これがプログラムじゃね？知らんけど」
というものを抽出してみた
でもScholzeからは
「いやぁ、まだまだそれじゃダメじゃね？」
といわれてる
処理系が存在しないプログラム言語を書く望月新一こそ、数学的にマジで頭オカシイ
意味論ゼロのプログラム言語なんて無意味
望月新一は、この単純な事実を認めたがらない
自分の失敗を認めることになるから
やれやれ・・・