読書ルート · 12件の選定記事
数学の歴史
この12項目を年代順に読み、各段階でどのような問題を扱い、何がその方法に説得力を与えるのかを考えてみましょう。現存する粘土板、書写された本文、注釈、刊行論文は、それぞれ異なる種類の証拠を残しています。現代の「数学」という分類は、それらを探すための手がかりです。当初の目的や表現形式も、引き続き重要です。
計算と論証の証拠を読む
まずバビロニアの粘土板とリンド・パピルスを比べてみましょう。一方は数のまとまりを残し、もう一方は分数や測定の計算を問題として整理しています。どちらも数に関する資料を記録し、組織する方法を示しています。現代の直角三角形の関係は粘土板の分析を助けますが、本来の目的については議論が残っています。パピルスは先行する資料に基づく写しであるため、現存品の年代と、方法が最初に現れた時期を区別する必要があります。
次にユークリッドと劉徽を並べて読んでください。一方は定義、前提、互いに依存する命題で構成され、もう一方は伝来の手順が成り立つ理由を説明する注釈で構成されています。伝統全体を実用的・理論的と順位づけることなく、それぞれの具体的な論証を比べましょう。『アーリヤバティーヤ』は数学を数理天文学のなかに置き、ブラーマグプタは算術の規則を検討し、フワーリズミーは言葉と幾何学で方程式を整理します。本文の形式と目的を考えると、方法がどのように教えられ、解釈され、修正されたかを説明できます。
異なる問いを混同せず、道具の変化をたどる
デカルトとライプニッツでは、方程式が曲線をどう表せるか、共通の規則が接線や極値の問題をどう結びつけられるかを考えてみましょう。新たな表現形式が問題を結びますが、今日の完成した座標による教育や、極限の厳密な基礎づけを当時の刊行物に読み込むべきではありません。フェルマーとニュートンの独立した研究も重要です。出版日は記録のなかの確認可能な時点を与えますが、すべての貢献を一人の著者や一年に帰するものではありません。
最後の三つの問いは区別してください。ロバチェフスキーは平行線公準を変え、カントールは無限集合の列挙可能性を比べ、ゲーデルは特定の形式体系が何を証明できるかを調べます。非ユークリッド幾何学は、ユークリッドが間違っていると宣言することではありません。カントールの1874年論文を、後の対角線論法として図示するべきではなく、不完全性も数学全体や人間の知識が信頼できないと示すものではありません。年代順の読書は、これらの著作の間に直接の因果連鎖を設定することなく、比較を可能にします。
このルートの年表
紀元前1800年頃
バビロニアの粘土板に記された直角三角形の数
実際に残る数表から始め、現代の数学的解釈と古代の目的を区別しましょう。直角三角形の関係を観察しながら、用途や証明についての主張を証拠の範囲にとどめます。
紀元前1550年頃
リンド・パピルスが伝える分数と測定
数表と問題文を比べ、分数や測定が、教えられる手順になる様子に注目します。紀元前1550年頃は現存する写しの年代であり、そこに記されたすべての方法の発明年ではありません。
紀元前300年頃
ユークリッドの『原論』が築く証明の連鎖
定義と基本的前提が後の命題をどう支えるかをたどり、劉徽の説明と比較します。非ユークリッド幾何学に進んだら、前提の役割に立ち戻ってください。
西暦263年
劉徽が『九章算術』の解法の理由を説く
算法がなぜ成り立つか、注釈が手順と数学的な根拠をどう結ぶかを問いましょう。263年は劉徽の注釈の年代であり、『九章算術』が最初に成立した年ではありません。
西暦499年
『アーリヤバティーヤ』が数表を天文学に用いる
天文学の著作のなかで数学が果たす目的と、簡潔な韻文を理解するために必要な説明に注目します。劉徽と合わせて読み、知識が発展する本文の形式を考えてみましょう。
西暦628年
ブラーマグプタが算術の規則にゼロを組み入れる
空位を示すゼロと、ゼロを含む演算の規則を分けて考えます。628年を現代的な数体系の完成とするのではなく、ゼロによる除法について、ブラーマグプタと現代数学の違いを保ちます。
西暦830年頃
フワーリズミーが方程式の解法を代数学に整理する
今日の文字による代数記法を使わない言葉の説明のなかで、方程式の種類、解法、幾何学的な論証を見分けます。後にデカルトは、代数と幾何を比較する別の方法を示します。
1637年（刊行）
『幾何学』が曲線と方程式を結びつける
曲線と方程式が互いをどう表せるかを調べ、それ以前の言葉による方法と比較します。1637年の出版、フェルマーの独立した研究、現代の座標の教科書との違いはいずれも重要です。
1684年（微分法の論文）
ライプニッツが微分法を発表する
微分記法と規則が、接線と極値を、繰り返し使える方法にどうまとめるかを見ます。1684年は刊行年であり、ニュートンの独立した研究や後の基礎づけも背景の一部です。
1829～1830年（連載刊行）
ロバチェフスキーが異なる平行線公準の幾何学を探る
ユークリッドの平行線公準に戻り、一つの前提を変えた結果を調べます。1829～1830年の連載刊行、それ以前の発表、後のモデルは、記録のなかの別々の部分です。
1874年（論文刊行）
カントールが無限集合の大きさの違いを証明する
列挙できるものと、同じ方法では列挙できないものを比べ、無限の大きさについての問いを精密にします。1874年の結果をそれ自体の内容に即して読みましょう。おなじみの対角線論法は後の研究です。
1931年（不完全性の論文）
ゲーデルが形式的証明の限界を示す
公理、形式的証明、体系に課される条件を区別できるか確認します。結果は、適切な制約を満たし算術を表現できる体系に関するもので、数学全体の信頼性に関するものではありません。
さらに考える問い
数表、算法、証明はどう比較できるのか
具体的な結論を一つ選び、何がそれを支えているかを問いましょう。列記された値、実行できる規則、明記された条件からの演繹のどれでしょうか。粘土板の数のまとまりが、そのまま一般命題を証明するわけではありません。劉徽の注釈も、算法を扱う文献が方法の成り立つ理由を説明できることを示します。計算や証明を文化全体の属性とするより、個々の根拠を比べる方が役立ちます。
ゲーデルの1931年の結果が実際に制限するものは何か
十分な算術を含み、適切な無矛盾性の条件を満たす、実効的に公理化された形式体系に関する結果です。記事は、体系内の命題を決定する限界と、自らの無矛盾性を証明する限界を区別しています。これらの条件は重要です。結果は、すべての数学的問題を解けなくするものでも、人間の知識や機械全体について無制約の一つの結論を示すものでもありません。