 |
|
 |
||
|
||||
 |
 |
 |
 |
|
|
|
||
|
||||
|
כן, אבל לא כזה שבהכרח תדע מראש כמה זמן יקח לו. האלגוריתם הכללי הוא פשוט לעבור על כל ההוכחות האפשריות אחת אחת ולחפש הוכחה למשפט שלך או לשלילתו. מאחר והתורה שלמה, יש הוכחה כזו ולכן האלגוריתם ימצא אותה ויעצור. | |
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
זה לא מפריע לאלגוריתם הכללי, בתנאי שניתן לסדר את האקסיומות בזו אחר זו. גם במקרה זה אפשר לבנות בזה אחר זה את המשפטים היכיחים. כמובן שלא נסיים לעולם את עבודת הבנייה הזו, אבל בהינתן משפט יכיח, נגיע אליו בסופו של דבר. | |
|
|
|
|
|
||
|
||||
|
אני חייב להודות שכנראה שוב לא הבנתי. מצפה להמשך של תגובה 318842 | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |