 |
|
 |
||
|
||||
 |
תשובה לשאלה שלך תלויה במספר גורמים. למשל: 1. נניח שההוכחה נכונה. מה התוכניות שלך לגבי הפרסום? 2. מה מורכבות ההוכחה, ומה רמת הידע המתמטי שנדרש כדי לבדוק אותה? 3. מה אורך ההוכחה? (ז"א: כמה עמודי פדף נדרשים להצגה מסודרת שלה?) אם תספק יותר מידע, אולי תקבל תשובות יותר מתאימות. בהצלחה |
 |
 |
 |
|
|
|
||
|
||||
|
שאלה נוספת: האם ההוכחה קבילה במערכת האקסיומטית ZF או שיש צורך ללמוד מתמטיקה חדשה כדי להבין אותה? | |
|
|
|
|
|
||
|
||||
|
אתה סתם(?) נאחס. הוא חושב שהוא הוכיח1, ומחפש מישהו שיבדוק אותו. טרחן תקני (כולל מתמטיקאים מהחלל) כבר היה מודיע בפסקנות שיש לו הוכחה, ומחפש את האינטליגנטי היחיד שיהיה מסוגל להבין אותו. 1 |
|
|
|
|
|
|
||
|
||||
|
השאלה שמעסיקה אותי באמת היא איך זה קשור לאולימפיאדה. יהיה מגניב אם ההוכחה מתבססת על חמש טבעות (מוביוס?) שלובות. | |
|
|
|
|
|
||
|
||||
|
אם זה היה קשור, זה לא היה אוף טופיק (זה קשור לאולימפיאדת המתמטיקה. מה לא מובן?) |
|
|
|
|
|
|
||
|
||||
|
לקחתי את האתגר, אנסה לעצב inr לקולץ על סמך טבעות מוביוס שלובות :) | |
|
|
|
|
|
||
|
||||
|
למוביוס יש פעולות גזירה המתאימות להוספת טבעות שרירותית, להכפלה ולהחסרה. מכאן, זה קל :) |
|
|
|
|
|
|
||
|
||||
|
:-) | |
|
|
|
|
|
||
|
||||
|
עבר את Coq, אבל זאת פעם ראשונה שיצא לי להתנסות אז אולי? עובר בלמדא, עובר כשיחת מישוב ושיכנוע על llmים כמו הג'ימיני איתו נבנתה ההוכחה, גם מאקוונטים שונים, וגם במוצרי ai מתחרים כמו קופיילוט שגם מוכן להבין ולהסביר את הוכחה אחרי שיחת הסברה (פריימינג) ומעבר על הפורמליזם, השאלה שלי היא האם זה גם באמת נכון... השאלה היא האם בZF אוכל להביע את הרעיון של שימוש בשיטת יצוג לא פוזיציונאלית או רק לקבל אימות על הפורמליזם של הinr המסויים הזה להשערת קולץ? |
|
|
|
|
|
|
||
|
||||
|
1 אין לי מושג. הצעות יתקבלו בברכה? 2. על ידי שימוש בשיטת יצוג לא פוזיציונאלית אלא איטרטיבית/פראקטאלית המשמרת קשר הפיך ו"תרגים" לצעדי ההשערה אני מראה שתחת היצוג המסויים הזה אין שום אפשרות לצעידת קולץ שאינה מסתיימת ב1 במספר צעדים סופי וחסום הידוע כבר מרגע התרגום לשיטת היצוג המוצעת. 3. זה עמוד וחצי של בלוק פורמאלי ו5 עמודים של טקסט מרווח, או שתי פעולות העתק הדבק לג'ימיני ושורת פריימינג בכדי שיסביר את הכל בעצמו, או פשוט הלינק הזה: https://g.co/gemini/share/79b80949e90c |
|
|
|
|
|
|
||
|
||||
|
שחר, ראשית כל הכבוד על העניין בטענה ועל הנסיון להוכיח אותה. בלי קשר לנכונות (אני מניח שרוב המתמטיקאים כתבו הרבה הוכחות שגויות בדרך למציאת ההוכחה הנכונה), זה יפה מאד. אני אישית חשבתי שהוכחתי (ולא עשיתי זאת) תשובות לבעיות רבות. שחר, אני אנסה להבהיר קצת את האופן בו מקובל להוכיח טענות במתמטיקה וקצת רקע על האייל והנגיעה שלו לנושא. לרוב מתמטיקאים כותבים הוכחות והן מוגשות לכתב עת אקדמי, נבדקות ואחר כך מפורסמות. מתמטיקאים לרוב פועלים בקהילות כך שביכולתם גם לבקש משוב לא פורמלי מעמיתים. על פי רוב, מתמטיקאים לא פונים לאתר אינטרנט שלא מיועד למתמטיקה. בלינק שלך יש תוכנית שבודקת כמה מספרים. זה מחזק את תחושת הבטן ואם היית מוצא דוגמה שלילית היית מפריך את ההשערה. מצד שני, בהשערת קולץ [ויקיפדיה] מצויין שההשערה נבדקה עד 2 בחזקת 68, כך שהכיוון נוסה. הוכחות לרוב נראות כמו בגיאומטריה בתיכון, לא כמו תוכנית. ככל שההוכחה קצרה יותר ובנויה מצעדים פשוטים ומוכרים, לאחרים קל יותר להבין ולוודא את הנכונות. באייל יש נסיון עגום משהו אם הוכחות שלא היו כאלו ואני חושש שזו הסיבה לחלק מהטון בתגובות. אם אתה מעוניין, אני מציע לכתוב את ההוכחה כמאמר ולהגיש אותו לכתב עת מתאים. |
|
|
|
|
|
|
||
|
||||
|
אני קצת מבין את שחר. לדעתי רוב כתבי העת פשוט ישליכו את המאמר לפח. אבל אני מצטרף להמלצתך להציע את ההוכחה למתמטיקאים או אנשי אלגוריתמים מקצועיים. עצם ההצעה לאנשים שאין זה מקצועם מעוררת חשד. | |
|
|
|
|
|
||
|
||||
|
רשימת קשר של אנשים טובים שכאלו תועיל רבות ותתקבל בברכה :) | |
|
|
|
|
|
||
|
||||
|
תודה על ההתייחסות הכנה :) אם התכוונת שאכתוב את ההוכחה כמאמר, אני סוגשל עובד על זה... אם התכוונת שנכתוב יחדיו את המאמר בהחלט אשמח לעזרה ולשיתוף פעולה :) ואם התכוונת שתכתוב אתה מאמר על הההוכחה המוצעת, או על השימוש בשיטת יצוג מספר מקוננת, אילו חומרי גלם תרצה? מאיפה נתחיל? |
|
|
|
|
|
|
||
|
||||
|
תודה על ההצעה אבל זה רחוק מתחומי העניין שלי. בערך על ההשערה מצויין שטרנס טאו [ויקיפדיה] עבד עליה. כזוכה מדלית פילדס הוא כנראה יוכל להתמודד עם ההוכחה. שים לב שהוא כנראה עמוס וכדאי להתייחס לזמנו בכבוד. לפני שאתה פונה אליו, אני מעודד אותך קודם כל לכתוב את ההוכחה כמאמר. ככה - אתה תאלץ להבהיר לעצמך את הגישה ולדייק בפרטים - לאחרים יהיה יותר קל להתייחס למאמר שלך |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |