בכל מקום שבו רגליך בוערות

בתשובה לשוטה הכפר הגלובלי, 04/08/02 13:56

ולעניין:

83914

עוזי ו. • בתשובה לשוטה הכפר הגלובלי

יום ו', 9/8/2002, 12:53

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

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות