{
  "guid": "dfe374af-07ef-4db0-8126-5f3031d1a91c",
  "id": 374074,
  "date": "2024-12-27T14:30:00+01:00",
  "start": "14:30",
  "duration": "01:00",
  "room": "EmbracingHackingOHPs",
  "slug": "38c3-wondrous-mathematics-three-bizarre-logico-philosop",
  "url": "https://events.ccc.de/congress/2024/hub/de/event/wondrous-mathematics-three-bizarre-logico-philosop/",
  "title": "Wondrous mathematics: Three bizarre logico-philosophical tales about the axiom of choice",
  "subtitle": null,
  "language": "en",
  "track": null,
  "type": "other",
  "abstract": "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.",
  "description": "**\ud83d\udccd The location of this session might change, please check here again before the session starts. \ud83d\udccd**\r\n\r\nSome regard the axiom of choice as obviously true while others cannot be convinced by any argument whatsoever because they know counterexamples.\r\n\r\nHow can there be so much discussion about\u2014in mathematics, which is supposed to be neutral and objective, where every question should be settled by a computation or proof?\r\n\r\nIn the talk we will:\r\n\r\nLearn what the axiom of choice asserts.\r\nUnderstand why it is useful.\r\nEmbrace the danger of adopting the axiom of choice.\r\nEnjoy how the axiom of choice can be safely simulated in a universe called \"G\u00f6del's sandbox\".\r\nTouch on axioms which are less-contested but actually more severe.\r\n\r\n**[Slides](https://chaos.quasicoherent.io/)**\r\n\r\n\ud83e\uddee",
  "logo": "https://events.ccc.de/congress/2024/hub/https://usercontent.events.ccc.de/congress/2024/hub/usercontent/events/dfe374af-07ef-4db0-8126-5f3031d1a91c.png",
  "persons": [
    {
      "guid": "4deaeaaa-b9e3-4d9f-868e-6a2957e6ffca",
      "name": "iblech",
      "public_name": "iblech",
      "avatar": null,
      "biography": null,
      "url": "https://events.ccc.de/congress/2024/hub/de/user/iblech/"
    }
  ],
  "links": []
}