בתשובה לדב אנשלוביץ, 04/05/20 13:16
 |
|
 |
||
|
||||
 |
בעיני היא היתה בהחלט מדע, היא נתנה פורמליזם מתמטי (גאומטרי) להסביר את תנועת כוכבי הלכת על פני השמים. למרות שלא היתה אפשרות לטוס ולבדוק מקרוב את המנגנון, המודל נתן חיזויים שהיה ניתן לבדוק באמצעות תצפיות. התצפיות של טיכו ברהה שנותחו על ידי יוהנס קפלר, הראו שהמודל שגוי ושכוכבי הלכת נעים בכלל באליפסות ולא במעגלים סביב מעגלים. |  |
 |
 |
|
|
|
||
|
||||
|
למען האמת, תשובתך קצת הפתיעה אותי, אבל בגללה איני יכול לומר שאינך עקבי. | |
|
|
|
|
|
||
|
||||
|
תחשוב על הפרדוקס של איינשטיין-פודולסקי-רוזן [ויקיפדיה]. שלישיית EPR הציעו ניסוי מחשבתי שתוצאתו תסתור את תורת הקוונטים. כאשר הם הציעו את הרעיון בשנת 1935 היה מדובר בניסוי מחשבתי שאף אחד לא העלה בדעתו שניתן לבצעו במציאות, אבל בשנת 1964 הציע ג'ון סטיוארט בל [ויקיפדיה] דרך מעשית לביצוע הניסוי ובשנת 1981 הצליח אלן אספה [ויקיפדיה] לבצע ניסוי כזה שתוצאתו היתה הפוכה מההשערה של EPR ולמעשה אישש את תורת הקוונטים. | |
|
|
|
|
|
||
|
||||
|
זה לא כל כך קשור במה שאמרתי. ברור שתורת הקוונטים מסבירה תופעות רבות. אני יכול לחשוב על ניסוי מחשבתי שיבחן את תורת הגלגלים בכלים שהיו בתקופה העתיקה, וזו תעמוד במבחן הזה. ובכל זאת הרי אין באמת גלגלים. אז למה הם אומרים שיש? | |
|
|
|
|
|
||
|
||||
|
יש לך דוגמה? והסתייגות מתבקשת: ואם אתה אומר: אין גלגלים בין הארץ לירח, אבל לירח יש תכונה שגורמת לו לשאוף להגיע לכדור הארץ״, אז אולי מדובר על גלגלים שקופים או משהו דומה. |
|
|
|
|
|
|
||
|
||||
|
הסיבה להכנסת מודל הגלגלים (נקראו אפיציקל [ויקיפדיה] על ידי אפולוניוס מפרגה [ויקיפדיה] היא התופעה של תנועה אחורית (אסטרונומיה) [ויקיפדיה] שעמדה בסתירה למודל הקודם שלפיו כוכבי הלכת מקיפים את כדור הארץ בתנועה מעגלית. המודל החדש היה מסוגל להסביר את התנועה האחורית, אבל כאמור, תצפיות יותר מדויקות הראו שגם הוא שגוי. | |
|
|
|
|
|
||
|
||||
|
היי, למה אתה שולח אותו כל כך רחוק? דיון 1177 | |
|
|
|
|
|
||
|
||||
|
ממש מוזר בעיני שתשובתו של איזי הפתיעה אותך. המודל הגאוצנטרי [ויקיפדיה] הוא בהחלט מדע (אם כי אולי פחות טוב מהמדע שעושים היום) וכך גם הפלוגיסטון [ויקיפדיה] והאתר (פיזיקה) [ויקיפדיה]. | |
|
|
|
|
|
||
|
||||
|
אילו תיאורית הגלגלים הייתה אומרת: יש לנו דרך לתאר הרבה תצפיות, ומדובר בעצם בסוג נוח של סיכום של תצפיות, הייתי יכול ללכת עם זה. אבל אז מדובר במדע ממש לא מרשים. אבל הם אמור שבפועל יש גלגלים, וזה משהו הרבה יותר חזק. היום אנחנו יודעים שאין, כלומר הם אמרו משהו לא נכון. אני מניח שלו איזה חכם או מישהו שהגיע מהתקופה שלנו היה אומר להם שאין גלגלים, והם היו מאמינים לו, הם בכלל לא היו מפרסמים תאוריה כזאת. | |
|
|
|
|
|
||
|
||||
|
מבין המודלים שהזכרת שמעתי על מודל האתר. והוא אכן מצוי אצלי בקטגוריה של הגלגלים. | |
|
|
|
|
|
||
|
||||
|
שדה היגס לא כל-כך שונה ממודל האתר. | |
|
|
|
|
|
||
|
||||
|
לא יודע מה זה. השדות שאני מכיר הם שלושה: גרביטציה, חשמלי, ומגנטי. | |
|
|
|
|
|
||
|
||||
|
איפה היית כשחילקו את פרס נובל? בוזון_היגס [ויקיפדיה] על הדמיון לאֶתֶר יש לי רק קישורים באנגלית ואני יודע שאתה לא מחבב אותם. (אגב, השדה המגנטי והחשמלי הם אותו שדה, ואם אתה מאמין לויינברג גם הכוח הגרעיני החלש מתלכד איתם באנרגיות גבוהות מספיק. אני בטוח ששמעת גם על הכוח הגרעיני החזק) |
|
|
|
|
|
|
||
|
||||
|
אני הגעתי רק עד החומר שלפני הגרעינים, ואני לא בטוח שגם בו אני ממש בקי לחלוטין, אז עזוב. על כך שהשדה החשמלי והשדה המגנטי הם אותו שדה אני שומע לראשונה. האם לכדור הארץ יש שדה חשמלי שקשור בשדה המגנטי שלו? זה נכון שיש דבר כזה קרינה אלקטרומגנטית שמכילה את שני השדות האלה כשהם משתנים בצורה מחזורית, אבל זה סיפור אחר. |
|
|
|
|
|
|
||
|
||||
|
ההגדרות שאתה מכיר הן תלויות מהירות, ולכן בעייתיות, אבל אולי לא כדאי להיכנס לתחום הזה כאן. (רק כדי לסבר את האוזן מאחדים אותם לטנזור אחד כדי לשמור על קווריאנטיות לורנץ מתורת היחסות הפרטית. למעשה זה היה הרמז שהוביל את איינשטיין לפיתוח אותה תורה, ולא הניסוי המפורסם של מורי ומיכלסון). |
|
|
|
|
|
|
||
|
||||
|
השדה המגנטי של כדור הארץ נוצר כתוצאה מתנועה (סיבובית) של מטענים חשמליים של המתכות שב(אחת השכבות של)גרעין כדור הארץ. אז כבר ברור שיש קשר בין השניים. למטענים האלה מן הסתם יש גם שדה חשמלי, גם כשהם לא זזים. |
|
|
|
|
|
|
||
|
||||
|
תלוי באיזה מערכת ייחוס. מאחר ואנו נעים יחד עם כדוה''א, במערכת הייחוס שלנו אין שדה חשמלי ויש רק שדה מגנטי. האינווריאנטיות של לורנץ שאותה הזכיר השכ''ג אומרת שיש רק שדה אחד השדה האלקטרומגנטי. מה נמדד כשדה חשמלי ומה כשדה מגנטי תלוי במערכת הייחוס של המודד (ומהירותה). |
|
|
|
|
|
|
||
|
||||
|
לא ידוע לי על מושג בשם שדה אלקטרומגנטי. ככל הידוע לי ישנה קרינה אלקטרומגנטית, שמכילה את שני סוגי השדות האלה, ומכאן שמה. | |
|
|
|
|
|
||
|
||||
|
הצלחת כנראה להמנע משיעורי היחסות הפרטית. אתה יכול לחשוב על זה באמצעות האנלוגיה הבאה. ישנו וקטור במרחב. האינווריאנט (בלתי משתנה) שלו הוא אורכו. במערכת ייחוס מסויימת הוקטור יאופיין ע"י רכיביו x,y,z. במערכת אחרת הרכיבים יהיו שונים 'x',y',z, אבל האורך לא ישתנה. השדה החשמלי והשדה המגנטי הם כמו הרכיבים. הגדלים הנמדדים שלהם תלויים במערכת הייחוס בה נמדדו. גדלים אחרים כמו למשל האנרגיה הא"מ הם בלתי תלויים במערכת הייחוס. חוקי מקסוול אותם הזכרת (מטען חשמלי נע גורם לשדה חשמלי, זרמים חשמליים גורמים לשדה מגנטי וכל הקשרים בין השדות החשמלי והמגנטי), נשארים בתקפם, אבל אתה צריך למדוד את כל הגדלים באותה מערכת ייחוס אינרציאלית (מהירות וכיוון תנועה מסויימים). גם במערכת אינרציאלית אחרת (נעה ביחס לקודמת) חוקי מקסוול יהיו נכונים אבל עם ערכים אחרים של שדה חשמלי ומגנטי (בגלל שמהירות המטענים והזרמים השתנתה). |
|
|
|
|
|
|
||
|
||||
|
בעצם פספסתי אנלוגיה יותר פשוטה. מטען חשמלי נייח יוצר שדה חשמלי. מטען נע (זרם) יוצר שדה מגנטי. נניח שאתה (המודד) נייח ויש לך מטען חשמלי נע, בהתאם לחוקי מקסוול תמדוד שדה מגנטי. כעת נניח שאתה עולה על מערכת ייחוס הצמודה למטען החשמלי ונעה איתו. כעת תמדוד שדה אלקטרוסטטי. בפיזיקה דבר לא השתנה מלבד מערכת הייחוס של המדידה. אאז''ן הנסחאות של היחסות פרטית (טרנספורמציות לורנץ) ''הומצאו'' כדי לגרום למשוואות מקסוול להיות נכונות בכל מערכת ייחוס. |
|
|
|
|
|
|
||
|
||||
|
אופס טעיתי. טרנספורמציית לורנץ בעצם נועדה לגרום למהירות האור להיות קבועה בכל מערכות הייחוס. מהירות האור מופיעה במשוואות מקסוול כמהירות של גל א''מ שהוא בעצם תנודה במרחב בין שדה מגנטי לשדה אלקטרוסטטי (בריק נטול מטענים וזרמים). | |
|
|
|
|
|
||
|
||||
|
השאלה שלי לא הייתה מוצלחת. ידוע לי עוד מאז התיכון על קשר בין זרמים חשמליים ושדות מגנטיים, וזרמים חשמליים נוצרים כתוצאה משדות חשמליים. אבל נטענה טענה ששני השדות האלה חד הם, ואני לא זוכר שלמדתי אי פעם דבר כזה. | |
|
|
|
|
|
||
|
||||
|
קרינה היא פשוט תנודה של השדה שמתפשטת בכיוון מסוים. אז (שאלה מנחה): איזה שדה מתנודד כדי לייצר קרינה אלקטרומגנטית? השדה האלקטרומגנטי. |
|
|
|
|
|
|
||
|
||||
|
לומדים את זה ביחסות פרטית. רואים שם שבמערכת ייחוס שבה אין מטענים חשמליים בתנועה, אין שדות מגנטיים, לעומת זה במערכת ייחוס שבה המטענים נעים, מופיע שדה מגנטי. כשעוברים למרחב-זמן 4-מימדי (מרחב מינקובסקי) אפשר לייצג שם את השדות החשמלי והמגנטי כשדה יחיד. | |
|
|
|
|
|
||
|
||||
|
אני חי בעולם של שלשה ממדים. את החלק של טרנפורמצית לורנס וכו' שהוא חלק מחומר הלימוד בפיזיקה של המהנדסים לומדים ממילא באופן שטחי, ואני התעמקתי בו רק במינימום שיאפשר לי לענות על השאלה המתאימה במבחן כדי לא לאבד את הנקודות שקשורות בו. מרחב 4 מימדי הוא בשבילי איזה מודל מתמטי שאין לי בו שום אינטואיציה. לעומת זה אני זוכר היטב את השיעור על גלים אלקטרומגנטיים כולל ציורי החצים של כיווני השדות המגנטי והחשמלי האנכיים זה לזה שמשתנים בצורה מחזורית. בשיעור הזה בפרוש דובר על שני שדות נפרדים ולא נאמר שהם שדה אחד. אני מקבל את זה שישנם מודלים יותר מתקדמים, אבל אני לא מצוי בהם. | |
|
|
|
|
|
||
|
||||
|
אם אתה רוצה טעימה לא מסובכת מתמטית, אז קרא את טנזור השדה האלקטרומגנטי [ויקיפדיה] שנותן הסבר לא מורכב מדי. | |
|
|
|
|
|
||
|
||||
|
הערת אגב.. גם מפה טופוגרפית היא שדה על פי ההגדרה. שדה הוא בסך הכל התאמה של ערך לכל נקודה במרחב. ערך יכול להיות מספר או וקטור או טנזור או אפילו פונקציה. אם אתה רומז שהשדות שאתה מכיר הם יותר "אמיתיים" מאחרים אז זה דורש קצת הסבר. למיטב זכרוני מרגישים את המפה הטופוגרפית ברגליים.. יותר אמיתי מזה? |
|
|
|
|
|
|
||
|
||||
|
אולי המונח הנכון יותר הוא 'שדה יסודי'. זה כמו להשוות את החול שאתה דורך עליו לפרוטונים. | |
|
|
|
|
|
||
|
||||
|
אוקי, אז ב QFT יש 17 או יותר שדות יסודיים. תלוי איך סופרים.. https://www.physicssayswhat.com/2019/06/05/qft-how-ma... | |
|
|
|
|
|
||
|
||||
|
אכן. במסגרת הזו, השדות שדב דיבר עליהם הם בוזונים. | |
|
|
|
|
|
||
|
||||
|
והשדות האלה, אין משמעותם שיש איזה חומר בהם, אלא רק שיש בהם איזו תכונה שמשפיעה על כל מיני דברים שנמצאים בם. ואת זה ניתן לבדוק באופן ישיר, כך שלא מספרים לי לוקשים. | |
|
|
|
|
|
||
|
||||
|
מצוי בקטגוריה של הגלגלים, כלומר, לא מדע? למה? זו תורה מאוד סבירה. נכון שלא מצאו דרך למדוד ישירות את האתר, אבל הרי את האור אנחנו רואים ויודעים (במאה ה-19) שהוא מתנהג באופן גלי ושמהירותו סופית. מה מותר השדה החשמלי משדה האתר? גם אותו אנחנו לא יכולים למדוד ישירות, אלא רק את ההשפעה שלו על חלקיקים בעלי מטען. |
|
|
|
|
|
|
||
|
||||
|
מה שידעתי על אתר הוא שמדובר בחומר שנמצא בריק, ולכן אי אפשר לקרוא לא שדה. המושג שדה קשור במיפוי של השפעה על גוף שנמצא בו, ולא בחומר. אם יש הגדרה אחרת לאתר, לא לאתר כזה התכוונתי, ואין לי דעה בקשר למושג שאיני מכיר. | |
|
|
|
|
|
||
|
||||
|
זה לא מדויק. עם מספיק מעגלים אפיצנטריים אפשר בהחלט לקבל אליפסות ובעצם כל צורה שהיא - כולל מצולעים. זאת אחת הבעיות עם המודל הזה: הוא בלתי ניתן להפרכה (לא ברור לי אם גם מסלולים כמו של כוכב חמה ניתנים לתאור בצורה זאת, אבל ממילא עד איינשטיין הם היוו בעיה גם למודל הקופרניקאי). בעיה אחרת הוא שהמודל הלך ונעשה מסובך מבחינת כמות הגלגלים כשנוספו עוד ועוד תגליות, ובאנציקלופדיה בריטניקה נכתב שבשלב מסויים נדרשו 40 גלגלים אם כי קראתי ביקורת של זאב בכלר לפיה המספר הזה מצוץ מהאצבע. הערת אזהרה: הכל מזכרוני הרופס, אין אחריות ואין החלפות. |
|
|
|
|
|
|
||
|
||||
|
במקריות חביבה בדיוק נתקלתי בתמונה עם מסלול כזה. | |
|
|
|
|
|
||
|
||||
|
המחשה מאירת עיניים של מה שאפשר לעשות בקלות עם אפיציקלים, ואגב כך קישור שלהם לטרנספורם פורייה. אני חושב שלו האמצעים הויזואליים האלה היו זמינים עבורי לפני כמה עשורים, אולי הייתי מצליח להבין משהו (אם כי משוואות דיפרנציאליות חלקיות היו נשארות, כנראה, מעבר ליכולותי). ובקצת יותר רצינות: אני די מקנא בסטודנטים של היום עם כל העזרים המחשוביים ובמיוחד הויזואליים (א-פרופו זיקנה נרגנת). | |
|
|
|
|
|
||
|
||||
|
מה, רגע, אז מתמטיקה אמורה בעצם להיות קלה עכשיו? איכשהו פספסתי את זה. | |
|
|
|
|
|
||
|
||||
|
לא, אבל לימוד המתמטיקה יותר קל עכשיו, דהיינו אפשר להגיע מהר יותר למקום בו היא נעשית באמת קשה (שהוא כמובן אינדבידואלי). עם desmos, wolfram alpha ודומיהם אפילו הנדסת המרחב, שהיתה הענף הכי קשה עבורי במתמטיקה תיכונית, הופכת להרבה יותר קלה ללימוד. | |
|
|
|
|
|
||
|
||||
|
אולי זה מסביר למה אני מעריך את כל הויזואליזציה הזו הרבה פחות ממך. | |
|
|
|
|
|
||
|
||||
|
(אגב, הטריק שעוזר להתגבר על הקושי שמציבים שלושה ממדים - הוא לחשוב על n ממדים במקום). | |
|
|
|
|
|
||
|
||||
|
(בארור. ואכן, כשהתקשיתי לחשב את מס' האלכסונים בקוביה תלת ממדית חישבתי את המקרה הכללי ואז היצבתי n=3. המצחיק הוא שהייתי די מבסוט מההישג, ואז הגיע אורי גורביץ' ואמר: "טוב, אחרי שפתרת את זה ל-n טבעי, בוא נחשוב על המקרה הכללי באמת, עם מס' ממדים מרוכב). | |
|
|
|
|
|
||
|
||||
|
בנימה טיפה יותר רצינית: האם לדעתך מערכת deep learning דמויית alpha go, שתקבל אינפורמציה על מסלולי כוכבי הלכת כפי שהם ניצפים מהארץ ומשימה למזער ככל האפשר את מס' האפיצקלים תוכל לגלות בכוחות עצמה את הרעיון של קופרניקוס? אינטואיטיבית נראה לי שהתשובה היא "כן, בקלות" אבל אני לא יודע מספיק על התחום כדי להאמין לאינטואיציה שלי. (היה יכול להיות מגניב אילו האסטרונומיה היתה תקועה במודל הפתולמאי ולעומתה המיחשוב היה מתקדם לרמה שהוא נמצא בה היום, והמהפיכה הקופרניקאית היתה מתרחשת רק כאשר פרנק קוסוי, סטודנט רשלן לתואר ראשון במדעי המחשב, היה שוכח להכניס את האילוץ שכדוה"א הוא במרכז כשקיבל את המשימה כתרגיל בית. כידוע, תוצאות מפתיעות מתקבלות לא פעם, כולל מערכת שלמדה לשקר (!) באופן ספונטני, בדוגמא השלישית בסרטון. אגב, בגירסה מתקדמת יותר היא למדה גם להגיד "לא יהיה כלום כי לא היה כלום"). |
|
|
|
|
|
|
||
|
||||
|
(יש לי הרגשה שבקלות אפשר להראות שמכניקה ניוטונית היא תנאי הכרחי ומקדים לפיזיקה שמאפשרת קיום מחשבים). | |
|
|
|
|
|
||
|
||||
|
(מספיקה מכניקה ניוטונית ארצית, השמיים יכולים להישאר פתולמאים כרצונם, וממילא אני לא מדבר על תרחיש סביר במיוחד ). | |
|
|
|
|
|
||
|
||||
|
נראה לי שמשוואות התנועה, לא אכפת להן אם הן פועלות בשמיים ממעל או בארץ מתחת. ולמתקטננים1 - מן הידועות היא שפיתוח חומרת המחשבים חווה קפיצה אדירה2 בעקבות פרוייקט אפולו, שבעקבותיו הצורך במחשב שיטוס על טיל ולא ימלא אולם ענק הפך למציאות וסלל את הדרך למחשב האישי של ימינו. אי אפשר להגיע לירח (והאמת - גם לא לשגר אפילו טיל קרקע קרקע קטן) בלי לדעת מהו g ומכניקת מסלולים, ואידך זיל גמור. כמו שאמרתי - זה בטח אחד מיני מסלולים רבים מספור, תיאורטיים וטכנולוגיים, שמדגימים איך טכנולוגית מחשוב (המבוססת על מוליכים למחצה ולא על חשבוניות) לא יכולה היתה להתקיים ללא מכניקת כבידה בסיסית. אפשר גם לזרוק סתם לוויני תקשורת לצלחת, לא צריך אפילו להגיע לירח. 1 ידעתי שלא תשחרר אותי מהעבודה הקשה. 2 עדיין לא קוונטית אמנם. |
|
|
|
|
|
|
||
|
||||
|
אני אמשיך להתקטנן עד שנגיע לגודל של אלקטרון. נו, אז העולם האלטרנטיבי שלי לא היה זוכה לאותה קפיצה אדירה והתפתחות המחשבים היתה איטית יותר, כך שאותה AI היתה מופעלת בשנת 2050 או 3050, ואולי היתה תופסת נפח עצום ושורפת המון חשמל. סו? אכן למשוואות התנועה לא איכפת מכלום, אבל לא ברור לי למה בלי ההכללה ממה שאנחנו מכירים על פני כדור הארץ למה שקורה בשמיים מדעי המחשב היו נעצרים בהכרח. |
|
|
|
|
|
|
||
|
||||
|
הענין הוא לא ההכללה הספציפית, אלא הפרדיגמה כולה. למשל, ההבנה שאותם חוקים פיזיקליים פועלים בכל מקום, במעבדה שלי ושלך למשל, היא בסיסית לפיתוח מדע קוהרנטי. אם תחשוב שבקוריאה ובאמריקה מוליכים למחצה עובדים אחרת, לא בטוח אם ומתי בכלל תגיע לתיאוריות מצב מוצק קוהרנטיות. וזה נכון גם לסתם מכניקה. לומר שאתה יכול לפתח מכניקה לנפילת נוצות אבל לא לנפילת כדורי ברזל, או לנפילת כדורי ברזל אבל לא לכוכבי לכת, נשמע אולי אפשרי לוגית, אבל בלתי אפשרי בעצם מכל בחינה אחרת. איך היו עושים את ניסוי מייקלסון-מורלי בלי תנועת כדור הארץ? ואולי אם לא היו עושים אותו, לא היתה סיבה מספיק טובה לפתח את תורת היחסות והיינו תקועים בפיזיקה של המאה ה-19 עד היום1. איך היו לומדים על קווים ספקטרליים ותכונות החומר הנגזרות מהן בלי ה"הכללה ממה שאנחנו מכירים על פני כדור הארץ למה שקורה בשמיים" וספציפית על פני השמש? אולי לא היינו מגיעים בכלל למכניקת הקוונטים ככה, שהיא כמובן קריטית לפיתוח מוליכים למחצה והתקנים ממוזערים מספיק עבור כח חישוב סביר. אני נכנס לפרטים שברור לי שאפשר להתנגד להם אולי, אבל הטענה הכללית שלי היא שהנחות הבסיס של המכניקה והמדע כפי שאנחנו מכירים ואוהבים, לא עולות בקנה אחד עם "מכניקה ארצית" מול מכניקה שמיימית. אם אתה מצליח לבסס מדע כמו היום, הנחות הבסיס האלו הן חלק בלתי נפרד ממנו. ואם לא - מאד יכול להיות שלא תגיע רחוק, וכמו שנתקעת עם אפיציקליים בשמיים, תיתקע עם אתר וכדורי ביליארד שמקיפים את האטום על הארץ. 1 כמובן שההטייה הבסיסית שלנו היא לומר "אבל המדע מתפתח כל הזמן, אז היה לוקח לנו עוד חמישים שנה". אבל זה בכלל לא ברור, הרי היינו אלף שנים לפני המאה ה-19 עם הרבה פחות התקדמות מדעית, זו לא אקסיומה שתמיד נגיע לאותו מקום2. 2 אני כבר העליתי כאן פעם את התמיהה האם פלנטה שאין עליה אורניום היה מגיעה לנשק גרעיני כה מהר, אם בכלל. |
|
|
|
|
|
|
||
|
||||
|
נכון, לא ץמיד נגיע לאותו מקום, אבל אתה טוען טענה הרבה יותר חזקה: שבשום אופן לא היינו מגיעים לרשתות נוירונים אלמלא היינו מחזיקים בכל העקרונות המדעיים שיש לנו היום. אם היינו עיוורים, למשל, ייתכן שהיינו מגלים את הכוכבים רק לפני כמה עשורים, אולי כאשר מישהו היה קולט בטעות גלי רדיו מסתוריים שמגיעים מהשמיים. טוב, אולי לא *לפני* כמה עשורים אלא בעוד כמה מאות שנים, אלפי שנים או מליוני שנים. אם תטען שבני אדם עיוורים היו נכחדים הרבה לפני שהם ירדו מהעצים וגילו את גלי הרדיו אגיד שכאן הגענו לגודלו של אותו אלקטרון שמסמן את גבול התקטנונתי. ואף על פי כן נ̵ו̵ע̵ ̵ת̵נ̵ו̵ע̵ היה יכול להיות מגניב. |
|
|
|
|
|
|
||
|
||||
|
הטענה (החזקה) שלי היא אכן לא רק תיאורטית - היה לי הרבה יותר קשה לומר זאת על חבורות לא-אבליות, למשל. וזאת כיון שהמהפכה בה אנו נמצאים של עליית הרשתות הנוירוניות היא תוצאה ישירה של הטכנולוגיה - בעשרות השנים עד שהגיעו מעבדי ה-GPU המפלצתיים שמאפשרים רשתות עצומות ולימוד על מיליוני קלטים, רשתות הנוירונים הופיעו לרגע ודעכו להן בקול ענות חלושה. ז"א שבניגוד לחבורות לא-אבליות (למשל), נייר ועפרון לא מספיקים - גם עם ארבעה איינשטיינים בדרך - כדי להגיע לרשתות נוירוניות ש"עובדות" (ומכאן למטלה המקורית שלך על גילוי משוואת הכבידה מנתונים הפיציקליים). בשביל זה צריך מחשבים חזקים, ובשביל מחשבים חזקים צריך המון המון עקרונות מדעיים מאד מפותחים (וגם טכנולוגיים1). חשמל ומכניקה ומכניקה אנליטית וקוונטים וגלים ויחסות (טוב, פרטית בעיקר) ואפילו תורת שדות קוונטית. קשה, מאד קשה, אולי בלתי אפשרי להגיע לכל אלה בלי עקרונות מדעיים מבוססים מחד, ומידע פיזיקלי שמגיע מחוץ לאטמוספרה מאידך. 1 אני כבר זמן רב טוען שהטכנולוגיה שיהיה הכי קשה לבנות מחדש אחרי מלחמת העולם השלישית היא ייצור וייפרים מסיליקון. |
|
|
|
|
|
|
||
|
||||
|
אני שמח על הערת השוליים שלך. אני לא יודע כלום ושום דבר על ייצור וייפרים, אבל זה בדיוק העניין. בתיכון (1990) עשיתי עבודת גמר על מוליכים למחצה, וחומר הלימוד העיקרי שלי היה עשורים של גליונות "סיינטיפיק אמריקן" שהיו בספריית בית הספר, והיו זרועים במאמרים בנושא. המאמרים האלה גם הסבירו את הבסיס (מה זה מל"מ, צומת n-p), גם ליוו את התקדמות הטכנולוגיה מדיודות עד שבבי המחשבים של אותם ימים, וגם - המאוחרים שבהם - הסבירו כמה כיוונים שהיו בחיתוליהם המחקריים. אי-אלו מאמרים הסבירו די בפירוט את תהליך הייצור של השבב, וזה היה מאוד מעניין ומגניב; אבל כולם הניחו את הוייפר כנתון. לעתים הזכירו שלא קל בכלל לייצר וייפר סיליקון באיכות מספיקה, ונדמה לי שמדי פעם הוזכרה בחטף הטכניקה הבסיסית לייצור שלו; אבל אף לא מאמר אחד לא נכנס לעובי הקורה של מהם הקשיים ואיך מתגברים עליהם. זה גרם לי לתחושה מתסכלת-משהו שהפלא הטכנולוגי האמיתי חומק לי מתחת הרדאר. | |
|
|
|
|
|
||
|
||||
|
אני אמנם כיוונתי גם לשאר תהליך הייצור, המולטי שכבתי, ננו-מטרי וסופר מסובך, אבל כן, גם זה. | |
|
|
|
|
|
||
|
||||
|
לא רק אתה מתוסכל. אינטל, לכאורה מעצמת הצ'יפים העולמית, מתקשה כבר כעשור להגיע לרמה הבאה של עובי הצפיחית (מתחדישי המחבר). | |
|
|
|
|
|
||
|
||||
|
אני מכיר את קריטריון העובי שמקובל להתחרות עליו במולמח"צ בתור עובי המוליכים הכי דקים (כמדומני כמה עשרות ננו-מטרים לאחרונה)1. לא ידעתי שגם עובי הצפיחית בעצמה כה קריטי. 1 כמה שהמוליכים דקים יותר - אפשר להכניס יותר רכיבים על אותו גודל מחד, וחהשתמש בפחות זרם שיוצר חום מאידך. |
|
|
|
|
|
|
||
|
||||
|
למה הכוונה ב-"לגלות בכוחות עצמה את הרעיון של קופרניקוס"? מערכת "דמויית אלפא-גו" (גם אם אפרש זאת באופן מתירני1) לא בנויה להפיק מודלים מהסוג שהייתי מכנה "דומים לרעיון של קופרניקוס". למעשה, מערכת למידה-עמוקה טיפוסית לא בנויה להפיק מודלים בכלל: נכון יותר לומר שהיא בעצמה מודל, וצורתו הפונקציונלית לא דומה לזה של מודל קופרניקוס. 1 אבל לא מתירני מידי. לפי פרשנות מאד-מאד מתירנית לתיאור "דמויית אלפא-גו", התשובה היא "ברור שכן": קופרניקוס הוא דוגמא למערכת כזו. |
|
|
|
|
|
|
||
|
||||
|
קשה לי לראות את ההבדל העקרוני בין גילוי צורת ההתקדמות על המרפקים בסרטון הראשון בקישור שהבאתי, לבין "גילוי" האפשרות שכוכבי הלכת נעים סביב השמש, מלבד זה שהראשון לא נקרא "מודל". אסוציאציה פרועה שעולה אצלי עכשיו היא הסיפור עם הלוציגניה [ויקיפדיה] שם, אם התזמון היה קצת שונה ובעיית התנועה היתה מוצגת לאלפא, אולי שגיאת האינטרפרטציה עליון/תחתון היתה מתגלה על ידיה. |
|
|
|
|
|
|
||
|
||||
|
התרחיש שלך הוא וריאציה על סיטואציה בה מהנדסים מראש סביבה שהיא "חלל, שמש וכוכבי לכת", ואז מציבים בה agent שהפעולות שלו הן מהצורה "התאם לכל אובייקט מסלול קבוע בחלל לפי איזשהי פרפמטריזציה", והוא לומד באמצעות RL כאשר החיזוקים קשורים להתאמה בין ניבוי המודל שלו לבין התצפיות? אז כן, אני מנחש שהוא עשוי להגיע למודל קופרניקאי (ואולי מודלים אקזוטיים משעשעים אחרים). אבל אני לא חושב שזו תיהיה תוצאה סנסציונית במיוחד (גם לאור כל האילוצים שמכניסים בכוח לתוך הפורמליזציה של המערכת, וגם מכיוון שנראה לי שטבעי הרבה יותר לנסח את הבעיה כבעיית חיפוש היוריסטי מאשר כבעיית למידה). אני כנראה עדיין לא יורד לסוף דעתך. |
|
|
|
|
|
|
||
|
||||
|
יורד, יורד, אל תדאג, היא לא *עד כדי כך* נמוכה. כאמור, הסיטואציה הדמיונית עוסקת בנסיון למצוא את מס' האפיציקלים המינימלי שיעמוד בהתאמה מספקת (אל תשאל אותי מה זה אומר) לנתונים, מהם יש המון. לומשנה, נראה לי שמיצינו. |
|
|
|
|
|
|
||
|
||||
|
משהו כזה, למשל? כנראה שהתשובה היא כן, בתנאי שהמערכת לא תצטרך להתמודד עם סיטואציות שונות מדי מאלו שאומנה עליהן. ויש גם גישה אחרת. |
|
|
|
|
|
|
||
|
||||
|
לא לגמרי ברור לי ההקשר לקישורים שהבאת, אבל תודה. נראה לי שאם התיאוריה של סטיבן וולפרם תוכיח את עצמה, היא תהיה שדה המרעה האידיאלי לסוכנים ממחושבים. ואם לא נבין את מה שהם יספרו לנו, ובכן, אחד הפיתוחים הבאים של gpt בטח יצליח לתרגם את התגליות ללשון בני אדם (42?). | |
|
|
|
|
|
||
|
||||
|
כמה שמחתי לשמוע את סקוט אהרונסון בכבודו ובעצמו מספר על קושי דומה שהיה לו עם משוואות דיפרנציאליות חלקיות. אין ספק שהוא לא מדבר על אותה רמה של קושי, או של המשוואות, ובכל זאת זה גורם לי להרגיש קצת פחות גרוע עם החלק המתסכל הזה של חיי. | |
|
|
|
|
|
||
|
||||
|
וואי, סקוט השתנה בעשור וחצי מאז שפגשתי אותו1. ולפי הראי שדומה לי להפליא, כנראה שלא רק הוא. 1 לא מפגש אישי, באירועים של האקדמיה. |
|
|
|
|
|
|
||
|
||||
|
באקדמיה, כמעט כל עיסוקי בפיזיקה היה דרך משוואות דיפרנציאליות חלקיות - החל ממשוואת החום/שרדינגר, דרך מש' איינשטיין ועד למפלצות הקשורות לתורת המיתרים. הטריק הוא להבין שהן פוחדות ממך יותר מאשר אתה מהן. וברצינות, מסקרן אותי כיצד הסתדרת עם מש' דיפ' רגילות, ומדוע דווקא עם מש' חלקיות נתקלת בבעייה מיוחדת. |
|
|
|
|
|
|
||
|
||||
|
אז אולי תצ'פר אותנו במאמר על איך נראה העיסוק בתורת המיתרים (מעבר לספריו של בריאן גרין) ומה שלומה היום? האינטרנט טוען שהיא בדרך למצבו של הרוק'נרול. |
|
|
|
|
|
|
||
|
||||
|
אכן כך. אני כבר ממש לא בעניינים, כך שאפשר להסתפק בתיאורה של סבינה. בקצרה: תורת המיתרים כיום משקפת את כל מה שרע כיום בתרבות החלקיקאית. מה שפרץ לעולם כאסטטיקה נשגבת השורה בכל, הביא לתחזיות שהתבדותן גררה טלאים מכוערים. אלו בתורם הניבו התבדויות חדשות וטלאים חדשים וחוזר חלילה. | |
|
|
|
|
|
||
|
||||
|
אז את התיאורים של סבינה אני מכיר ומוקיר, דוקא חשבתי קצת על תיאור יותר מבפנים של איך זה היה לעבוד בתחום, מה הדברים שבאמת עושים וכן הלאה. אבל אולי זה טכני הרבה יותר מדי לפורום הזה ולידע המאד זעום שיש לנו (לי) בנושא. | |
|
|
|
|
|
||
|
||||
|
אין לי מושג בקשר לשתי השאלות שהעלית. כל מה שאני זוכר הוא שבקושי רב מאד הצלחתי להוציא 60 במבחן מד"ח, וגם זאת רק בזכות העובדה שהמבחן היה עם ספרים פתוחים ומצאתי את פתרון אחת השאלות באיזה ספר שהיה עימי. כפי שציינת, בלי מד"ח קשה לעשות הרבה מעבר לתואר ראשון, וכך האקדמיה זכתה להיפטר ממני הרבה לפניכם. | |
|
|
|
|
|
||
|
||||
|
הרושם שלי מהחדוו"א לסוגיה הוא שההבדלים בקושי (במבחן למשל) טמונים בכמה קשה עושים את השאלות, ואינם הבדלים אינהרנטיים בקשיות החומר. אולי יש ניואנס של מקוריות בזווית ההסתכלות שלי: עשיתי את הקורסים שלומדי הפיזיקה והנדסת השמל (אאל"ט) עושים במד"ר וגם במד"ח (וגם בפונקציות מרוכבות ובטורי פורייה על הדרך), אבל כסוג של תחביב (מזוכיסטי משהו) לא מחייב, בהיותי סטודנט מדעי המחשב בכיוון תוכנה. הזיכרון שלי הוא שהיה הבדל ניכר בין מד"ר למד"ח לא בקושי אלא במגוון וביופי, לטובת המד"ר. במד"ח אני זוכר רק אינספור וריאציות על משוואת החום ומשוואת הגלים, שגם הן דומות, ובאופן כללי קורס מאוד טכני1. במד"ר היו... הרבה דברים, כל שיעור או שניים היה משהו אחר, ודברים יפים לנפש. (היה לי במד"ר גם מרצה כריזמטי, או לפחות משעשע מאוד. היום אתם מכירים אותו כפוליטיקאי בזוי, נציב שירות המדינה דניאל הרשקוביץ.) 1 התנחמתי בלקחת צעד אחורה לזווית ההיסטוריה של המדע, ולחשוב איזה הישג כביר של האנושות זה שהיא פיתחה את כל הטכניקה המסחררת הזו, ושהיא אשכרה עוזרת להבין את העולם ולפעול בו2. גלילאו אמר ש"ספר הטבע כתוב בשפת המתמטיקה". המד"ח ושות' הוא כבר סימפוניה. 2 עד כדי כך שמהנדסים - אמיתיים, לא כאלה של תוכנה כמוני - צריכים ללמוד את הקורס הזה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |