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