שיחה:תורת החישוביות/כריעות שפות: הבדלים בין גרסאות בדף

## דף הרדוקציה יעבור בסדרו אחריו, וחלק מהחומר בדף "שפות שאינן כריעות" יעבור אליו.

## שני הדפים האחרונים (רייס + אי-הפרדתיות) יישארו כפי שהם.

לדעתי יש לכך מספר יתרונות:

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

## מי שבעל ידע כלשהו בחישוביות שיסתכל כעת על הספר, ייטה לדלג על החלק המדבר על "כריעות" כשהוא מחפש את coRE, לדוגמה.

## מי שיחפש ייחסים בין RE, coRE, וR, ידע איפה למצוא את הדברים: היום הם מפוזרים בשני דפים שונים.

[[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]] 14:40, 1 בפברואר 2012 (IST)