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