|
||||
|
||||
שאלה נוספת: האם ההוכחה קבילה במערכת האקסיומטית ZF או שיש צורך ללמוד מתמטיקה חדשה כדי להבין אותה? |
|
||||
|
||||
אתה סתם(?) נאחס. הוא חושב שהוא הוכיח1, ומחפש מישהו שיבדוק אותו. טרחן תקני (כולל מתמטיקאים מהחלל) כבר היה מודיע בפסקנות שיש לו הוכחה, ומחפש את האינטליגנטי היחיד שיהיה מסוגל להבין אותו. 1 |
|
||||
|
||||
השאלה שמעסיקה אותי באמת היא איך זה קשור לאולימפיאדה. יהיה מגניב אם ההוכחה מתבססת על חמש טבעות (מוביוס?) שלובות. |
|
||||
|
||||
אם זה היה קשור, זה לא היה אוף טופיק (זה קשור לאולימפיאדת המתמטיקה. מה לא מובן?) |
|
||||
|
||||
לקחתי את האתגר, אנסה לעצב inr לקולץ על סמך טבעות מוביוס שלובות :) |
|
||||
|
||||
למוביוס יש פעולות גזירה המתאימות להוספת טבעות שרירותית, להכפלה ולהחסרה. מכאן, זה קל :) |
|
||||
|
||||
:-) |
|
||||
|
||||
עבר את Coq, אבל זאת פעם ראשונה שיצא לי להתנסות אז אולי? עובר בלמדא, עובר כשיחת מישוב ושיכנוע על llmים כמו הג'ימיני איתו נבנתה ההוכחה, גם מאקוונטים שונים, וגם במוצרי ai מתחרים כמו קופיילוט שגם מוכן להבין ולהסביר את הוכחה אחרי שיחת הסברה (פריימינג) ומעבר על הפורמליזם, השאלה שלי היא האם זה גם באמת נכון... השאלה היא האם בZF אוכל להביע את הרעיון של שימוש בשיטת יצוג לא פוזיציונאלית או רק לקבל אימות על הפורמליזם של הinr המסויים הזה להשערת קולץ? |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |