Event Detail

HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "id": "fd87a52c-abb3-4dce-b860-9262813facac",
    "kind": "sos",
    "name": "Proving the axioms: the allure of reverse mathematics turning mathematics upside down",
    "slug": "proving-the-axioms-the-allure-of-reverse-mathemari",
    "url": "https://api.events.ccc.de/congress/2025/event/fd87a52c-abb3-4dce-b860-9262813facac/?format=api",
    "track": null,
    "assembly": "sos",
    "room": null,
    "location": "next to Pixelebbe (Layer 2, G6)",
    "language": "en",
    "description": "📍 The location of this session might change, please check here again before the session starts. **The location is currently set to be [next to Pixelebbe](https://39c3.c3nav.de/l/c:2:134.03:163.63/) (Layer 2, G6).** We will sit on the floor and won't have much space because we don't want to obstruct escape routes.📍\r\n\r\nStarting from certain base axioms, we prove results. This is how mathematics is usually done. Is there another way?\r\n\r\nIn reverse mathematics, we turn this upside down and instead inquire: Which axioms are required for which results? Perhaps surprisingly, it is possible to answer this question (and prove these answers correct). We can thereby illuminate hidden relations between mathematical theorems and gain a deeper understanding of the mathematical landscape.\r\n\r\nThis talk gives an introduction to reverse mathematics with a focus on examples. It is a beginner's talk aimed at people who are interested in mathematics but have NOT attended reverse mathematics lectures at universities.\r\n\r\nContents:\r\n\r\n1. The foundational crisis which uprooted mathematics at the beginning of the 20th century\r\n2. Overcoming the crisis: formal proofs as gold standard\r\n3. A menagerie of axiomatic systems\r\n4. How results connect with existence principles\r\n\r\n**[Transcript](https://chaos.quasicoherent.io/)**",
    "schedule_start": "2025-12-28T15:00:00+01:00",
    "schedule_duration": "00:50:00",
    "schedule_end": "2025-12-28T15:50:00+01:00"
}