|
||||
|
||||
(חשבתי ש)הצבעתי על משפט כזה במאמר: הנוסחה G עבור מערכת פורמלית שמשפט גדל חל עליה, זו שאומרת "הנוסחה G אינה יכיחה במערכת זו". לוקאס טען ש"כל ישות רציונלית" העוקבת אחר ההוכחה של משפט גדל, "רואה" ש-G נכונה. זה, באופן הכי פשוט שיש, לא נכון. את שוב שואלת אותי "באיזה מובן אנשים רואים שהוא נכון". צריך לשאול את לוקאס את השאלה הזו, לא אותי. אני יודע שאנשים רואים כל מיני דברים; לפעמים הם רואים דברים שאינם בנמצא. גם מכונות יכולות. |
|
||||
|
||||
אה, או.קיי. בקיצור, הטענה שלו היא אפילו לא שגויה - היא פשוט קשקוש. |
|
||||
|
||||
"הוא כזה שקרן, שאפילו ההפך מדבריו אינו נכון." (אמנון בירמן, "כל העיר", 1989) |
|
||||
|
||||
מעניין. אני אפילו לא בטוחה שבירמן הכיר את הטענה הזאת... |
|
||||
|
||||
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |