Hacker News with Generative AI: Set Theory

Numbers Are Leaves (christo.sh)
Over Christmas I set out to teach myself axiomatic set theory. Specifically, I wanted to teach myself Zermelo-Fraenkel set theory with the axiom of Choice or ZFC.
Mathematics, Set Theory, Learning
255 points by nodar-d 23 days ago | 69 comments
From Sets to Categories (2023) (abuseofnotation.github.io)
Mathematics, Category Theory, Set Theory
68 points by boris_m 159 days ago | 47 comments
How the continuum hypothesis could have been a fundamental axiom (hamkins.org)
Mathematics, Set Theory, Logic, Axioms
72 points by FillMaths 199 days ago | 48 comments
A Type for Overload Set (biowpn.github.io)
Programming, Software, Types, Set Theory
13 points by aw1621107 199 days ago | 4 comments
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory (arxiv.org)
Mathematics, Set Theory, Logic
15 points by eynsham 238 days ago | 0 comments