The Bernshteyn Bridge and Axiom of Choice
Nice article on the bridge between set theory and computer science (which I’d always thought was there! 🙃)
A New Bridge Links the Strange Math of Infinity to Computer Science
Also helped remind me what the axiom of choice is; an arbitrary choice that acts as a junction between rule based decisions.
I still have to understand the actual algorithm as it seems handy to be able to label infinite nodes so that they do not locally conflict… 🤔🤓