בתשובה להוגג, 27/04/10 23:47
 |
|
 |
||
|
||||
 |
דרך אחרת לנסח את "לכל משפט יש ערך אמת" היא: "לא קיים משפט שאין לו ערך אמת". אני מחפש לפחות משפט כזה שאין לו ערך אמת. אם אוכל למצוא משפט כזה, ברור שהטענה של אלון שגויה. ולחילופין: אם אצליח להשתכנע שלא קיים משפט כזה, אשתכנע שהטענה של אלון נכונה. מה בדיוק הקשר בין "לא כריע" ל־"לא נכון"? יכול להיות שיש משפט שהוא באמת נכון (או באמת לא נכון). סתם קשה לנו להוכיח את זה. לדוגמה: אני לא מאמין לטענה שכל מספר שמתחלק בעשר הוא זוגי. לכן אני מחליט לעבור על כל המספרים ולבדוק. לצערי הזמן שעומד לרשותי הוא סופי. ולכן לא אצליח לעבור על כל המספרים האפשריים. לכן אף פעם לא אצליח לשכנע את עצמי בדרך זו שהטענה נכונה. האם זה אומר שהטענה שגויה? (אני בכוונה רוצה להשתמש בדוגמאות פשוטות כשאפשר, כדי למנוע מהדיון לרחף בעננים) דוגמה אחרת: בעיית העצירה [ויקיפדיה]. אנחנו רוצים למצוא האם בהנתן תוכנית מחשב וקלט בשבילה, היא תעצור על הקלט. מן המפורסמות היא שאין לבעיה הזו פתרון כללי: אנחנו לא יודעים לבנות תוכנית מחשב שתיתן את התשובה. הבעיה אינה כריעה. אבל די ברור שתשובה קיימת: או שהמכונה עוצרת על הקלט, או שהיא ממשיכה לרוץ לנצח. בדיוק אחת משתי האפשרויות הללו נכונה. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |