ohad פורסם פברואר 13, 2013 דיווח שיתוף פורסם פברואר 13, 2013 בתחשיב הפסוקים:קבוצה עקבית מקסימלית מוגדרת כקבוצה עקבית (לא ניתן להוכיח את F ממנה) ובנוסף לכל פסוק אלפא או שהוא יכיח מסיגמא או שהשלילה שלו יכיחה מסיגמא. האם זה "מקביל" למה שגדל חיפש במשפט אי השלמות שלו? כלומר כל פסוק כאן ניתן להוכחה או הפרכה?השאלה היא כדי לבדוק אם אני מבין משהו מהחיים שלי בעניין או שצריך להכנס לזה יותר לעומק...(משפט אי השלמות הוזכר בהרצאות רק בקצרה וכהרחבה, אני יודע שגדל דיבר על מערכות מורכבות ועשירות יותר ושם הוכיח את משפטו). ציטוט קישור לתוכן שיתוף באתרים אחרים More sharing options...
incog פורסם פברואר 13, 2013 דיווח שיתוף פורסם פברואר 13, 2013 כן בהחלט, קבוצה עקבית מקסימלית היא בעצם תורה שלמה. משפט אי השלמות של גדל אומר שלא תוכל בתורת המספרים למצוא תורה מקסימלית כזו שהינה רקורסיבית (כלומר תהיה מכונת טיורינג שתכריע עם פסוק כלשהו שייך לתורה).וזה ההבדל הגדול, כי כמו שאתה יודע זה בוודאי נכון שכל תורה אפשר להרחיב לתורה מקסימלית 1 ציטוט קישור לתוכן שיתוף באתרים אחרים More sharing options...
ohad פורסם פברואר 13, 2013 מחבר דיווח שיתוף פורסם פברואר 13, 2013 נפלא! זה אומר שאני לא סתם מקשר דברים לא קשורים... תודה רבה. ציטוט קישור לתוכן שיתוף באתרים אחרים More sharing options...
הודעות מומלצות
הצטרפות לשיח
באפשרותך לשלוח הודעה כעת ולהירשם מאוחר יותר. אם ברשותך חשבון, ניתן להתחבר עכשיו לשליחת הודעה דרך חשבונך.
הערה: הודעתך דרושה לאישור הנהלה לפני הצגתה.