不定期戯言

9÷0の話からつらつらと，数を構築する手続きについて考えていた。たとえば自然数の順序対に同値関係を入れて整数にしたり，整数の順序対に同値関係をいれて有理数にしたり…この有理数を，元の自然数のところまで戻って考えると相当ややこしいのだけど，well-definedであることの保証をあちこちでやってあるから「実装」の詳細をうだうだ考える必要はない。このあたりの感覚と，オブジェクト指向と，なんだか通じる気がする。