>>894
>厳密恐怖症のサルが吠えまくってて草

おれは 中学時代から 厳密思考をむねとしている
君とは 真逆さ。大学学部数学科で ”厳密”の冷や水を思いっきり浴びせられて詰んだ君
あわれだね

だが、現代数学は もう 単純な”厳密”を超えた
典型例が >>882の有限単純群の分類定理
いくつかの部分で、コンピュータの計算で 単純群を構成している

いまや、群論のソフトがある
mathematica にも 部分的には取り入れられていると聞く

コンピュータの計算部分と 人の厳密思考と
両立できると思うし、それを考えるのが良いだろう

望月IUTもそれらしいね
Leanで検証するらしいよ