I just uploaded a new version of my book on monadic second-order logic. The main addition is a section on Shelah's undecidability proof for the monadic theory of the real line.

www.fi.muni.cz/~blumens/MSO...

Just tried again to do some math with ChatGPT and I'm still not impressed. It strongly reminded me of a student trying to bullshit through an exam they did not study for.

For a pixel font this one is very readable. When setting longer texts you might want to add one pixel of leading though.

(That being said, whenever I see a game using pixel fonts it's an immediate negative for me. Hi-res fonts are that much more readable.)

Most of mathematics. Learning an abstract approach without having seen the motivating examples does usually not work very well.

How would set theory research be affected by using ETCS instead of ZFC? In "Rethinking Set Theory", Tom Leinster argues in favor of teaching axiomatic set theory via Lawvere's Elementary Theory of the Category of Sets with 10 axioms (but phrased in a way that

James Hanson, arguing that the dispute between category theory and set theory is essentially over and has been for some time. He calls out the rhetoric of Lawvere as frustrating and unhelpful. mathoverflow.net/a/484638/1946

I do that after the first email.