 |
לי לא ברור שכל משפט שאנשים רואים שהוא אמיתי הוא אכן אמיתי. אפשר להיכנס כאן לדיון על מה זה "רואים" ומה זה "אמיתי", אבל הטענה המקורית שלי היא הרבה יותר פשוטה: אחרים - לוקאס, סרל, לא אני - טוענים שיש משפט פורמלי בתורת המספרים שאנו רואים שהוא נכון ומערכות פורמליות לא יכולות להוכיח. אילו היה זה נכון, זה היה טיעון מסקרן לגבי שאלת המוח האנושי, אבל זה לא.
כל משפט אמיתי יכיח בתורה פורמלית, למשל בתורה שמניחה אותו כאקסיומה. השאלה האמיתית היא אם על משפט אמיתי יכיח בתורה שיש לנו סיבות טובות לקבל את הנחותיה כנכונות. זו בעייה פתוחה, וכנראה תישאר כזו כי "סיבות טובות לקבל" הוא מושג מאוד נזיל.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש