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