בתשובה לשוטה הכפר הגלובלי, 02/06/05 9:20
בשם הבורים 305239
ללוגיקה אין חזקה על האמת, יש לה חזקה רק על ההוכחה. וגם הוכחותיה נשענות על דברים שלא ניתנים לאימות. כך ש"טוהר" האימות הוא דבר לא מושג ממילא. אתה תמיד מניח דברים שלא ניתנים לאימות, השאלה היא רק: למה אלה ולא אחרים?

מתוך חקירה צורנית גרידא נמצא שלא ניתן לדעת כלום מתוך חקירה צורנית גרידא. כדי לעמוד על טיבה של מערכת לוגית, אתה חייב לפנות למטא-שפה שהיא אינה פורמאלית ולכן לא יכולה להעניק לך הוכחות פורמאליות. ואם תבחר לפרמל את המטא-שפה, גם היא תהפוך לשפה ותקבל את גבולותיה של שפה. אין מניעה מלהאמין ב*משהו*.
בשם הבורים 305280
''מתוך חקירה צורנית גרידא נמצא שלא ניתן לדעת כלום מתוך חקירה צורנית גרידא'' - אני מניח שאתה מתלוצץ. את שאר החידוד לא הבנתי (מלבד העובדה הטריויאלית שכולנו יש כמה אכסיומות שאנחנו מקבלים).
בשם הבורים 305315
ד.ק. לעולם לא מתלוצץ. הוא מקבל ברצינות את הדרישה ''במושב לצים אל תשב''.
בשם הבורים 305383
מה, לא משפט נחמד?
הוא לא מתאר נכונה את אפיזודת פרוגרמת הילברט ומשפט גדל לדעתך?
בשם הבורים 305394
לדעתך אפשר לסכם את האפיזודה הזו ב"גילינו שאי אפשר לדעת כלום על ידי חקירה צורנית"?
בשם הבורים 305400
זה היה השלב הראשון. אחר כך הרעיון היה לחקור איך אפשר לדעת את מה שאנחנו יודעים.
בשם הבורים 305413
אני לא בטוח שאני מסכים איתך, אבל בוא נחכה למאמר של אלון.
בשם הבורים 305473
משפט גדל אומר שלא ניתן לדעת *כלום*? הוא אומר לכל היותר שבמערכות אקסיומטיות מורכבות מספיק לא ניתן לדעת (=להוכיח) *הכל* - וגם זה ניסוח שאלון בטח יקפד את ראשי בגללו, ובצדק. במרחב שבין "כלום" ל"הכל" תמצא די הרבה דברים שאפשר לדעת, אם רק תחפש. אף אחד גם לא אוסר עליך לעבור למטא-מערכת שבה תוכל למצוא את ההוכחות שהיו חסרות בקודמת, וכך הלאה וכך הלאה עד שתתעייף, ובינתיים צברת די הרבה דברים שאפשר לדעת. מספר גדל עצמו, אותו אחד שטוען על עצמו שהוא נכון אך לא יכיח, מוכח (במטא מערכת) כחלק מהתהליך. לא? הרי הטענה שם היא שהוא אינו יכול להיות לא נכון אם המערכת חסרת-סתירה, ואם כך הראית שהוא נכון, כלומר הוכחת אותו, רק שנאלצת לצאת מהמערכת בשביל זה. ביג דיל.

ומכאן שהסתירה הפנימית במשפט שלך לא ממש מרשימה, מכל מקום לא יותר מאותו סַפָּר יווני שמספר את כל אלה שמעידים על עצמם שהם שקרנים.
בשם הבורים 305484
זה היה ספר יווני? אוי, איך שאני שוכחת את כל הפרטים הפיקנטיים...
בשם הבורים 306047
תגובה 306044

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים