{
  "guid": "f26f084f-14f0-45e4-9e16-c9314337d506",
  "id": 260841,
  "date": "2024-12-27T22:00:00+01:00",
  "start": "22:00",
  "duration": "00:55",
  "room": "KliMathematik Augsburg, look in description",
  "slug": "38c3-wondrous-mathematics-a-gentle-introduction-to-p-vs",
  "url": "https://events.ccc.de/congress/2024/hub/de/event/wondrous-mathematics-a-gentle-introduction-to-p-vs/",
  "title": "Wondrous mathematics: A gentle introduction to P vs. NP, the greatest open question in computer science",
  "subtitle": null,
  "language": "en",
  "track": null,
  "type": "other",
  "abstract": "",
  "description": "**\ud83d\udccd The location of this session might change, please check here again before the session starts. \ud83d\udccd**\r\n\r\nVery roughly, P is the class of efficiently solvable problems and NP is the class of non-efficiently solvable problems. A basic fact of life is P \u2260 NP. However, for the last fifty years, this observation has stubbornly resisted every attempt of a proof. The talk will carefully explain:\r\n\r\n\u25b8 what the precise statement of the conjecture P \u2260 NP is\r\n\r\n\u25b8 how the world would look like if P = NP\r\n\r\n\u25b8 whether it might be that it's provable that the conjecture is unprovable (that the conjecture exceeds the boundaries of logic)\r\n\r\n\u25b8 what's known about hypothetical proofs of P \u2260 NP: the so-called relativization barrier every proof attempt needs to overcome\r\n\r\nThis talk requires no mathematical prerequisites. Indeed, people who took classes on computability theory in university will be bored to hell and should only attend if they plan to support the session by offering interesting remarks. :-)\r\n\r\nTo enjoy and follow the talk, you should know that we use algorithms to solve computational problems and that some are more efficient than others. You'll be extra prepared if at some point in your life you've implemented some algorithms. That said, you will only enjoy the talk if you enjoy mathematical thinking and a certain amount of mathematical precision. This is not a light-and-fun talk, to the small extent that it's fun it's only thanks to the interesting theoretical relationships discussed in the talk.\r\n\r\n**[Slides](https://chaos.quasicoherent.io/)**\r\n\r\n\ud83e\uddee",
  "logo": null,
  "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": []
}