19/01/18 21:12:13.35 OFyyBdpX.net
圏論のLeinsterが、Rethinking set theory
URLﾘﾝｸ(arxiv.org)で、
ZFCを基礎とした公理的集合論を批判してて、
まあ個人的に八割がた難癖みたいに聞こえるんだけど、
直観的に実数と実関数は型が違う対象であるはずなのに、
全ての数学的対象を集合とみなして、コーディングを
デコードする人のキモチで区別するのっておかしくない？
みたいなこと言ってて、まあそれはその通りなのかなあ、
とも思うんだよね。