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