Tag
数学
-
アルゴリズム
問題を解くための手順を有限ステップで定義した規則体系。9世紀の数学者フワーリズミーに語源を持ち、20世紀にチューリングが形式化した。効率性・正確性・再現性を担保し、ソフトウェア・機械学習・オペレーションズ・リサーチの基盤をなす。「何をどの順序で行うか」を明示することで複雑な問題を機械的に解くことを可能にする。
-
フィボナッチ数列
前項と前々項の和が次の項を生む数列。1202年にレオナルド・フィボナッチが『算盤の書』で紹介した。項が大きくなるにつれ隣接項の比は黄金比（約1.618）に収束し、植物の葉序・巻貝・銀河の渦巻きなど自然界の形態原理と一致する。
-
フーリエ変換
1822年にジョセフ・フーリエが熱伝導の研究で体系化した変換。時間領域の複雑な信号を周波数領域に変換し、どの周波数成分がどれだけ含まれるかを明示する。MRI・MP3・5G通信など現代技術の根幹をなし、「複雑さを単純な成分に分解する」という思考の原型でもある。
-
トポロジー
形の「本質的な同一性」を連続変形に対する不変量で記述する数学の一分野。1736年オイラーのケーニヒスベルク橋問題を起点に発展し、20世紀初頭にポアンカレが位相幾何学を体系化した。ネットワーク構造・位相的データ解析・量子物理学の基盤をなす。
-
微積分の発明
17世紀後半、アイザック・ニュートンとゴットフリート・ライプニッツが独立に体系化した微分積分学。接線・速度・面積といった連続的変化の量を扱う枠組みを確立し、近代物理学・工学・経済学の共通言語となった。両者の優先権論争は欧州数学界を分断し、大陸とイギリスの発展経路を変えた。
-
カオス理論
20世紀後半に成立した、決定論的な非線形力学系に現れる予測不能性の理論。1963年エドワード・ローレンツの気象シミュレーションに始まり、ストレンジアトラクター、初期値鋭敏性（バタフライ効果）、分岐図、フラクタルなどの概念が発展した。ニュートン的決定論の限界を示し、複雑系科学の基盤となった。
-
ユークリッド原論
紀元前300年頃、アレクサンドリアの数学者ユークリッドがまとめた全13巻の数学書。定義・公準・公理から命題を演繹する厳密な体系を示し、2000年以上にわたり西洋の数学・論理学教育の標準テキストとなった。近代科学の方法論的モデルとしても決定的な影響を及ぼした。
-
フェルマーの最終定理
1637年にピエール・ド・フェルマーが書き記した『n≥3のとき、xⁿ+yⁿ=zⁿを満たす正整数の組は存在しない』という命題。3世紀にわたり未解決の難問だったが、1995年にアンドリュー・ワイルズが谷山-志村予想の証明を経由して完成させた。楕円曲線・モジュラー形式・保型形式を結ぶ壮大な数学理論を動員した証明は、近代数学の金字塔となった。
-
ゲーデル不完全性定理
1931年、オーストリアの論理学者クルト・ゲーデルが証明した、自然数論を含む十分に強力な無矛盾な公理系には、真でありながら証明も反証もできない命題が必ず存在するという定理。ヒルベルトの形式主義プログラムを決定的に破綻させ、数学の限界と計算可能性の概念に深い示唆を与えた。
-
ピタゴラスの定理
紀元前6世紀のピタゴラス学派に帰される、直角三角形の斜辺の二乗は他の二辺の二乗の和に等しいという定理。古代バビロニア・中国・インドでも独自に知られていた。数と世界の調和を象徴し、無理数発見の契機ともなって、西洋数学思想の出発点を形成した。