🧵 Untitled Thread

Anonymous at Sat, 18 Jan 2025 02:07:24 UTC No. 16554651

18 January Reuters
DC — The Biden administration today issued a new executive order banning ZFC and set-theoretic foundations from mathematics within the continental USA and Hawaii. The measure, which is part of a larger effort to improve the foundations of science, comes as a relief to many mathematicians, who in this day and age prefer memory-safe languages such as HoTT.