בתשובה להאייל האלמוני, 15/07/05 13:32
 |
|
 |
||
|
||||
 |
להיפך: רוב המתמטיקאים בוחרים לעבוד בתורות החשופות למשפט גדל. מתמטיקאים שאינם לוגיקאים לא בוחרים כמעט אף-פעם אקסיומות לתורות חדשות, אלא פשוט מגלים תגליות ומוכיחים משפטים, נניח, ב-ZF או ZFC או PA, כשלרוב הם אפילו לא מתעניינים בשאלה באיזו מערכת פורמלית מינימלית ניתן לפרמל את טיעוניהם. כל המערכות הללו חשופות למשפט גדל; זה לא מדיר את שנתו של אף מתמטיקאי שאני מכיר. |  |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |