שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←ארגון מחודש של החלק: פסקה חדשה |
|||
שורה 18:
== ארגון מחודש של החלק ==
לדעתי צריך לארגן חלק זה מחדש. שמו הנו "כריעות שפות", אבל הוא למעשה מדבר לפחות על כריעות ומניה (זה נכון גם לדף שנקרא "שפות שאינן כריעות", אגב), נתן לארגן את החומר כך שיהיה יותר קל למצוא אותו ולהבין תוך כדי קריאה מה המטרה, ועוד. הצעתי היא כזו:
# להחליף את שם החלק
# לחלק אותו כך:
## הדף הראשון (זה) ישונה לדף הסברים והגדרות על מחלקות הכריעות השונות (R, RE, coRE) + יכיל מבט-על על החלק.
## הדף השני (זה שנקרא כעת "שפות שאינן כריעות") ישונה לשם "ייחסים בין מחלקות השפות", וחלק מהחומר בדף זה יעבור אליו.
## דף הרדוקציה יעבור בסדרו אחריו, וחלק מהחומר בדף "שפות שאינן קריאות" יעבור אליו.
## שני הדפים האחרונים (רייס + אי-הפרדתיות) יישארו כפי שהם.
לדעתי יש לכך מספר יתרונות:
[[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 14:31, 1 בפברואר 2012 (IST)▼
# מי שילמד את החומר מספר זה, יראה תמונת עולם מלמעלה למטה: קודם מהן המחלקות, לאחר מכן מה תמונת העולם שלהן, לאחר מכן טכניקה רחבה יחסית של הוכחות אי-כריעות, לאחר מכן טכניקה עדיין רחבה, אך פחות, להוכחת אי-כריעות ואי-מניה, ולבסוף אי-הפרדתיות.
# אפשרות למצוא את החומר בצורה נכונה ועקבית יותר:
## מי שבעל ידע כלשהו בחישוביות שיסתכל כעת על הספר, ייטה לדלג על החלק המדבר על "כריעות" כשהוא מחפש את coRE, לדוגמה.
## מי שיחפש ייחסים בין RE, coRE, וR, ידע איפה למצוא את הדברים: היום הם מפוזרים בשני דפים שונים.
| |||