בתשובה לד''ר ו., 25/04/04 18:01
 |
|
 |
||
|
||||
 |
אני מסכים שכנראה מתמטיקה היא קצת יותר פָרמילה ממוזיקה או ספרות (עד כמה? הנה כבר התפתח פתיל בעניין). רק רציתי לעדן את הניסוח: "הואיל והוכחות מתמטיות הן ... מניפולציה של סמלים ... מכאן ש...מחשבים יוכלו להוכיח כל תוצאה מתמטית". |  |
 |
 |
|
|
|
||
|
||||
|
הבאתי את ראשי הפרקים של הנימוק מציילברגר, ולא התכוונתי לטעון שהמבוא ("הואיל ו...") גורר את המסקנה (טוב, גם בחוזים זה לא כך). אבל זה כמו השדונים של סטניסלב לם: מכיוון שכל הוכחה היא סדרה סופית של סמלים, כל מה שצריך הוא שדון שייצר המון מועמדים-להוכחה, שדון שיסנן את ההוכחות הנכונות (ושדון שיקרא את המשפטים ויחליט איזה מהם מעניינים). |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |