משפט השלמות של גדל: היסטוריית גרסאות

29 בפברואר 2024

• נוכחיתקודמת 21:4821:48, 29 בפברואר 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 4,705 בתים −48‏ הגהה, תיקון קישורים ביטול

27 בנובמבר 2022

• נוכחיתקודמת 10:2110:21, 27 בנובמבר 2022‏ בר שיחה תרומות‏ מ 4,753 בתים +2‏ clean up, replaced: מניה ← מנייה ביטול תגית: AWB

7 באוקטובר 2022

• נוכחיתקודמת 23:4823:48, 7 באוקטובר 2022‏ בר שיחה תרומות‏ מ 4,751 בתים +4‏ הוספת קישור לבאופן ריק ביטול תגית: הוספת קישורים

8 ביוני 2022

• נוכחיתקודמת 08:5608:56, 8 ביוני 2022‏ KotzBot שיחה תרומות‏ מ 4,747 בתים +27‏ הטמעת תבנית:בקרת זהויות בערכים (תג) ביטול

2 ביוני 2022

• נוכחיתקודמת 15:3115:31, 2 ביוני 2022‏ דגש-בוט שיחה תרומות‏ מ 4,720 בתים +2‏ Cat-a-lot: העברה מקטגוריה:ערכים בהם תבנית בריטניקה אינה מתאימה ל קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה שימוש בCat-a-lot ביטול תגית: Cat-a-lot

12 באפריל 2022

• נוכחיתקודמת 09:1409:14, 12 באפריל 2022‏ KotzBot שיחה תרומות‏ מ 4,718 בתים +87‏ הוספת דפים לקטגוריה:ערכים בהם תבנית בריטניקה אינה מתאימה כדי שלא יטופלו, אם בראש הערך בבריטניקה קיים המשפט "Learn about this topic" (תג) ביטול

19 בדצמבר 2020

• נוכחיתקודמת 07:5707:57, 19 בדצמבר 2020‏ KotzBot שיחה תרומות‏ מ 4,631 בתים −23‏ הסרת תבנית:בריטניקה בערכים כאשר היא רק דף הפניה. ראו שיחת תבנית:בריטניקה (תג) ביטול תגית: שחזור ידני

8 באוקטובר 2020

• נוכחיתקודמת 15:1415:14, 8 באוקטובר 2020‏ KotzBot שיחה תרומות‏ מ 4,654 בתים +23‏ הוספת תבנית:בריטניקה בקישורים חיצוניים (תג) ביטול תגית: שוחזרה

29 ביולי 2020

• נוכחיתקודמת 14:4214:42, 29 ביולי 2020‏ Bustan1498 שיחה תרומות‏ 4,631 בתים +104‏ ←‏הוכחת שקילות הניסוחים: סידור ביטול תגית: עריכה חזותית

4 במאי 2019

• נוכחיתקודמת 08:0908:09, 4 במאי 2019‏ KotzBot שיחה תרומות‏ מ 4,527 בתים +53‏ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) ביטול

11 בפברואר 2019

• נוכחיתקודמת 02:5402:54, 11 בפברואר 2019‏ אלי גודין שיחה תרומות‏ מ 4,474 בתים −9‏ השחתה ביטול תגיות: טיפול מהיר בהשחתות שחזור
• נוכחיתקודמת 02:5402:54, 11 בפברואר 2019‏ 46.116.81.106 שיחה‏ 4,483 בתים +9‏ אין תקציר עריכה ביטול

27 במאי 2014

• נוכחיתקודמת 00:4200:42, 27 במאי 2014‏ Matanyabot שיחה תרומות‏ מ 4,474 בתים −8‏ בוט: החלפת טקסט אוטומטית (-{{נ}} +) ביטול

27 בפברואר 2013

• נוכחיתקודמת 08:4208:42, 27 בפברואר 2013‏ Addbot שיחה תרומות‏ מ 4,482 בתים −648‏ בוט: מעביר קישורי בינויקי לויקינתונים - d:q902052 ביטול

11 באוגוסט 2011

