われわれの想像力に新たな地平を切り開く目新しい数学的概念のすべてが、現実界と対応するわけではない。すべてが対応するなら、科学は新たな数学を探し求めるものにすぎなくなるだろう。現代数学の見地からは、数学の問題を解くことは、形式的には、チェス(あるいは将棋や碁)のような、一定のルールに制約された記号の操作に還元し得ると考えられている。この意味において、ウィトゲンシュタインは数学をひとつの「言語ゲーム」()と見なした。したがって、数学者によって現実の問題とは直接関わりを持たない問題も提起され得るし、また解くことも試みられる。また、数学がゲームであるとすれば、数学の研究成果の価値判断におけるや差異性よりも、数学研究における数学者自身にとっての「面白さ」がより重視されるかもしれない。ポパーは、数学では容認されても他の科学分野ではできない、このような見方を批判した。数学者が何かをするために必要な彼らの動機の感覚をもつことを、計算機は必要としない。数理科学において形式的な定義と計算機で検証可能な演繹は、絶対に要(かなめ)となる。計算機で検証可能な、記号に基づく方法論の活力は、そのルールなしには由来しない、しかしむしろ私たちの想像力に依存する。劣化.チャンパーワットの人食いトラ概要.この犠牲者の数は、単独の猛獣による獣害事件としては史上最悪のものとしてギネス世界記録に認定されている。経緯.逃げたトラは、ネパールとインドの国境になっているを渡ってインドに入り、クマーウーン地方で人間を襲い始めた。トラは以前よりも大胆になり、真っ昼間から村の近くを徘徊して人間を殺すようになった。地元の住民たちは恐怖のあまり、森の中からトラの唸り声が聞こえただけで職場を放棄するようになり、この地方の住民生活にも支障をきたすようになった。その後.仮設(数学)使用法.仮設は、数学や物理学上の問題を解くために、方程式や定理あるいは値の初期値として設定され、境界条件として考慮される。仮設が設定された後は、方程式は関数の一般形として解かれる。例.実験によって得られたデータの集合が直線についてのクラスタ解析として期待される時、線型的な仮設としてパラメータの線にフィットする直線が最小二乗法によって得られる。変分法による近似は仮設を用いている。