בתשובה לד.ק., 02/06/05 10:25
 |
|
 |
||
|
||||
 |
''מתוך חקירה צורנית גרידא נמצא שלא ניתן לדעת כלום מתוך חקירה צורנית גרידא'' - אני מניח שאתה מתלוצץ. את שאר החידוד לא הבנתי (מלבד העובדה הטריויאלית שכולנו יש כמה אכסיומות שאנחנו מקבלים). |  |
 |
 |
|
|
|
||
|
||||
|
ד.ק. לעולם לא מתלוצץ. הוא מקבל ברצינות את הדרישה ''במושב לצים אל תשב''. | |
|
|
|
|
|
||
|
||||
|
מה, לא משפט נחמד? הוא לא מתאר נכונה את אפיזודת פרוגרמת הילברט ומשפט גדל לדעתך? |
|
|
|
|
|
|
||
|
||||
|
לדעתך אפשר לסכם את האפיזודה הזו ב"גילינו שאי אפשר לדעת כלום על ידי חקירה צורנית"? | |
|
|
|
|
|
||
|
||||
|
זה היה השלב הראשון. אחר כך הרעיון היה לחקור איך אפשר לדעת את מה שאנחנו יודעים. | |
|
|
|
|
|
||
|
||||
|
אני לא בטוח שאני מסכים איתך, אבל בוא נחכה למאמר של אלון. | |
|
|
|
|
|
||
|
||||
|
משפט גדל אומר שלא ניתן לדעת *כלום*? הוא אומר לכל היותר שבמערכות אקסיומטיות מורכבות מספיק לא ניתן לדעת (=להוכיח) *הכל* - וגם זה ניסוח שאלון בטח יקפד את ראשי בגללו, ובצדק. במרחב שבין "כלום" ל"הכל" תמצא די הרבה דברים שאפשר לדעת, אם רק תחפש. אף אחד גם לא אוסר עליך לעבור למטא-מערכת שבה תוכל למצוא את ההוכחות שהיו חסרות בקודמת, וכך הלאה וכך הלאה עד שתתעייף, ובינתיים צברת די הרבה דברים שאפשר לדעת. מספר גדל עצמו, אותו אחד שטוען על עצמו שהוא נכון אך לא יכיח, מוכח (במטא מערכת) כחלק מהתהליך. לא? הרי הטענה שם היא שהוא אינו יכול להיות לא נכון אם המערכת חסרת-סתירה, ואם כך הראית שהוא נכון, כלומר הוכחת אותו, רק שנאלצת לצאת מהמערכת בשביל זה. ביג דיל. ומכאן שהסתירה הפנימית במשפט שלך לא ממש מרשימה, מכל מקום לא יותר מאותו סַפָּר יווני שמספר את כל אלה שמעידים על עצמם שהם שקרנים. |
|
|
|
|
|
|
||
|
||||
|
זה היה ספר יווני? אוי, איך שאני שוכחת את כל הפרטים הפיקנטיים... | |
|
|
|
|
|
||
|
||||
|
תגובה 306044 | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |