数学の問題

ある日あなたが床屋の前を通り過ぎ、次のような内容の看板を見かけたとしよう：
「あなたは自分の髭を剃りますか？
もし自分で剃らないのなら、ぜひご来店ください。
私が剃ってあげましょう！
私は自分で髭を剃らない人には誰にでも髭を剃ってあげますが、それ以外の人の髭は剃りません。」
さて、ここで問題：「床屋自身の髭は誰が剃るのか？」 
― 床屋のパラドックス
数学の問題（すうがくのもんだい）は、数学的方法で、表現され、解析され、そしてもしかすると解けるかもしれない問題である。これは、太陽系の惑星の軌道計算のような現実世界の問題であったり、ヒルベルト問題のような、より抽象的な性質の問題であったりすることがある。
それは、ラッセルのパラドックスのような、数学の性質そのものについて触れる問題であることもある。
解かれた数学の問題の結果は、数学の礼儀作法に則り、証明と吟味がなされる。

**現実世界の諸問題**
形式ばらない「現実世界」の数学的諸問題は「アダムは5つのリンゴを持っていて、ジョンに3つを与える。彼は残りいくつ持っているか?」というような、具体的な設定と関係する問いである。たとえその問題を解くために必要とされる数学を知っていたとしても、このような問いは普通「」のような通常のlabel=計算練習問題よりも解くのは難しい。文章題として知られるそれらの問題は、現実社会の状況を数学という抽象的な言語と結びつけることを生徒に教えるために数学教育で用いられる。
一般的には、現実社会の問題を解くために数学を使うにあたって、最初の段階となるのはその問題の数理モデルを組み立てることである。これはその問題の詳細から抽象することを含んでいて、モデル作成者は元の問題を数学的問題に表現し直すにあたり、本質的側面を失わないように注意深くあらねばならない。数学の世界でその問題が解けた後、その解は元の問題の文脈の中へと訳し戻さなくてはならない。
現実の現象は、一見すると単純なものや複雑であるものまで様々である。一見単純なものでも、微視的に見れば、複雑な機構であることもある。それらは現象を観察する尺度と、機構の安定性に依存する。単純な現象を簡単なモデルで説明できることもあれば、簡単なモデルから現象の複雑さを説明できそうなこともある。カオス理論によるモデルがその一例である。

**抽象的な諸問題**
抽象的な数学の問題は数学のすべての分野に現れる。数学者は彼ら自身のためにそれらを研究するのだが、そうすることによって数学の領域外で応用を見つける結果が得られることがある。理論物理学は歴史的にそうであり続けてきたし、相変わらずインスピレーションの豊かな源である。
抽象的な諸問題の中には、古典幾何学の定規とコンパスによる作図だけを使用した円積問題や角の三等分問題、一般的な五次方程式の代数的解法のように、解くことが不可能であることが厳密に証明されたものもある。また、チューリングマシンの停止問題のように、証明可能性的に解くことが不可能な問題は、いわゆるUndecidable problemと呼ばれる。
多くの抽象的な問題はお決まりの手順で解くことができるが、そのほかの問題は大変な努力を伴いながら解かれてきた。いくつかのとても重要な領域への進出については、それまではまだ一つの完全な解に導かれたことがなかった状態から生まれた。他方、ゴールドバッハの予想とコラッツの問題のような、そのほかの問題は未だあらゆる試みに抵抗している。よく知られた難しい抽象的な諸問題のうちのいくつかは、比較的最近になって解かれたもので、四色定理、フェルマーの最終定理、ポアンカレ予想が知られている。
われわれの想像力に新たな地平を切り開く目新しい数学的概念のすべてが、現実界と対応するわけではない。すべてが対応するなら、科学は新たな数学を探し求めるものにすぎなくなるだろう。page=17現代数学の見地からは、数学の問題を解くことは、形式的には、チェス（あるいは将棋や碁）のような、一定のルールに制約された記号の操作に還元し得ると考えられている。この意味において、ウィトゲンシュタインは数学をひとつの「言語ゲーム」（Sprachspiel）と見なした。したがって、数学者によって現実の問題とは直接関わりを持たない問題も提起され得るし、また解くことも試みられる。また、数学がゲームであるとすれば、数学の研究成果の価値判断におけるnoveltyや差異性よりも、数学研究における数学者自身にとっての「面白さ」がより重視されるかもしれない。ポパーは、数学では容認されても他の科学分野ではできない、このような見方を批判した。
数学者が何かをするために必要な彼らの動機の感覚をもつことを、計算機は必要としない。（訳文:1939, p. 104-105, "第二に、かゝる機械は、私どものいかなる者とも同等に、あるひはそれ以上にも多くの事を遂行するとしたところで、このものにはどうしても免れがたい缺陷がある。何が缼陷かといえば、かゝる機械は自覺によつて動くのではなく單にその器官の裝置にしたがつて動くだけだからである。けだし理性はいかなる種類の出來事であらうとこれに應じうる萬能の道具である。これに反して、それらの器官はといへば、箇々の動作に對して箇々別々の裝置を必要とする。それ故に、理性が私どもを動かすやうな調子に、たゞ一つの機械のうちに、私どもの全生涯のあらゆる場合に應じて、これを動かすに足るだけの種々の裝置を施すといふことは、おそらく不可能なことである。"）数理科学において形式的な定義と計算機で検証可能な演繹は、絶対に要（かなめ）となる。計算機で検証可能な、記号に基づく方法論の活力は、そのルールなしには由来しない、しかしむしろ私たちの想像力に依存する。page=305

