תורת החישוביות/סיבוכיות קולמוגורוב: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מעבר ממ"ט לתוכניות, הגהה |
מ קישורים פנימיים |
||
שורה 74:
}}
{{הוכחה|1=
(ההוכחה מעט דומה באופייה ל[[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות#אי-כריעות בעיית העצירה|הוכחת אי-כריעות בעיית העצירה]].)
נניח על דרך השלילה שישנה תוכנית
| |||