בתשובה לאלון עמית, 05/04/05 1:45
 |
|
 |
||
|
||||
 |
"במתמטיקה, זה בדיוק מה שאתה אמור לעשות, כל עוד אתה יוצר מזה מבנה אסתטי". |
 |
 |
 |
|
|
|
||
|
||||
|
תגובה 211565 | |
|
|
|
|
|
||
|
||||
|
תודה, קישור נחמד. איך אתה קושר אותו למשפט שציטטת? אם כוונתך לאסתטיקה של הוכחות נתמכות-מחשב, זו באמת שאלה מעניינת; אפשר לציין שגם בהוכחות כאלה יש חלקים "אנושיים" נרחבים, שהם לעיתים יפים מאוד. הוכחה ממוחשבת "גרידא" היא אכן לא יפה בעיני רוב המתמטיקאים, אני חושב, ולכן לא לגמרי מספקת: הם ימשיכו לחפש טובות ויפות ממנה. | |
|
|
|
|
|
||
|
||||
|
הקישור שלי הוא די אסוציאטיבי. זה לא שאני מבין על מה אתם מדברים. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |