יומיות 02.08.2018: הקונגרס למתמטיקה 2018 התחיל, וכבר הוענקו מדליות פילדס

הבלוג מחזל"ש.

1. מדליית פילדס, שיש הרואים בה פרס נובל למתמטיקה (לא אני, אגב), הוענקה אתמול. זה פרס שמוענק לארבעה זוכים פעם ב-4 שנים בקונגרס העולמי למתמטיקה.

Quanta ספרים בפירוט נהדר על הזוכים ועבודתם.

במקרה יצא לי להכיר שניים מהזוכים, משהו שלא בטוח שיקרה בעתיד, כי אני כבר לא עוסק במחקר מתמטי.

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

זאת פעם ראשונה מאז 1998(!) שאף צרפתי לא זוכה. מצחיק, גם אז הם לקחו את המונדיאל.

2. כיפה אדמוה בסן פרנסיסקו אפוקליפטית. איור מרהיב של אדיגי.

Red Riding Hood in apocalyptic SF: An art piece I made for @bigbadcon the best roleplaying convention in the Bay Area. Now available for purchase to Kickstarter backers! pic.twitter.com/i9u4vR8ILF

— adigi 💛🤍💜🖤 (@adigi) July 26, 2018

3. הויכוח המתמטי הגדול של השנים האחרונות הוא לגבי סדרת מאמרים מ-2012 של מתמטיקאי יפני בשם מוחיזוקי. התיאוריה שפיתח מוחיזוקי, קוראים לה תיאורית IUT, מוכיחה בין השאר השערות מיתולוגית כמו השערת ABC.

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

לאחרונה פירסם מתמטיקאי בשם איוון פסנקו מסמך שנקרא Remarks on Aspects of Modern Pioneering Mathematical Research. שם, במסווה של דיון פילוסופי על חובותיו המוסריות של מתמטיקאי מודרני, הוא משמיץ את כל מי שמפקפק בתיאורית ה-IUT.

סיכום העלילה ותגובות יש בבלוג המצוין Not Even Wrong. הימור שלי? בסופו של דבר תתגלה טעות בהוכחה. אבל נחיה ונראה.

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

אם כי כשאני אומר כיפי, אני מתכוון מלא מלל, הסברים ארוכים, אפס גראפיקה וממשק משתמש שנכתב ע"י מישהו שעדיין כנראה לא ממש הבין מה עושים עם הדברים האלה שקוראים להם ידיים.

ככה נראה השלב הראשון. שימו לב איך קורא, בכיפיות, לשלבים "תרגיל", ולמשחק עצמו "הוכחה":

אם אתה גאון בתחום אחד, זה ממש לא אומר שאתה לא גרוע בתחום אחר.

5. ועכשיו, סרט. מתוך The Amazing World of Gumball  של קרטון נטוורקס.

6. תקציר עלילות Magic Leap.

הם התחילו בתור סטארטאפ מסתורי שקיבל מליארד דולר תקציב כדי לשנות את העולם. אחרי זה הסתבר שהם מוציאים קסדת מציאות מדומה\מועצמת. יש להם כבר ערכות פיתוח למפתחים – ועכשיו גם יש דמו של איך תראה מערכת ההפעלה שלהם.

זה נראה נהדר, מאד מהוקצע ואסתטי.

שלוש שאלות חשובות לגבי ההצלחה של זה.
– האם ככה זה נראה באמת גם במציאות?
– האם נוח לחבוש את הקסדה לאורך זמן?
– מי ישתמש בזה ולאיזה צרכים, חוץ ממשחקי מחשב?

בונוס: סרטון של טיסן וירטואלי במג'יק ליפ:

Careful! Your virtual plane can still get hurt by walls! Learn how to make your own flying experience with #Magicleap in #Unity 🛩️😎https://t.co/79HdyI4cIJ pic.twitter.com/homokiQ94i

— Naomi Augustine 🪐 (@GST_naomi) July 27, 2018