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

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

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