בתשובה לעוזי ו., 28/08/03 3:07
 |
|
 |
||
|
||||
 |
1. אני גם לא בקי אבל חשבתי שבכל מודל למערכת פאנו לא ייתכן מספר שלא ניתן להגיע אליו בשרשרת סופית של פעולות עוקב. (זאת מאחר שאם נגדיר את הקבוצה S כמכילה את 0 + כל המספרים שאפשר להגיע אליהם במספר סופי של פעולות עוקב מ0, אז לפי אקסיומת האינדוקציה* S יכיל את כל המספרים). * אקסיומה מס' 5 ב: |
 |
 |
 |
|
|
|
||
|
||||
|
הוא אשר אמרתי: "אפשר להגיע במספר סופי של פעולות עוקב מ- 0" זה לא משפט בשפה מסדר ראשון, ולכן אקסיומת האינדוקציה לא חלה עליו. (וכל מערכות פאנו מסדר שני איזומורפיות זו לזו). |
|
|
|
|
|
|
||
|
||||
|
לא, זה בדיוק לא המצב. האקסיומה שציטטת היא מסדר שני, ובהקשר זה באמת אין מודלים לא-סטנדרטיים והבעייה נמוגה. בסדר ראשון, אי-אפשר לנסח את הטענה שלך ב-1. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |