משפט האי-שלמות של צ'ייטין: היסטוריית גרסאות

27 במרץ 2024

• נוכחיתקודמת 11:5211:52, 27 במרץ 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 8,200 בתים +100‏ אין תקציר עריכה ביטול

1 באפריל 2021

• נוכחיתקודמת 00:0800:08, 1 באפריל 2021‏ ינון גלעדי שיחה תרומות‏ 8,100 בתים +50‏ ←‏קישורים חיצוניים ביטול

18 בדצמבר 2020

• נוכחיתקודמת 19:4019:40, 18 בדצמבר 2020‏ 185.3.145.213 שיחה‏ 8,050 בתים +2‏ ←‏נוסח פורמלי: תקלדה ביטול תגית: עריכה חזותית

11 ביוני 2020

• נוכחיתקודמת 07:5707:57, 11 ביוני 2020‏ InternetArchiveBot שיחה תרומות‏ 8,048 בתים +43‏ הצלת 1 מקורות והוספת 0 לארכיון.) #IABot (v2.0.1 ביטול

1 ביולי 2018

• נוכחיתקודמת 08:0708:07, 1 ביולי 2018‏ Matanyabot שיחה תרומות‏ מ 8,005 בתים −2‏ בוט החלפות: \1ספציפי\2 ביטול

15 במרץ 2018

• נוכחיתקודמת 00:5300:53, 15 במרץ 2018‏ Kovetzbot שיחה תרומות‏ מ 8,007 בתים +3‏ replaced: למרות ש ← אף על פי ש באמצעות AWB ביטול

30 בינואר 2016

• נוכחיתקודמת 00:1800:18, 30 בינואר 2016‏ אמא של גולן שיחה תרומות‏ מ 8,004 בתים +11‏ ←‏נוסח פורמלי: קישורים פנימיים, תיקון קישור ביטול

1 בספטמבר 2014

• נוכחיתקודמת 19:5519:55, 1 בספטמבר 2014‏ דניאל ב. שיחה תרומות‏ מ 7,993 בתים −15‏ ←‏נוסח פורמלי ביטול

9 באפריל 2013

• נוכחיתקודמת 20:5620:56, 9 באפריל 2013‏ EranBot שיחה תרומות‏ מ 8,008 בתים −7‏ בוט: החלפת טקסט אוטומטית (-(\.(pdf|PDF).*?)\{\{PDF\}\} +\1) ביטול

8 באפריל 2013

• נוכחיתקודמת 00:2700:27, 8 באפריל 2013‏ EranBot שיחה תרומות‏ מ 8,015 בתים −8‏ בוט: החלפת טקסט אוטומטית (-(\.pdf .*?])\s*\{\{PDF\}\} +\1) ביטול

8 באוקטובר 2012

• נוכחיתקודמת 13:3413:34, 8 באוקטובר 2012‏ EranBot שיחה תרומות‏ מ 8,023 בתים +4‏ בוט החלפות: הייתה ביטול

29 בינואר 2012

• נוכחיתקודמת 04:0004:00, 29 בינואר 2012‏ Gran שיחה תרומות‏ מ 8,019 בתים 0‏ ←‏קישורים חיצוניים ביטול
• נוכחיתקודמת 04:0004:00, 29 בינואר 2012‏ Gran שיחה תרומות‏ מ 8,019 בתים 0‏ ←‏מסקנות ביטול

21 בינואר 2012

• נוכחיתקודמת 11:5111:51, 21 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 8,019 בתים +12‏ ←‏מסקנות ביטול
• נוכחיתקודמת 03:1803:18, 21 בינואר 2012‏ ירון שיחה תרומות‏ מ 8,007 בתים 0‏ אין תקציר עריכה ביטול

20 בינואר 2012

• נוכחיתקודמת 16:5916:59, 20 בינואר 2012‏ EmausBot שיחה תרומות‏ מ 8,007 בתים +22‏ r2.7.2+) (בוט משנה: en:Kolmogorov complexity#Chaitin's incompleteness theorem ביטול
• נוכחיתקודמת 13:1913:19, 20 בינואר 2012‏ דניאל ב. שיחה תרומות‏ מ 7,985 בתים +32‏ הוספת קטגוריה:הוכחות באמצעות HotCat ביטול
• נוכחיתקודמת 13:0813:08, 20 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 7,953 בתים +181‏ +קטגוריה:משפטים בלוגיקה,+קטגוריה:משפטים במדעי המחשב,+קטגוריה:תורת האינפורמציה באמצעות HotCat ביטול
• נוכחיתקודמת 12:5712:57, 20 בינואר 2012‏ דניאל ב. שיחה תרומות‏ מ 7,772 בתים 0‏ משתמש:דניאל ב./צ'ייטין הועבר למשפט האי-שלמות של צ'ייטין: בשל ביטול
• נוכחיתקודמת 12:5512:55, 20 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 7,772 בתים +442‏ אין תקציר עריכה ביטול

15 בינואר 2012

• נוכחיתקודמת 02:5702:57, 15 בינואר 2012‏ דניאל ב. שיחה תרומות‏ מ 7,330 בתים +597‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 01:1701:17, 15 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 6,733 בתים +907‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 00:2400:24, 15 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 5,826 בתים +2,357‏ אין תקציר עריכה ביטול

14 בינואר 2012

• נוכחיתקודמת 23:3223:32, 14 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 3,469 בתים +1,743‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 22:5222:52, 14 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 1,726 בתים +1,726‏ יצירת דף עם התוכן "'''משפט האי-שלמות של צ'ייטין''' הוא משפט (מתמטיקה) הקובע שבכל תורה (לוגיקה מתמטית) [[עקב..."