21 בספטמבר 2014
28 ביולי 2013
19 באוגוסט 2012
18 במרץ 2012
←הוכחת משפט גדל בעזרת משפט הרקורסיה: הגהה
מ+104
←הוכחת משפט גדל בעזרת משפט הרקורסיה
+10
←מערכת הוכחה
+38
←מערכת הוכחה
+899
←הוכחת משפט גדל בעזרת משפט הרקורסיה
+2,053
←משפט האי־שלמות של גדל
+1,012
←משפט האי־שלמות של גדל
+2,849
11 בפברואר 2012
←משפט הרקורסיה: בדוגמאות הקידוד מופיע לפני הקלט
מ−2
←מכונת־טיורניג מייצרת עצמה: תיקון
מ+2
הפסקת שימוש בתבנית הפניה לויקיפדיה
מ+46
10 בפברואר 2012
8 בפברואר 2012
31 בינואר 2012
29 בינואר 2012
20 בינואר 2012
18 בינואר 2012
17 בינואר 2012
16 בינואר 2012
←מכונת־טיורניג מייצרת עצמה: הגהה, עיצוב
מ+473
←תוכניות המייצרות את עצמן: הללויה.
+6,660
←תוכניות המייצרות את עצמן
מ−1