Post #2061456
2026-04-09 14:45 UTC
@mjd What annoys me most about this is that it seems like the only available way for beginners to learn about foundations, which leads to endless confusion about the thoroughly chaotic and unprincipled way that basic notions are encoded in material sets. Latest example to date but this happens every other week on MSE.
Most people still view type theory as a fringe topic or an advanced area of research, not something for beginners to learn, and this makes me very sad.
Replies (1)
-
@mjd@mathstodon.xyz 2026-04-10 18:29
@ncf I was very lucky, my introduction to axiomatic set theory was accidentally from Kelley (1955) and Kelley set theory is different from ZF in a way that really highlights ZF's limitations. So whenever I encountered the ZF fundamentalists I had a solid foundation to say “no, it doesn't have to be that way”.