@dpiponi @johncarlosbaez I managed to get as far as a DPhil without any formal (sorry) education in the foundations of maths. The only times I recall it rearing its head were the passing comments in topology that Tychonoff's theorem needed the axiom of choice, and likewise in measure theory for non-measurable sets.
R
robjlow@mathstodon.xyz
@robjlow@mathstodon.xyz
Posts
-
I don't want to formalize any of my work on mathematics. -
I don't want to formalize any of my work on mathematics.@johncarlosbaez @highergeometer I hope we're not in for some kind of 'purity test' era, where if it ain't formally verified, it ain't really mathematics.
-
If SQL is pronounced "sequel" then surely DNS is pronounced "Dennis"?@bloor I assume somebody has done an 'Anyone for DNS?' bit somewhere, but there were too many replies for me to bother checking.