**劣化**
成績評価のために問題解決を用いる数学教育者は、アラン・H・シェーンフェルドにより言い表された問題を抱えている：
ほぼ２世紀早くlabel=シルヴェストル・ラクロワも同様の問題に直面した：
そのような諸問題の単なる練習問題への劣化は、歴史上の数学の特徴である。例えば、19世紀のlabel=ケンブリッジ大学の数学卒業試験のための予習について記述するとき、アンドリュー・ワーウィックは次のように書いた：

**脚注**

**参考文献**
 cite book |last = Bourbaki |first = Nicolas |authorlink =ニコラ・ブルバキ |series = ÉLÉMENTS DE MATHÉMATIQUE |title = Théorie des ensembles |edition = 3 |publisher = Hermann |location = Paris |year = 1966
** （上記の和訳書）cite book |和書 |last = 前原 |first = 昭二 |title = 集合論 1 |series = ブルバキ数学原論 |date = 1968-09-30 |edition =1 |publisher = 東京図書 |ref = harv- cite book |last =Descartes |first =René |authorlink =ルネ・デカルト |year =1637 |title =Discours de la méthode pour bien conduire sa raison et chercher la vérité dans les scienses, plus la doptrique, les météores et la géométrie qui sont des essais de cette méthode |lang =French |url =https://gallica.bnf.fr/ark:/12148/btv1b86069594/f5.image |postscript =, Gallica - The BnF digital library |ref =harv
** （上記の和訳書）cite book |和書 |last =落合 |first =太郎 |authorlink =落合太郎 |year =1939 |title =方法叙説 |series =デカルト選集 第一巻 |publisher =創元社 |location =東京 |ref =harv- ref =harv - cite book |last =Krauss |first =Lawrence M. |authorlink =:en:Lawrence M. Krauss |title =Hiding in the Mirror: The Quest for Alternative Realities, from Plato to String Theory by way of Alice in Wanderland, Einstein, and The Twilight Zone |year =2005 |publisher =Penguin Group |location =USA |lang =English |ref =harv
** （上記の和訳書）cite book |和書 |last =斉藤 |first =隆央 |title =超ひも理論を疑う：「見えない次元」はどこまで物理学か? |date =2008-02-15 |edition =初版 |publisher =早川書房 |location =東京 |isbn =978-4-15-208892-5 |ref =harv 

**関連項目**
 数学上の未解決問題- 問題解決- 数学パズル- 思考実験