בתשובה לדורון שדמי, 05/09/05 0:31
 |
|
 |
||
|
||||
 |
"אשמח לדעת עם יש מאפיינים משותפים למערכות האקסיומטיות שאינן מושפעות ממשפטי גדל, האם תוכל לציין אותם?" המשפט של גדל עוסק במערכות אקסיומות אפקטיביות, עקביות, שמוכיחות את אקסיומת פאנו (או אקסיומות איזומורפיות להן). אף מערכת אחרת לא מושפעת ממנו. אם אתה שואל באופן כללי על מערכות לא שלמות, אז חשוב להדגיש שהמילה "שלמות" (כמו המילה "עקביות") מניחה הנחה מהותית על המערכת: שבשפת המערכת, לכל טענה מוגדרת שלילתה (שים לב שההגדרה של מערכת אקסיומות לא מזכירה בכלל שלילה). אתה מוזמן לקרוא עוד בדיון 1396. "כאשר המושג סגור שקול למושג שלם" קודם השתמשת במושג "סגור" במשמעות אחרת: אמרת שהמתמטיקה בנויה מתחומים סגורים, כך שמההגדרות של תחום אחד לא ניתן להסיק מסקנות על תחום אחר (הכיוון של ההוכחות הוא פנימה). אנא קרא את תגובתי הקודמת בהתאם להגדרה זו. "ידוע היטב שמשפטי גדל גנזו את החלום של הילברט להגדיר שיטה מכאנית כללית להוכחת משפטים במסגרתה של כל מערכת אקסיומטית." הם גנזו רק את החלום להכריע ב*כל* שאלה. שיטה מכאנית כללית להוכחת משפטים באמת הוגדרה ע"י אלן טיורינג. אינני יודע מדוע סופדים לחלומו של הילברט. אמנם הילברט שם דגש חזק על עיקרון השלמות 1, אבל אלמנטים אחרים של החלום שלו מתגשמים בגדול. הוא אפילו לא חשב שאפשר לפרמל עד כדי כך את המתמטיקה. בעולם המתמטי של היום, לא זו בלבד שהכל מבוסס על אקסיומות יציבות, אלא שגם דרך ההיקש שלנו פורמלית לחלוטין. תמיד מציינים את פרדוקס ראסל כנקודת משבר בתפיסה הזאת, אבל היא זאת שהביאה לתובנה שגם למושגים הבסיסיים ביותר במתמטיקה (כמו "קבוצה") אפשר להתייחס כמושגי יסוד, ולתת להם בסיס אקסיומטי מוצק. "אינך צריך לזהות תכונות של מערכת אקסיומטית נתונה, כדי לדעת אם יש או אין בה משפטים בלתי כריעים." כדי להוכיח טענה על המערכת (שלא מתקיימות לגבי מערכות אחרות) אתה חייב להצביע על תכונה כלשהי של המערכת, שתבדיל אותה ממערכות אחרות. 1 "אנחנו צריכים לדעת. אנחנו נדע."; "במתמטיקה לא ניתקל בחוסר היכולת לדעת." |
 |
 |
 |
|
|
|
||
|
||||
|
תיקון טעות: דיון 2396. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |