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