BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//programme.europython.eu//europython-2026//talk//8CDAWL
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-europython-2026-8CDAWL@programme.europython.eu
DTSTART;TZID=CET:20260715T143000
DTEND;TZID=CET:20260715T150000
DESCRIPTION:Are mathematics a reliable way to explain reality? Can we trust
  them? And more importantly: what role could Python play in such profound 
 questions?\n\nGödel’s Incompleteness Theorems are pillars of mathematic
 s and computer science\, revealing inherent limits in our ability to forma
 lize truth and reason about the world. Their implications reach far beyond
  logic\, touching philosophy\, the foundations of computing\, and the limi
 ts of machine reasoning. Despite their importance\, understanding _why_ th
 ese results hold can feel inaccessible and abstract.\n\nIn this talk\, we 
 tackle that difficulty directly. Python will be used not only as a program
 ming language\, but as a conceptual tool to understand Gödel’s First In
 completeness Theorem through algorithmic thinking.\n\nWe will see how comp
 utational ideas make abstract concepts tangible\, exploring the intellectu
 al journey from Hilbert’s dream of a complete mathematics to the breakth
 roughs of Gödel\, Church\, and Turing. Through this lens\, Python helps i
 lluminate the boundaries of logic and computation\, offering a new perspec
 tive on how mathematics works... and where its limits lie.
DTSTAMP:20260624T065113Z
LOCATION:S2
SUMMARY:Hacking Truth: Python and the Limits of Mathematics - Miguel Ángel
  Fernández Gutiérrez
URL:https://programme.europython.eu/europython-2026/talk/8CDAWL/
END:VEVENT
END:VCALENDAR