最近の検索
検索オプション
> バザードさんは「コンピュータ支援による形式化が進むことで、数学における等号の概念的問題が解消される可能性がある」と見通している。
これも間違ったことは何も書いていないけど、日本語でこの記事にこう書くと、ぼんやりと勘違いされそうな感じだなぁという……
> バザードさんは「コンピュータ支援による形式化が進むことで、数学における等号の概念的問題が解消される可能性がある」と見通している。
これも間違ったことは何も書いていないけど、日本語でこの記事にこう書くと、ぼんやりと勘違いされそうな感じだなぁという……