Some regard the axiom of choice as obviously true while others cannot be convinced by any argument whatsoever because they know counterexamples.
How can there be so much discussion about—in mathematics, which is supposed to be neutral and objective, where every question should be settled by a computation or proof?
In the talk we will:
Learn what the axiom of choice asserts. Understand why it is useful. Embrace the danger of adopting the axiom of choice. Enjoy how the axiom of choice can be safely simulated in a universe called "Gödel's sandbox". Touch on axioms which are less-contested but actually more severe.
🧮