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