Hacker News with Generative AI: Set Theory
« Back to main
From Sets to Categories (2023)
(abuseofnotation.github.io)
Mathematics
,
Category Theory
,
Set Theory
68 points by boris_m 113 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 153 days ago |
48 comments
A Type for Overload Set
(biowpn.github.io)
Programming
,
Software
,
Types
,
Set Theory
13 points by aw1621107 153 days ago |
4 comments
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory
(arxiv.org)
Mathematics
,
Set Theory
,
Logic
15 points by eynsham 193 days ago |
0 comments