בתשובה לירדן ניר-בוכבינדר, 22/10/07 22:39
לרבע את הלולאה. 460799
האין גא"ב מזכיר תוכנה להוכחת משפטים בגאומטריה, אשר הצליחה לגלות [*] הוכחה שלא הייתה ידועה למחבריה?

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

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

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