בתשובה לאלון עמית, 24/04/04 23:28
היילס, תפוזים והוכחות ממוחשבות 214559
טל כהן • בתשובה לאלון עמית יום א', 25/4/2004, 20:09
המתכנת היה E. Gelernter, וההוכחה התגלתה במקור ע"י Pappus (בשנת 300 לספירה לערך).
היילס, תפוזים והוכחות ממוחשבות 214645
אלון עמית • בתשובה לטל כהן יום ב', 26/4/2004, 5:51
תודה רבה על החצי הראשון. החצי השני היה ירידה מעודנת...? אגב, איפה זה סופר, ב-GEB מיודענו?
היילס, תפוזים והוכחות ממוחשבות 214664
טל כהן • בתשובה לאלון עמית יום ב', 26/4/2004, 8:08
לא ירידה, חלילה: סתם משהו שאכזב המון אנשים, כי פירוש הדבר שהתוכנה לא מצאה הוכחה "מקורית" (מבחינה זו שאף אחד לא גילה אותה לפניה).

ע' 606.
היילס, תפוזים והוכחות ממוחשבות 214666
אלון עמית • בתשובה לטל כהן יום ב', 26/4/2004, 8:18
תודה תודה.

בשנים שחלפו כבר נתגלו הוכחות מקוריות, ואפילו בעיות פתוחות נפתרו. הזכרתי את השערת Robbins, ועכשיו כדאי שגם אוסיף סייג: ההשערה הזו מתאימה במיוחד להוכחה ממוחשבת.

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