בתשובה לירון, 24/09/04 0:07
מכיר גולדבך 248632
אורי גוראל-גורביץ' • בתשובה לירון יום ו', 24/9/2004, 0:19
לא הבהרתי את עצמי. אם יתגלה שהשערת גולדבך עקבית, הרי שינבע מכך שאין דוגמא נגדית במספרים הטבעיים ה''אמיתיים''. מכיון שמטרת אקסיומות פיאנו היא למדל אותם, הרי שעלינו לאמץ את השערת גולדבך.
מכיר גולדבך 248635
ירון • בתשובה לאורי גוראל-גורביץ' יום ו', 24/9/2004, 0:22
לא הבנתי למה אתה קורה המספרים הטבעיים ה"אמיתיים". האם אנחנו לא כל הזמן מנסים להבין מהם? האם לא זה בדיוק מה שאנחנו עושים כשאנחנו מחפשים אקסיומות שינסחו באופן פורמלי איזשהו תחום?
מכיר גולדבך 248636
אורי גוראל-גורביץ' • בתשובה לירון יום ו', 24/9/2004, 0:27
בוא ניתן דוגמא. נניח שאני מוכיח לך את עקביותה של GC.
עכשיו אשאל אותך האם 45722151 הוא דוגמא נגדית ל-GC?
טענתי היא שתוכל לענות "לא" מבלי להביט בכלל במספר שנתתי.
ואם תקבל זאת, הרי שקיבלת את נכונות GC במספרים הטבעיים.
מכיר גולדבך 248637
אורי גוראל-גורביץ' • בתשובה לירון יום ו', 24/9/2004, 0:30
המספרים הטבעיים האמיתיים הם הם אלו שאותם מנסים למדל. אנו מסתכלים עליהם ומשתכנעים שהם חילופיים ולכן אנו מוסיפים אקסיומת חילופיות לתורה, וכו'. מתקבלת איזושהי תורה ולמודלים שלה אנו קוראים מספרים טבעיים‏1.

‏1 בהקשר הזה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות