שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←ארגון מחודש של החלק: הגהה |
|||
שורה 26:
## שני הדפים האחרונים (רייס + אי-הפרדתיות) יישארו כפי שהם.
לדעתי יש לכך מספר יתרונות:
# מי שילמד את החומר מספר זה, יראה תמונת עולם מלמעלה למטה: קודם מהן המחלקות, לאחר מכן מה תמונת העולם שלהן, לאחר מכן טכניקה רחבה יחסית של הוכחות אי-כריעות, לאחר מכן טכניקה עדיין רחבה, אך פחות, להוכחת אי-כריעות ואי-מניה, ולבסוף שאלה מצומצמת ייחסית (אי-הפרדתיות).
# אפשרות למצוא את החומר בצורה נכונה ועקבית יותר:
## מי שבעל ידע כלשהו בחישוביות שיסתכל כעת על הספר, ייטה לדלג על החלק המדבר על "כריעות" כשהוא מחפש את coRE, לדוגמה.
| |||