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