• נוכחיתקודמת 11:1411:14, 11 באוגוסט 2011‏ דניאל ב. שיחה תרומות‏ 5,130 בתים −29‏ −קטגוריה:לוגיקה מתמטית; ±קטגוריה:משפטים מתמטיים←קטגוריה:משפטים בלוגיקה using HotCat ביטול

11 ביולי 2011

• נוכחיתקודמת 11:0111:01, 11 ביולי 2011‏ שדדשכ שיחה תרומות‏ מ 5,159 בתים +37‏ ←‏הוכחת שקילות הניסוחים: קישורים פנימיים ביטול

21 בדצמבר 2010

• נוכחיתקודמת 16:0916:09, 21 בדצמבר 2010‏ WikitanvirBot שיחה תרומות‏ מ 5,122 בתים +34‏ r2.5.2) (בוט מוסיף: ko:괴델의 완전성 정리 ביטול

28 באוגוסט 2010

• נוכחיתקודמת 01:2601:26, 28 באוגוסט 2010‏ Eddau שיחה תרומות‏ 5,088 בתים −7‏ ברור שהוא עשה את הדוקטורט של עצמו ולא את הדוקטורטים של סובביו. הוא אדם ישר. ביטול

6 באוגוסט 2010

• נוכחיתקודמת 10:5710:57, 6 באוגוסט 2010‏ Yonidebot שיחה תרומות‏ מ 5,095 בתים +4‏ בוט החלפות: תאוריה; על ידי ; ביטול

1 באוגוסט 2010

• נוכחיתקודמת 21:4821:48, 1 באוגוסט 2010‏ Johnnyaug שיחה תרומות‏ מ 5,091 בתים −11‏ ←‏הוכחת שקילות הניסוחים ביטול

31 ביולי 2010

• נוכחיתקודמת 12:3712:37, 31 ביולי 2010‏ Luckas-bot שיחה תרומות‏ מ 5,102 בתים +40‏ בוט מוסיף: nl:Volledigheidsstelling van Gödel ביטול

2 ביולי 2010

• נוכחיתקודמת 15:0815:08, 2 ביולי 2010‏ Johnnyaug שיחה תרומות‏ 5,062 בתים +71‏ אין תקציר עריכה ביטול

1 ביולי 2010

• נוכחיתקודמת 03:0703:07, 1 ביולי 2010‏ Johnnyaug שיחה תרומות‏ 4,991 בתים +2,199‏ אין תקציר עריכה ביטול

6 בינואר 2010

• נוכחיתקודמת 12:0512:05, 6 בינואר 2010‏ עוזי ו. שיחה תרומות‏ 2,792 בתים −187‏ ←‏ניסוח פורמלי: שגוי, ולא יותר "פורמלי" מן הניסוח בפסקה השניה ביטול
• נוכחיתקודמת 03:5803:58, 6 בינואר 2010‏ Johnnyaug שיחה תרומות‏ 2,979 בתים +188‏ אין תקציר עריכה ביטול

27 ביולי 2009

• נוכחיתקודמת 10:1010:10, 27 ביולי 2009‏ TXiKiBoT שיחה תרומות‏ מ 2,791 בתים +40‏ בוט מוסיף: it:Teorema di completezza di Gödel ביטול

23 ביולי 2009

• נוכחיתקודמת 10:4610:46, 23 ביולי 2009‏ Alonr שיחה תרומות‏ 2,751 בתים −13‏ שחזור מעריכה של 62.0.34.136 לעריכה האחרונה של עוזי ו. ביטול
• נוכחיתקודמת 10:3610:36, 23 ביולי 2009‏ 62.0.34.136 שיחה‏ 2,764 בתים +13‏ אין תקציר עריכה ביטול

28 בפברואר 2009

• נוכחיתקודמת 20:1520:15, 28 בפברואר 2009‏ עוזי ו. שיחה תרומות‏ 2,751 בתים −51‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 19:5519:55, 28 בפברואר 2009‏ Akhazin שיחה תרומות‏ 2,802 בתים +65‏ אין תקציר עריכה ביטול

18 בדצמבר 2008

• נוכחיתקודמת 02:5102:51, 18 בדצמבר 2008‏ עוזי ו. שיחה תרומות‏ 2,737 בתים −1,578‏ רלוונטיות קלושה ביותר ביטול
• נוכחיתקודמת 02:4702:47, 18 בדצמבר 2008‏ 77.127.109.85 שיחה‏ 4,315 בתים +1,578‏ הוספת מידע. (נלקח מידע אישי ומהספר "המשפט האחרון של פרמה") ביטול

25 ביוני 2008

• נוכחיתקודמת 14:5914:59, 25 ביוני 2008‏ נוי שיחה תרומות‏ 2,737 בתים +50‏ אין תקציר עריכה ביטול

17 ביוני 2008

• נוכחיתקודמת 11:1111:11, 17 ביוני 2008‏ Thijs!bot שיחה תרומות‏ מ 2,687 בתים +53‏ בוט מוסיף: ru:Теорема Гёделя о полноте ביטול
• נוכחיתקודמת 05:1805:18, 17 ביוני 2008‏ Thijs!bot שיחה תרומות‏ מ 2,634 בתים +38‏ בוט מוסיף: ja:ゲーデルの完全性定理 ביטול

8 בינואר 2008

• נוכחיתקודמת 14:5914:59, 8 בינואר 2008‏ PixelBot שיחה תרומות‏ מ 2,596 בתים +41‏ בוט מוסיף: es:Teorema de completitud de Gödel ביטול

31 באוקטובר 2007

• נוכחיתקודמת 06:3706:37, 31 באוקטובר 2007‏ דורית שיחה תרומות‏ מ 2,555 בתים +7‏ {{נ}} של עוזי ביטול

3 בספטמבר 2007

• נוכחיתקודמת 15:1615:16, 3 בספטמבר 2007‏ JAnDbot שיחה תרומות‏ מ 2,548 בתים +39‏ רובוט מוסיף: pt:Teorema da completude de Gödel משנה: uk:Теорема Геделя про повноту ביטול

24 ביולי 2007

• נוכחיתקודמת 20:0020:00, 24 ביולי 2007‏ יאיר ח. שיחה תרומות‏ מ 2,509 בתים +35‏ תקלדה וקישור ביטול

26 ביוני 2007

• נוכחיתקודמת 11:0011:00, 26 ביוני 2007‏ Eyal Bairey שיחה תרומות‏ מ 2,474 בתים +7‏ תיקון קל ביטול
• נוכחיתקודמת 10:5810:58, 26 ביוני 2007‏ Eyal Bairey שיחה תרומות‏ מ 2,467 בתים +92‏ הוספת קטגוריה:לוגיקה מתמטית וקטגוריה:משפטים מתמטיים ביטול

4 ביוני 2007

• נוכחיתקודמת 21:0021:00, 4 ביוני 2007‏ Loveless שיחה תרומות‏ מ 2,375 בתים +34‏ רובוט מוסיף: hu:Gödel teljességi tétele ביטול

5 במאי 2007

• נוכחיתקודמת 00:0400:04, 5 במאי 2007‏ Shim'on שיחה תרומות‏ מ 2,341 בתים −1‏ אין תקציר עריכה ביטול

11 בפברואר 2007

• נוכחיתקודמת 01:4501:45, 11 בפברואר 2007‏ Yonidebot שיחה תרומות‏ מ 2,342 בתים 0‏ בוט: תיקון קצרמר ביטול

20 בדצמבר 2006

• נוכחיתקודמת 12:4212:42, 20 בדצמבר 2006‏ JAnDbot שיחה תרומות‏ מ 2,342 בתים +151‏ רובוט מוסיף: cs:Gödelova věta o úplnosti predikátové logiky, sr:Геделова теорема о потпуности, zh:哥德尔完备性定理 ביטול

17 במרץ 2006

• נוכחיתקודמת 12:1712:17, 17 במרץ 2006‏ YurikBot שיחה תרומות‏ מ 2,191 בתים +142‏ robot Adding: de, fr, uk ביטול

2 בינואר 2006

• נוכחיתקודמת 10:3610:36, 2 בינואר 2006‏ עוזי ו. שיחה תרומות‏ 2,049 בתים +2,049‏ אין תקציר עריכה