空集合の一点集合
学生時代とても頭が良く切れ者の知り合いがいまして、その人は文学部だったのですが、数学も良く出来、難しい大学入試問題もすらすらと解いてたのです。ところが一度数学談義になり、彼が言うには
と
の違いが分からないというのです。で、そのときはどうしてこんなに頭の良い人が、これほどあたりまえの事実の把握に失敗してるのか理解出来ず、通り一遍に片方の要素の個数は
0 で、もう片方の要素の数は
1個なので違うじゃない、等色々説明を試みたのですが、結局分かってもらえなかったのでした。別にそれで特に困るわけではないので、一時間くらいであきらめましたが。
これは以前から非常に面白く考えさせられる記事だと思っておりました。
2008年12月
というわけで
そういえば perl というプログラミング言語では
(0,(1,2)) と ((0,1),2) と (0,1,2) が同じですよね。
……関係ありませんでしたか。
私はこれは誤設計だと思っていて、この原因はこの話と本質的には同じだと思うのですが。
[ ] と [ [ ] ] を使うプログラムは Haskell を知るまでは書けなかった。たとえば ruby で書いてるんだけれども。