21/03/04 13:19:58.49 OT7AHCcR.net
>>602
それ以前に、そもそも「証明のギャップ」の問題性を分かっていない気もする
「定義は先に来るのではなく、後から来る」という96年前に亡くなったオリヴァー・ヘヴィサイドの発言のように、100年前までの「厳密性はおざなりだが分かった気になれる数学」を続けてるのではないだろうか
だから論理の飛躍があることが現代数学では問題になるということが認識できない
21/03/04 13:19:58.49 OT7AHCcR.net
>>602
それ以前に、そもそも「証明のギャップ」の問題性を分かっていない気もする
「定義は先に来るのではなく、後から来る」という96年前に亡くなったオリヴァー・ヘヴィサイドの発言のように、100年前までの「厳密性はおざなりだが分かった気になれる数学」を続けてるのではないだろうか
だから論理の飛躍があることが現代数学では問題になるということが認識できない