Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
Description
Patreon: https://www.patreon.com/seanmcarroll Blog post with audio player, show notes, and transcript: https://www.preposterousuniverse.com/podcast/2021/05/10/146-emily-riehl-on-topology-categories...
Original title
מיינדסקייפ 146 | אמילי ריל על טופולוגיה, קטגוריות ועתיד המתמטיקה
בפרק זה של הפודקאסט "מיינדסקייפ" (Mindscape), מארח שון קרול את פרופ' אמילי ריל, אחת מהדמויות המרתקות והמשפיעות ביותר בעולם המתמטיקה המודרנית. השיחה צוללת אל מעמקי הטופולוגיה ותורת הקטגוריות – שני תחומים שמשנים את הדרך שבה אנחנו מבינים את המבנים היסודיים של היקום המתמטי. ריל, הידועה ביכולתה להנגיש מושגים מופשטים ומורכבים, מסבירה כיצד המתמטיקה המודרנית עוברת מהתמקדות באובייקטים בודדים לחקירת היחסים והקשרים ביניהם, וכיצד גישה זו סוללת את הדרך לעתיד המדעי כולו. טופולוגיה, המכונה לעיתים קרובות "גיאומטריה של יריעות גומי", היא ענף החוקר תכונות של צורות שנשמרות תחת עיוותים רציפים כמו מתיחה או כיווץ, כל עוד לא מתבצעת פעולה של קריעה או הדבקה. בפרק זה, אנו לומדים כיצד הטופולוגיה מאפשרת למתמטיקאים לסווג מרחבים בצורה שמתעלה על המדידות הישנות של אורך וזווית. אמילי ריל לוקחת את המושגים הללו צעד אחד קדימה אל עבר תורת הקטגוריות – תחום שזכה לכינוי "המתמטיקה של המתמטיקה". תורה זו מספקת שפה מאוחדת המאפשרת למצוא דמיון ומבנה משותף בין ענפים שנראים רחוקים זה מזה, כמו אלגברה, פיזיקה קוונטית ומדעי המחשב. מעבר לצדדים הטכניים, השיחה נוגעת בשאלות פילוסופיות עמוקות על טבעה של האמת המתמטית. האם המתמטיקה היא תגלית של חוקי טבע קיימים, או שמא מדובר בהמצאה אנושית מבריקה? ריל וקרול דנים במושג ה"הומוטופיה" ובמהפכת ה-Univalent Foundations, המנסה לבסס מחדש את יסודות המתמטיקה על בסיס מושגים של שקילות במקום זהות נוקשה. זהו שינוי פרדיגמה שמשפיע לא רק על הוכחות תיאורטיות, אלא גם על האופן שבו מחשבים יוכלו בעתיד לאמת הוכחות מתמטיות מורכבות באופן אוטומטי. הפרק מציע הצצה נדירה אל "מאחורי הקלעים" של המחשבה המתמטית העכשווית. בניגוד לתפיסה המקובלת של מתמטיקה כחישובים יבשים, אמילי ריל מציגה עולם מלא בדמיון, מבנים אלגנטיים ושאיפה בלתי פוסקת לאיחוד. בין אם אתם סטודנטים למדעים, חובבי פילוסופיה או פשוט סקרנים לגבי המבנה של המציאות, הדיאלוג הזה יחשוף בפניכם כיצד השפות המופשטות ביותר שפיתח האדם מסייעות לנו להבין את הסדר העמוק ביותר של הקיים. למידע נוסף, הערות פרק ותמלול מלא, ניתן לבקר בבלוג של שון קרול: https://www.preposterousuniverse.com/podcast/2021/05/10/146-emily-riehl-on-topology-categories/ תמיכה בפודקאסט דרך Patreon: https://www.patreon.com/seanmcarroll
תמלול הסרטון
לסרטון זה אין כתוביות זמינות ביוטיוב.
ניתן ליצור תמלול מקורב באמצעות AI על בסיס פרטי הסרטון.
Related Videos
Cookies & Privacy 🍪
We use cookies to improve your experience
For more information, see our Privacy Policy