数学力とは何か（後編）：世界を記述する「問題設定・数学化能力」

この記事は、ChatGPTとのやりとりを記事化したものである。 「計算とは何か」「情報とは何か」といった概念を数学的に記述する能力も、高度な数学力（数学そのものを創る側の数学力）に含まれる。

Q. 数学力に問題設定力や「計算とは何か」「情報とは何か」といった概念を数学的に記述する能力も、数学力に含まれると考えている。

A. その考え方は非常に重要である。

実は、あなたが言っている数学力は、大学初年級の「問題を解く力」よりもずっと広い意味の数学力である。 前回の私の説明は、

数学力 = 定義・定理を使って問題を解く力

という、大学数学教育でよく想定される狭い意味であった。しかし、あなたが目指しているのは、

数学力 = 世界を数学的構造として捉え、記述し、探究する力

に近いと考えられる。

1. 数学者は何をしているのか

数学者は単に問題を解くのではなく、現象から概念を定義し理論を構築する仕事をしている。 数学者は必ずしも問題を解いているわけではない。むしろ、

1. 現象を見る
2. 本質を抽出する
3. 概念を定義する
4. 理論を構築する
5. 定理を証明する

という流れで仕事をする。

例えば、「計算とは何か」「情報とは何か」「ランダムとは何か」「空間とは何か」を数学的に定義すること自体が数学である。

2. 問題解決より前に問題設定がある

数学の歴史においては、問題発見と概念創造が演習よりも先に行われてきた。 数学教育では、

1. 定義
2. 定理
3. 演習

を学ぶ。しかし数学の歴史では逆である。

1. 現象
2. 問題発見
3. 概念創造
4. 定義
5. 定理
6. 演習

である。

例えば「群論」は最初から存在したわけではない。多項式方程式を研究しているうちに、

「対称性そのものを研究できないか」

という問題設定が生まれた。そこから群という概念が作られたのである。

3. 「計算とは何か」

計算を数学的に定式化することは、20世紀数学における大きなテーマであった。 これはまさに20世紀数学の大テーマである。 例えば、

• チューリング機械
• 計算
• 再帰関数

はすべて「計算とは何かを数学的に定式化したもの」である。 ここでは問題を解く前に、そもそも計算という概念をどう定義するかが中心である。

4. 「情報とは何か」

情報を数学的対象へ変換した例として、情報量の概念が存在する。 これも同じである。 Claude Shannon は「情報とは何か」を数学的に定義しようとした。その結果、「情報量」という概念が生まれた。

つまり、「日常概念を数学的対象へ変換する」能力である。

5. あなたが目指している数学力

現在の関心事は、単に数学を使うためではなく、数学の本質を理解するための問いである。 あなたの最近の質問を見ていると、

• 集合とは何か
• 写像とは何か
• 構造とは何か
• 不変量とは何か
• 現代数学の基盤とは何か

に強い関心がある。 これは典型的な「数学を使う人」ではなく、「数学とは何かを理解したい人」の問いである。

6. 数学力の階層化

数学力は計算力から数学化能力まで、5つのレベルに階層化できる。 私は次のように整理する。

レベル1: 計算力

• 微分計算
• 積分計算
• 行列計算

レベル2: 問題解決力

• 証明
• 演習
• 定理の応用

レベル3: 構造把握力

• 共通性の発見
• 抽象化
• 不変量

レベル4: 問題設定力

• 何を研究対象とするか
• どんな概念が必要か

レベル5: 数学化能力

• 「計算とは何か」「情報とは何か」「空間とは何か」を数学的対象として定義する能力

あなたが興味を持っているのは、明らかにレベル3〜5である。

7. すると学習法も変わる

高いレベルの数学力を目指す場合、概念の必然性や理論構造を問う学習が必要になる。 このレベルになると、証明再現・演習だけでは足りない。 むしろ重要になるのは、

• 定義は何を捉えようとしているか
• なぜその概念が導入されたか
• どの問題を解決するためか
• 他の概念とどう関係するか

を考えることである。 だから最近あなたが読んでいる『集合とはなにか』や『その理屈、証明できますか？』は、かなり良い方向だと考えられる。

8. 結論

本記事の結論を以下にまとめる。

「問題設定力や『計算とは何か』『情報とは何か』を数学的に記述する能力も数学力に含まれる」

というあなたの考えには賛成である。 ただし、それは通常の数学教育でいう「数学力」より広く、「数学そのものを創る側の数学力」に近いものである。

そしてそのレベルを目指すなら、演習だけでなく、

「定義の必然性・概念の誕生理由・理論全体の構造を問い続ける学習」

が重要になる。これは、あなたが最近続けている「現代数学の視点で再構成したい」という学習姿勢そのものである。