21/11/25 11:39:57.54 .net
【健常者と天羽優子の相違】
健常者「未科学とは、科学的研究が充分に為されておらず科学的に判定できない、未開拓領域全般を指す」
天羽優子「未科学は、科学的に真実と証明されていないニセ科学だ」
健常者「望月証明は、証明に使う数学諸分野とその新規拡張が広範にわたり、分量も膨大なので検証が難しい」
天羽優子「望月証明は、弟子と一部の数学者以外は理解していないから、証明していないのと等価だ」
健常者「数学的証明の述語論理への書き換えは理屈の上では可能だが、証明内容の検証は自動化できておらず人間の手による検証が必要」
天羽優子「望月証明を述語論理で記述すれば自動的に『他人に理解できる証明』になる。証明を述語論理で書かないのは証明をしていないのと等価だ」
高校生の妄想レベルの話しかしていない