18 January ReutersDC — 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.
fortunately, computers are rendered unusable, averting WW4, but cause WW3
>>16554651Alaska: "Nothing good ever happens here...*sigh*"
