▽The n-Category Café ●11/16 03:58 November 15, 2024Axiomatic Set Theory 9: The Axiom of ChoicePosted by Tom LeinsterPreviously: Part 8.It’s the penultimate week of the course, and up until now we’veabstained from using the axiom of choice. But this week we gorgedon it.We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, thewell ordering principle, cardinal comparability (given two sets,
▽Wadler’s Blog ●10/17 00:41 15.10.24You can help Cards Against Humanity pay "blue leaning" nonvoters $100 to voteHow is this not illegal??? Cards Against Humanity is PAYING people who didn't vote in 2020 to apologize, make a voting plan, and post #DonaldTrumpIsAHumanToilet—up to $100 for blue-leaning people in swing states. I helped by getting a 2024 Election Pack: checkout.giveashit.lol. Spotted via BoingBoing. More info
▽The String Coffee Table ●10/14 01:09 October 20241 2 3 4 56 7 8 9 10 11 1213 14 15 16 17 18 1920 21 22 23 24 25 2627 28 29 30 31It’s now two years, that Giuseppe and I have put out out our paper comparing the usual quantisation of…I’m a little reluctant to post much on the master constraint program because I haven’t read much on it….I’ve been trying to understand Thomas Thiemann’s riposte to the papers of Nicolai, Peeters and
