ד"ר גדי אלכסנדרוביץ'- משפט אי השלמות של גדל

בתחילת המאה ה-20 הייתה המתמטיקה בטראומה מפרדוקסים שהתגלו ביסודותיה הבסיסיים ביותר. הנסיון הגרנדיוזי למצוא למתמטיקה יסודות חדשים שלא יהיה ניתן לערער נקטע בשנת 1931 כאשר מתמטיקאי אוסטרי צעיר בשם קורט גדל הדהים את העולם המתמטי כשמוטט במאמר אחד כל תקווה למציאת יסודות שכאלה. בהרצאה הזו נבין מה אומרים משפטי גדל, מדוע המתמטיקה עדיין קיימת גם אחריהם, ובאיזה אופן הם אחראים להולדת מדעי המחשב.