 |
|
 |
||
|
||||
 |
האין גא"ב מזכיר תוכנה להוכחת משפטים בגאומטריה, אשר הצליחה לגלות [*] הוכחה שלא הייתה ידועה למחבריה? [*] אך במחקר לאחר מעשה, הסתבר שההוכחה הנ"ל התגלתה כבר בסין או משהו כזה. |
 |
 |
 |
|
|
|
||
|
||||
|
הכוונה כנראה להוכחה אלגנטית1 למשפט שזויות הבסיס במשולש שוה שוקיים שוות. אני לא יודע לגבי סין, אבל היא באמת היתה מוכרת למתמטיקאים אבל לא לכותבי התוכנה. ____________ 1- בלי בניית עזר. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |