2019-07-01から1ヶ月間の記事一覧

実験と計算を往還する(2)

1. 正しい計算といえども、われわれがまず実行し、その結果を、われわれが正しい計算と認めたのであり、天から与えられてわれわれの許にあるわけではない。 一方では、いわば試行としての、規則に従いつつ記号操作した結果(式、図形、等)としての「計算」…

実験と計算を往還する(1)

1. 前にも触れたように、(直感的に)現実への応用が見当たらない数学は膨大に存在する。 そのような数学についても「二重性格」ということが言えるのだろうか? セマンティックな関係を抜きにして、この「二重性格」に相当することを言うためには、一度視点…