בתשובה לאלון עמית, 16/07/05 18:47
 |
|
 |
||
|
||||
 |
האם יש "אופי" מסוים לתורה הנפרדת ש"נבנת" על משפט C- המשפט הגדלי לעקביות מערכת מסוימת? אם אי אפשר להוכיח במערכת מסוימת משהו, אז היא עקבית לא? מש"ל לא? אם מימד הזמן אריטמטי אז הקאווליה של גדל היא האוזניים של אלוהים לא? -סליחה ותודה |
 |
 |
 |
|
|
|
||
|
||||
|
''אם אי אפשר להוכיח במערכת מסוימת משהו, אז היא עקבית'' - הבעיה היא שכל הוכחה לפיה בעיה אינה כריעה, מתבססת על ההנחה שהמערכת עקבית. | |
|
|
|
|
|
||
|
||||
|
כן כן ברור, זה בדיוק המשפט שאי אפשר להוכיח בתוך המערכת. לרגע חשבתי שאמרתי משהו חכם. שלוש שניות של גאווה. אני אחזור לחור שלי עכשיו. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |