בתשובה לאפופידס, 04/08/02 9:53
האמנם? 82834
שוטה הכפר הגלובלי • בתשובה לאפופידס יום א', 4/8/2002, 13:56
חושבני שגדל הוכיח קיום של משפטים כאלה (נכונים ואינם ניתנים להוכחה) ע"י *דוגמא* למשפט כזה (משהו כמו "אני נכון ואיני ניתן להוכחה" מנוסח מתמטית) אבל בשום מקום לא נתן כלי כללי לאבחון אם משפט מסוים ניתן להוכחה או לא.

למר עוזי ו. - בסדר, תרמוס, תכתוש, תדרוס - אבל בבקשה בלי בעיטות בביצים.
האמנם? 82881
אפופידס • בתשובה לשוטה הכפר הגלובלי יום א', 4/8/2002, 18:57
תודה על התיקון. הניסוח שלך אכן מדוייק יותר.
אני? 83913
עוזי ו. • בתשובה לשוטה הכפר הגלובלי יום ו', 9/8/2002, 12:39
ממספר ההתייחסויות שלך לתגובה ההיא (ספרתי שש, בדיונים שונים), נראה לי שזו היתה חוויה די טראומטית. קבל את התנצלותי הכנה.
בכל אופן, הייתי עדין למדי עד עכשיו, וזה לא עומד להשתנות בקרוב.
אני? 83922
שוטה הכפר הגלובלי • בתשובה לעוזי ו. יום ו', 9/8/2002, 14:10
לא, זאת לא היתה טראומה, רק קמצוץ של לגלוג עצמי. מעולם לא מצאתי אותך גס רוח או בלתי עדין, ואין צורך בהתנצלות.
ולעניין: 83914
עוזי ו. • בתשובה לשוטה הכפר הגלובלי יום ו', 9/8/2002, 12:53
השאלה אילו משפטים אינם ניתנים להוכחה היא, למיטב זכרוני, לא כריעה (כלומר: לא קיים אלגוריתם שיכול להכריע בשאלה).
גדל בנה, בהנתן האקסיומות, משפט שאותו לא ניתן להוכיח או להפריך (זו ההוכחה למשפט שלו). המשפטים האלו בדרך-כלל אינם "טבעיים", וכשלעצמם לא יחשבו לשאלות מתמטיות מעניינות.
מאוחר יותר, אנשי תורת הקבוצות בנו "אקסיומות" טבעיות שאינן מוחלטות במסגרת האקסיומות הסטנדרטיות של תורת הקבוצות. למעשה, חלק נכבד מתורת הקבוצות העכשווית עוסק בקשרים שבין האקסיומות החדשות האלה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות