- 547 名前：472 mailto:sage [2010/10/01(金) 22:17:54 ]
- やたら伸びててビビった
正直なとこ、証明論とか非古典論理とか計算理論とかは興味ないなら知らなくても結構だと思うけど
一般的には終わった学問だと見做されているかもしれない集合論に関しては、
昔のポーランド学派の数学の発展的形態みたいなところがあって、
Cohen以後は実は純粋に数学として米国やらイスラエルやらで
爆発的に発展していたりすので或る程度知っといた方が良いんじゃないかなーと
だいたい連続体仮説は証明できないことが証明できるってのは驚くべきことじゃないですか
