定義
従来の定義では説明(describe)できない物(現象?)が見つかったとき、それは新しい概念,発見
例
そこで負の数
有理数の定義では二乗すると2になるものは説明できない
そこでルート2
実数の定義では二乗で-1を説明できない
そこでi
有限集合の定義では無限の全単射を説明できない(表現なにか違う気がする、後で修正)
そこで無限集合
negative, irrational, imaginary numberという名前に、従来の定義じゃ説明できないものに直面したときの苦悩が現れてる (ように見える)
この苦悩を解決して「2次元の数」という概念のもと出来上がった「複素数」という名前が最高
これ、数学における一般化の機能のうちの意味付けだな
#TOK のエッセイで取り扱う