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