בתשובה לדרור, 21/12/08 17:22
היילס, תפוזים והוכחות ממוחשבות 498881
זה בהחלט יכול להיות מעניין, אם כי גם קשה (כדי לפרמל את ההוכחה המלאה של ויילס יש קודם לכן לפרמל שלל משפטים והוכחות אחרות.)

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

[*] מקובל בעברית "עקומים אליפטיים".
היילס, תפוזים והוכחות ממוחשבות 498969
[**] כפי שאמרתי, אין לי מושג ירוק :-)

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים