25/12/18 19:02:42.84 yuEWPETE.net
>>72
>命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
> は、私が立てた命題ではないのだが
> この命題で IUT論文を論難するのが 話がおかしいってことを ダジャレで反論しているわけで
その命題に沿って反例を上げようとして失敗してますよ
それから
>一つは、”数学者は皆”の部分だ。皆＝∀ の意味なら 当然
この部分に反例が出るだろう（数学者だって皆人間だもの）
まあここは確かに
しかし彼の言いたいのは
IUTの論文がleanに乗るくらい曖昧