IMAGINE, IF YOU WILL, A PERSON WHO HAS BUILT HIS IDENTITY AND CAREER ON HIS LOVE AND KNOWLEDGE OF LOGIC; WHO HAS SPENT YEARS AND CONSIDERABLE MONEY STUDYING LOGIC; WHO HAS GRADUATED WITH A DEGREE IN LOGIC; WHO PERHAPS TEACHES LOGIC TO CHILDREN OR EVEN LECTURES ON IT AT A UNIVERSITY. NOW IMAGINE DISCOVERING THAT THIS PERSON HAS ONLY EVER HEARD ABOUT ONE FOUNDATION IN THEIR ENTIRE LIFE: IT IS THE ZERMELO–FRAENKEL SET THEORY.
Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
@ncf@types.pl
·
Apr 09, 2026
13
0
2
Loading comments...