Wondrous mathematics: Three bizarre logico-philosophical tales about the axiom of choice
The axiom of choice might be the most contested axiom in the list of foundational principles of mathematics, with advocates and opponents engaging in fierce philosophical debates.
**đź“Ť The location of this session might change, please check here again before the session starts. đź“Ť**
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.
🧮
Additional information
| Type | other |
|---|---|
| Language | English |
More sessions
| 12/27/24 |
Come and join our warm, cozy -cafeinated and non-cafeinated- journey/conspiracy!
|
| 12/27/24 |
How a mathematical breakthrough made at the end of the 17th century is the workhorse of the artificial neural networks of today
|
| 12/27/24 |
[More information in the Angelsystem](https://engel.events.ccc.de/news/11)
|
| 12/27/24 |
If you are neurodivergent or looked into the topics ADHD and Autism this might be the session for you. Unsure? No worries. Curiosity is enough to participate. I'll bring some fidget toys, talk a little about stimming and accessibility for neurodivergent minds. Please bring your own topics, life-hacks and toys so we can learn from each other! *CN:* Attendees might want to raise topics that can be triggering. These can be discussed in smaller groups where everyone is okay with it.
|
| 12/27/24 |
Telefonarmbänder aus waschbarer Pappe selbermachen
|
| 12/27/24 |
Ein Awareness-Team fĂĽr den Kidspace - wer macht mit?
|
| 12/27/24 |
This is a monero-beginner-friendly workshop for nerds, bring your computer to follow along and by the end you will have a monero wallet in your terminal and understand how to use it.
|
