בתשובה לאלון עמית, 26/11/08 3:13
 |
|
 |
||
|
||||
 |
זה יכול להיות מעניין למדי לבקש ממערכת למצוא הוכחה פורמלית למשפט טניאמה-שימורה-ויילס. מן הסתם המערכת לא מסוגלת למצוא לבדה הוכחה פורמלית, אבל היא יכולה להתחיל מההוכחה המלאה של ויילס, ומשם למצוא קשרים יותר עמוקים/ישירים ולקצר את ההוכחה. אם היא תצליח לקצר את ההוכחה, זה יביא לבניית מערכות אלגבריות חדשות. [*] דיסקליימר: אין לי מושג ירוק על עקומות אליפטיות והצגות מודולריות. יש לי מעט יותר מושג על הוכחות פורמליות. |
 |
 |
 |
|
|
|
||
|
||||
|
עקומים אליפטיים ותבניות מודולריות (אני עדיין תחת טראומת ה''צורות מודולריות'' של תרגום הספר של סינג). | |
|
|
|
|
|
||
|
||||
|
זה בהחלט יכול להיות מעניין, אם כי גם קשה (כדי לפרמל את ההוכחה המלאה של ויילס יש קודם לכן לפרמל שלל משפטים והוכחות אחרות.) אני לא חושב שקיצור ההוכחה יביא בהכרח לבניית מערכות אלגבריות חדשות. אולי כן, אולי לא. ייתכן גם שהוכחה פורמלית מקוצרת תישאר סתומה למדי עבור מי שינסה להבין איך ולמה היא עובדת, אבל זה בלי ספק יהיה תרגיל מעניין. [*] מקובל בעברית "עקומים אליפטיים". |
|
|
|
|
|
|
||
|
||||
|
[**] כפי שאמרתי, אין לי מושג ירוק :-) | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |