「科学」の版間の差分

ここでいう理論数学とは、議論の出発点に諸原理（[[定義]]や[[公理]]）を置き、そこから何らかの命題が真であることを論証してゆく形態の数学のことであり、演繹的に命題群を証明してできた体系を「公理論的数学」という。このような数学を、[[キオスのヒポクラテス]]が体系づけはじめ、[[紀元前300年]]ころには、[[ユークリッド]]が『[[原論]]』を編纂し、集大成した。ユークリッドの『原論』を幾何学の書とするのは誤解であり、算術を含んでいた。当時の純粋数学は、[[離散量]]についての理論的学科としての[[算術]]と、数直線から構成される[[連続量]]についての幾何学を含んでいた。離散量を扱う算術の応用に[[音階学]]（現在の[[音楽]]）があった。当時すでに幾何学は[[平面幾何学]]と[[立体幾何学]]を含んでおり、立体幾何学の応用部門として[[天文学]]が存在していた。