בתשובה לאלון עמית, 10/07/05 18:45
 |
|
 |
||
|
||||
 |
שאלה לא הכי קשורה על משהו שמציק לי: יש שמועות מרושעות שהשערת גולדבך עלולה להתגלות בתור אחד מהדברים הללו שאי אפשר להוכיח או להפריך במערכת של ZFC. עכשיו, אני יכול לקבל את זה שייתכן שלא נוכל להוכיח שההשערה נכונה אף פעם, אבל לא ברור לי האם זה גורר שקיימת מערכת שמכילה את ZFC שבה ההשערה נכונה, ומערכת שמכילה את ZFC שבה ההשערה לא נכונה. אם תגיד לי שזה לא גורר את זה, אני אשתוק. אחרת, יש לי שאלת המשך. לצורך ההקבלה - אם הבנתי נכון, יש מערכת שמכילה את ZFC (או אולי ZF? או פאנו? אני לא ממש יודע) שבה השערת הרצף נכונה, ואחת שמכילה את ZFC שבה היא לא נכונה. |
 |
 |
 |
|
|
|
||
|
||||
|
לשמועות מרושעות אסור להאמין. הם עוד ישכנעו אותך להתנתק מ-ZFC או לנתק את C מ-ZF, ואז אנא אתה בא? | |
|
|
|
|
|
||
|
||||
|
דיברנו על זה פעם, חפש "גולדבך" בדיון על הטרחנים הכפייתיים. יש פה כמה דקויות שצריך להיזהר מהן. השערת גולדבך GC היא פסוק מהצורה "לכל n מתקיים ש-...", כש-"..." היא נוסחה הניתנת לבדיקה פשוטה בזמן סופי לכל n נתון. לכן, אם GC אכן לא תלויה באיזושהי אקסיומטיזציה של המספרים הטבעיים כמו PA או ZFC, אז בפרט היא *נכונה* עבור המספרים הטבעיים הסטנדרטיים (כי אם לא, היתה דוגמה נגדית, ודוגמה כזו ניתנת להוכחה בכל מערכת סבירה כזו). מכאן שאם אפשר *להוכיח* ש-GC לא תלויה ב-PA, למשל, זו תהיה הוכחה (משונה קצת) לנכונותה של השערת גולדבך הטבעית. המצב הוא אחר לגמרי עבור טענות אחרות על הטבעיים, כמו twin primes. שים לב גם שאם *מוכיחים* ש-GC לא תלויה במערכת X, זה גורר שהמערכת X היא עקבית, ולכן לא ניתן לבצע את ההוכחה ב-X עצמה. אפשר, למשל, להוכיח ב-ZFC ש-GC לא תלויה ב-PA, אבל אי אפשר להוכיח ב-ZFC ש-GC לא תלויה ב-ZFC - בשביל זה צריך מערכת אחרת שבה אפשר להוכיח את עקביות ZFC, ואין מי יודע מה מערכות כאלה שאנשים נוטים לקבלן כמובנות-מאליהן. הניסוח שלך, "מערכת שמכילה את ZFC" אינו מדוייק. צריך לומר "מודל של ZFC שבו השערת הרצף נכונה, ומודל אחר שבו לא". וכן, זה אכן המצב. |
|
|
|
|
|
|
||
|
||||
|
לגבי הוכחות אי תלות ועקביות, אתה כמובן צודק, אבל הטיעון הנ"ל נכון לכל משפט שעליו אומרים "הוכחנו עקביות" או "הוכחנו אי תלות". בדרך כלל לא מתחילים ממערכת פורמלית חזקה יותר, אלא עובדים ב-ZFC ומוכיחים עקביות יחסית כלומר מוכיחים את המשפט הפורמלי: Con(ZFC)->Con(ZFC+CH)
|
|
|
|
|
|
|
||
|
||||
|
נכון, במיוחד ל-ZFC. נדמה לי שהוכחות אי-תלות ב-PA דווקא לעיתים נעשות פשוט ב-ZFC (או בחלק שלה), למשל משפט גודסטין הזכור לטוב. | |
|
|
|
|
|
||
|
||||
|
1. אני לא יודע מה רוצים מהשערת גולדבך. קצת קשה אז נשברים? אני לא רואה שום סיבה לחשוב שהמשפט הזה לא נובע (הוא או שלילתו, אבל רק האפשרות הראשונה סבירה) מ- ZFC. 2. השערת גולדבך אינה סימטרית. אם היא *לא נכונה*, אז אפשר להשתכנע בכך בזמן סופי (יש מספר זוגי N כך שלכל מספר ראשוני קטן יותר, N-p אינו ראשוני), ולכן זה נובע מ- ZFC. לעומת זאת אם היא כן נכונה אבל משום-מה לא יכיחה ב-ZFC, אפשר לצרף אותה (או טענה אחרת שההשערה נובעת ממנה) כאקסיומה נוספת. |
|
|
|
|
|
|
||
|
||||
|
1. תאשים את הספר ההוא על "הדוד פטרוס והשערת גולדבך", שהמרצה שלי ללוגיקה אהב לרדת עליו. תמים ככל שיהיה, שמעתי שמועות מרושעות על שני אנשים שעזבו את הפקולטה למתמטיקה אחרי שקראו אותו. כן, אני בטוח שהם היו עוזבים גם ככה. כן, אני לא צריך להקשיב לשמועות מרושעות. | |
|
|
|
|
|
||
|
||||
|
בקשר ל-1 של עוזי, כדאי גם להזכיר (שכחתי קודם) שהשערת גולדבך כבר "כמעט" הוכחה (ביותר ממובן אחד), והיא נראית בהישג-יד. לאור זאת היא באמת לא מועמדת מוצלחת מדי להשערה-אולי-לא-תלויה. מועמדות מוצלחות הרבה יותר הן P=NP או בעיית ה-3n+1, למשל. | |
|
|
|
|
|
||
|
||||
|
כמובן שהבחירה בגולדבך היא בגלל שקילקלו לנו את פרמה ואין שום קשר לסבירות של תלותיותה. אתה יכול לפרט (או ללנקק) בקשר לכמעט הוכחה? | |
|
|
|
|
|
||
|
||||
|
מה זה "קלקלו לנו את פרמה"? בזה שהוכיחו אותו? | |
|
|
|
|
|
||
|
||||
|
אכן. | |
|
|
|
|
|
||
|
||||
|
2. תגובה 212764. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |