Up 数学はプラグマティズムが無い形を目指す? 作成: 2011-09-15
更新: 2011-09-15


    数学は,理論が完全に明証的であることを目指す。 完全に明証的であるとは,プラグマティズムが完全に閉め出されているということである。

    <目指している>は,<実現している>ではない。
    例えば,ユークリッド幾何学の公理・公準系は,プラグマティズムからフリーになっているかどうか? ほんとうのところはわからないと見るべきである。

      「明証」は,ひと (数学会) の判断することである。 「明証」も,プラグマティズムの内容である。