שיחה:המשפט האחרון של פרמה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הסבר קצר |
אין תקציר עריכה |
||
שורה 3:
::אם כך, על פי כמה וכמה צריך לתקן את העניין. [[משתמש:Amitayk|אמיתי]] 13:13, 3 ינו' 2005 (UTC)
:בהחלט אפשר להוכיח כך את המשפט: Kummer הוכיח שמשפט פרמה נכון לכל ראשוני 'רגולרי', והבדיקה האם ראשוני נתון הוא רגולרי ניתנת להעשות בעזרת מחשב. (בערך עצמו לא נגעתי). [[משתמש:עוזי ו.|עוזי ו.]] 17:06, 27 אפר' 2005 (UTC)
::: יש ויכוח גדול מאוד על עניין הוכחות בעזרת מחשב. מה שעשו בנושא המשפט של פרמה הוא לצמצם את מרחב האפשרויות למספר גדול אך סופי של אפשרויות (אם אני לא טועה כ 6000), ואז עברו וחישבו כל אחד בעזרת מחשב. ברור שלא ניתן לעבור על כל אניסוף האפשרויות. וגם ברור שאם היו מוצאים סט אחד של מספרים שמקיים את התנאי היו מפריכים את המשפט [[משתמש:אמיר גולד|אמיר]] 23:07, 6 דצמבר 2005 (UTC)
== הוכחת המקרה לn=4 ==
| |||