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