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...
www.fi.muni.cz/~blumens/MSO...
www.fi.muni.cz
February 23, 2025 at 7:58 AM
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...
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.
January 18, 2025 at 6:55 PM
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.
Reposted by Achim Blumensath
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
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
mathoverflow.net
December 23, 2024 at 8:48 PM
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