שיחה:משפט המודולריות

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

אתה בטוח בנושא?

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

זוהי איננה השערה יותר, אלא משפט. זה בדיוק החלק שהיה חסר בהוכחת המשפט האחרון של פרמה ושהוכח על ידי אנדרו ויילס. אמיתי 22:21, 6 מרץ 2005 (UTC)

אז למה הערך נקרא בשם הזה? טרול רפאים 00:57, 19 מרץ 2005 (UTC)

זה לא משפט אלא השערה, ההוכחה נכונה רק לחלק מהמקרים ולא לכולם (כמופיע בגוף המאמר).אוהד 23:10, 17 יוני 2006 (IDT)

בגוף המאמר מופיע "ההוכחה למשפט טניאמה-שימורה במלואו ניתנה בשנת 1999 על-ידי קבוצה של ארבעה מתמטיקאים, ובהם ויילס ותלמידו לשעבר ריצ'רד טיילור". לא מצאתי את המקום שאליו אתה מתייחס. גדי אלכסנדרוביץ' 23:20, 17 יוני 2006 (IDT)

טניאמה או טניימה?

בספרו של סיימון סינג ""המשפט האחרון של פרמה" הוא מופיע כטניימה. מה עדיף? אבינעם 12:46, 30 אפריל 2006 (IDT)

הצעה לשינוי שם הערך

למשפט המודולריות, בדומה לויקי האנגלית. מה דעתכם? לירן (שיחה,תרומות) 15:41, 24 באפריל 2007 (IDT)

מתנגד. זה השם המפורסם של המשפט. האמת היא שארבעה עשורים הוא בכלל היה ידוע כ"השערת טניאמה-שימורה", עד שויילס הוכיחו. חגי אדלר 17:36, 15 במאי 2007 (IDT)

לא נכון. אכן הטענה נקראה "השערת טניאמה-שימורה" עד שהוכחה. אבל המשפט שהוכיח אותה נקרא משפט המודולריות. כפי ש"השערת מורדל" הפכה ל"משפט פאלטינגס" (ולא "משפט מורדל", שהרי לא מורדל הוכיח אלא פאלטינגס). כך גם כאן. WLior - שיחה 21:30, 29 במרץ 2020 (IDT)

בעיון בערכים בשפות אחרות רואים שבחלק מהשפות נשמר השם "משפט טניאמה-שימורה", ובאחרות השם הוא "משפט המודולריות". אני מסכים עם נימוקי התומכים בשם "משפט המודולריות". מתייג את יונה בנדלאק, דניאל ב., hagay1000, פשוט, עוזי ו. (בנושאים מסוימים), דביר, איתי (לא בכל מה שקשור למתמטיקה), יואל, ruleroll (גאומטריה), רמי, Tshuva, בר, yotamsvoray, CodeGuru, Zardav, דוד שי, אכן, TergeoSoftware, MathKnight, מקף, E L Yekutiel, שגיא בוכבינדר שדור YoavDvir בעלי הידע במתמטיקה. דוד שי - שיחה 07:16, 30 במרץ 2020 (IDT)

בנושא כזה (ומכיוון שאין לי ידיעה ישירה) אני מסכים עם הבחירה של ויקיפדיה האנגלית. עוזי ו. - שיחה 12:59, 30 במרץ 2020 (IDT)

בוצע Euro know - שיחה 20:24, 8 במאי 2020 (IDT)

המשפט הראשון בערך

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

ואני שואל - האמנם? למיטב ידיעתי, אחת הדרכים להסתכל על תבניות מודולריות היא כעל פונקציות על ה moduli space של מחלקות איזומורפיזם של עקומים אליפטים. אז איך אפשר לומר שהתורות נראות לא קשורות? 10:44, 9 באוקטובר 2007 (IST)

אתה צודק. התחומים קשורים היטב (כמעט תאומים סיאמיים) מעל המרוכבים; ההפתעה היא בכך שהם מחוברים זה לזה גם אריתמטית. עוזי ו. 10:56, 9 באוקטובר 2007 (IST)

מה עם וויל? (Weil)

בכל ספר שאני קורא (למשל, Ireland & Rosen, Henri Cohen, Koblitz) מדברים דווקא על "השערת טניאמה-וויל". האם לא צריך לתת קרדיט גם לוויל? גדי אלכסנדרוביץ' - שיחה 07:03, 12 באוגוסט 2008 (IDT)

במאמר המקביל באנגלית המצב הרבה יותר ברור:

In mathematics, the modularity theorem establishes an important connection between elliptic curves over the field of rational numbers and modular forms, certain analytic functions introduced in 19th century mathematics. In 1995, Andrew Wiles proved the modularity theorem for all semistable elliptic curves over the rationals, with some help from Richard Taylor. The case of the remaining (non-semistable) curves was subsequently settled jointly by Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor by 2001. Before its proof the statement (see below) was known as the Taniyama–Shimura–Weil conjecture and by several related names.

הערך נקרא modularity theorem ומוסבר שעד להוכחתו על ידי ויילס הוא נקרא משפט טניאמה-שימורה. נראה לי שאם זה המצב, מן הראוי לשנות את שם הערך בדומה למצב באנגלית. --Yoavd - שיחה 07:11, 12 באוגוסט 2008 (IDT)

קצת התבלבלת. הוא לא שאל על אנדרו ויילס אלא על אנדרה וייל (כן! אלו שני אנשים שונים, ושניהם עסקו בבעיה הזו!) לירן (שיחה,תרומות) 00:55, 24 באוקטובר 2008 (IST)