分類したがるのは数学者だけではない。 計算科学の見果てぬ夢： すべてのプログラムを分類したい。 これは絶望的なので、 扱いやすいプログラム（の数学モデル）に限定して分類したい。 手順： プログラム（のモデル）のクラス（大きな集合）を特定する。 そ…

レベル 慣用的な記号 汎用性がある記号 言い方 0 同じ 1 同型 2 同値 3 ？ ？ k ？ k-同型 注意： 「同じ／同型／同値」は「0-同型／1-同型／2-同型」の同義語であり、この「同値」は一般的な同値関係の意味ではない。「同じ／同型／同値」はどれも同値関係…