7 בספטמבר 2018
23 בפברואר 2013
29 בנובמבר 2012
1 באוגוסט 2012
14 בפברואר 2012
12 בפברואר 2012
11 בפברואר 2012
8 בפברואר 2012
31 בינואר 2012
←מניה רקורסיבית של שפות בעלות תכונה: הגהה
מ+9
←מניה רקורסיבית של שפות בעלות תכונה: הגהה
מ−137
←דוגמאות ליישומי משפט רייס: הגהה
מ+170
←משפט רייס: הגהה
מ−14
←משפט רייס: פורמליזם
+872
30 בינואר 2012
29 בינואר 2012
←קישורים חיצוניים: קטגוריה
מ+47
←משפט רייס: התרגיל הוא להוכיח, אבל המשפט שימושי להמשך ועל כן עדיף שיהיה כאן.
+275
←דוגמאות ליישומי משפט רייס: עיצוב
מ+15
←משפט רייס: יש כאן ניואנס, שהמשלים של השפה של S זהה לשפה של המשלים של S
+664
←משפט רייס
+211
28 בינואר 2012
←דוגמאות ליישומי משפט רייס: עריכה
מ←דוגמאות ליישומי משפט רייס: הגהה
מעריכה - הורדת תבנית "בעבודה"
מ−19
←דוגמאות ליישומי משפט רייס: הרחבה
+2,033
←תכונות של שפות: תקלדה
מ+12
←דוגמאות ליישומי משפט רייס: הרחבה
+1,090
←מניה רקורסיבית של שפות בעלות תכונה: קישורים חיצוניים
+241
←דוגמאות ליישומי משפט רייס
מ+19
←מניה רקורסיבית של שפות בעלות תכונה: הרחבה - סיום ההוכחה.
+409
←מניה רקורסיבית של שפות בעלות תכונה: הרחבה
+808
←מניה רקורסיבית של שפות בעלות תכונה: הרחבה
+1,785
←מניה רקורסיבית של שפות בעלות תכונה: קישורים פנימיים, הרחבה
+382
עריכה
מ+18
←מניה רקורסיבית של שפות בעלות תכונה: הרחבה
+686
←מניה רקורסיבית של שפות בעלות תכונה: הרחבה
+780
←משפט רייס: תקלדה
מ+57
←מניה רקורסיבית של שפות בעלות תכונה
+18
←תכונות שפות ומניה רקורסיבית
+12
←תכונות שפות ומניה רקורסיבית
+549
←משפט רייס המורחב
−297
←משפט רייס
−189
←משפט רייס
−38
←משפט רייס: שחזרתי להוכחה המקורית, הקודמת לא היתה ברורה כלל (והיו בה הרבה חלקים לא נחוצים)
−1,010
←דוגמאות ליישומים: נווט תחתון
מ+44
אין תקציר עריכה
+18
←משפט רייס: הרחבה
מ+554
הגהה
מ+118