בתשובה להאייל הצעיר, 02/09/05 19:07
 |
|
 |
||
|
||||
 |
''אני אינני יודע איך מחשב יחליט האם משפט כלשהו הוא ''מעניין'', הוכחה כלשהי היא ''אלגנטית'', וגם אינני יודע איך הוא יתרגם הוכחה פורמלית לשפת בני אדם. עד שהוא לא יעשה את זה, הוא יהיה חסר תועלת בתור מתמטיקאי.'' אייל צעיר, מחשב אינו אלא שלוחה או סוכן שלנו, ואין הוא עושה דבר שלא במסגרת שהוקצבה לו על ידנו, לכן אין טעם לדון בפתרונות כלשהם ע''י מחשב, כי כל פיתרון איננו אלא פתרון שלנו, ואין זולתנו. זה כולל כמובן את השיטה הדדוקטיבית וחוקי המשחק הפורמליים, וכל הד שנשמע מקורו בקולנו אנו ורק אנו אלה ששומעים אותו ומעניקים לשמיעה משמעות בתודעתנו. |
 |
 |
 |
|
|
|
||
|
||||
|
אין ספק שמחשב לא יוכל להוכיח שום דבר שאדם לא יכול להוכיח. השאלה פה היא שאלה של יעילות. גם אני יכול לחשב את המספר 45384^38276, וגם המחשב שלי יכול. משום-מה, אני אעדיף שהמחשב שלי יעשה את זה. ואם אתה עוד תכריז שזה הפתרון שלי, זה בכלל נהדר. |
|
|
|
|
|
|
||
|
||||
|
אין ספק? | |
|
|
|
|
|
||
|
||||
|
תיאורטית, כל הוכחה שמחשב יכול למצוא, גם האדם היה יכול למצוא עם מספיק זמן ומספיק זיכרון. אין יתרון מהותי למחשב - רק יתרון כמותי. לכן אין שום משמעות לטענה של דורון לפיה ''המחשב הוא רק שלוחה של האדם''. אני בהחלט מסכים שההוכחה שהמחשב ימצא היא ''הוכחה אנושית'' שנמצאה בעזרת מכונה. | |
|
|
|
|
|
||
|
||||
|
"אין ספק שמחשב לא יוכל להוכיח שום דבר שאדם לא יכול להוכיח." אתה מתעלם לחלוטין מתגובתי, שהיא: "אין דבר כזה מחשב, כישות המנותקת ממקורה, כאשר המקור הוא תודעתנו, ותודעתנו יכולה למנף עצמה ע"י רתימת חומרי הגלם שבסביביתה לצרכיה היא. האם אתה מבין את מה שאני אומר, או שאתה מתכונן לחזור שוב על המחול חסר התובנה של אי-זיהוי עצמך ביציר כפיך? |
|
|
|
|
|
|
||
|
||||
|
אתה זה שמתעלם מהתגובה שלי. אתה לוקח פתיל שעוסק בשימוש *פרקטי* במחשב לצורך הוכחה 1 וקושר אותו לשאלת ה"אובייקטיביות" של המחשב, שלא שייכת בכלל. האם יש לך ספק שההוכחות שהמחשב מספק הן הוכחות תקפות *ע"פ הגישה הדדוקטיבית*? 1 בניגוד לפתילים אחרים, שעסקו בהגדרה של מערכות אקסיומות באמצעות מכונות טיורינג, שבהם הרעיון שלך היה רלוונטי. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |