תורת החישוביות/משפט הרקורסיה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←שימושים: עיצוב, הגהה |
מאין תקציר עריכה |
||
שורה 1:
בפרק זה נעסוק ב'''משפט הרקורסיה''' – אחד המשפטים המעניינים והמפתיעים שקיימים, ולו שימושים רבים ב{{וק|חישוביות}}, {{וק|לוגיקה מתמטית|לוגיקה}} ו{{וק|תורת הקבוצות}}. פרק זה יהיה מעט פילוסופי, וקצת יסטה מהקו הפורמלי שנקטנו בו עד כה, מכיוון שהמטרה היא להביע את הרעיון ולא את "הפרטים הקטנים" שעומדים מאחריו. הרעיון העיקרי של הפרק הוא רעיון ה{{וק|הפניה עצמית|הפניה העצמית}} בו מ״ט מתייחסת לעצמה, או לקוד של עצמה.
==תוכניות המייצרות את עצמן==
תחילתו של פרק זה בשאלה "האם קיימת תוכנית שמדפיסה את הקוד של עצמה". חשוב על כך מעט. האם אתה מסוגל לכתוב תוכנית, בשפת C, פסקל או אפילו שפת סקריפט כלשהי (Rubi, Perl,
{{אתגר|נסה לכתוב תוכנית בשפת C, שמדפיסה את הקוד של עצמה. כלומר, אם קוד התוכנית הוא self.c, ברגע שנפעיל את התוכנית 'self' הפלט למסך יהיה זהה לתוכן הקובץ self.c. ניתן להשתמש בכל שפת תכנות רצוייה.}}
| |||