בתשובה לאלון עמית, 18/07/05 0:53
 |
|
 |
||
|
||||
 |
מה עם היכולת להוכיח בעזרת ZFC את משפט גודסטיין? (סתם שליפה, אל תירה בי) |  |
 |
 |
|
|
|
||
|
||||
|
שלח את המ"ט לקורס המתקדם (זה שבו לומדים את ZFC); היא תוכיח לך בחדווה גם את גודסטין. אתה רוצה שהיא *תמציא* את ZFC? תן לה קצת לשחק, וגם זה יקרה (למה לא?) | |
|
|
|
|
|
||
|
||||
|
שאלת "מה יש לאדם שאין ל-PA". לי אישית ברור שמכונת הטיורינג (האוניברסלית) הממוצעת הרבה יותר חכמה ממני, רק שבגלל נסיבות טכניות עוד לא בנו אותה. | |
|
|
|
|
|
||
|
||||
|
בהקשר של הדיון ביני לבין ד.ק., אין הבדל בין PA למערכת אחרת (אלא אם כן ד.ק. יפתיע). | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |