قضایای ناتمامیت گودل: تاریخچهٔ نسخه‌ها

‏۱۳ اوت ۲۰۲۳

• کنونیقبلی ‏۱۶:۰۳‏۱۳ اوت ۲۰۲۳، ساعت ۱۶:۰۳‏ Rulebased بحث مشارکت‌ها‏ ۱۰٬۲۲۹ بایت +۷۵‏ ویژگی تصویرهای پیشنهادی: ۱ تصویر افزوده شد. خنثی‌سازی برچسب‌ها: ویرایشگر دیداری وظیفه تازه‌وارد پیشنهادی: افزودن تصویر

‏۱۶ آوریل ۲۰۲۱

• کنونیقبلی ‏۱۲:۵۵‏۱۶ آوریل ۲۰۲۱، ساعت ۱۲:۵۵‏ 37.255.157.15 بحث‏ ۱۰٬۱۵۴ بایت +۸۶‏ ←‏قضیه اول ناتمامیت گودل خنثی‌سازی برچسب: ویرایشگر دیداری

‏۴ فوریهٔ ۲۰۲۱

• کنونیقبلی ‏۲۳:۱۹‏۴ فوریهٔ ۲۰۲۱، ساعت ۲۳:۱۹‏ Fatranslator بحث مشارکت‌ها‏ جز ۱۰٬۰۶۸ بایت +۱۸‏ ربات:افزودن الگو ناوباکس {{فرامنطق}}+ خنثی‌سازی

‏۹ اوت ۲۰۲۰

• کنونیقبلی ‏۰۸:۰۸‏۹ اوت ۲۰۲۰، ساعت ۰۸:۰۸‏ Wikimostafa بحث مشارکت‌ها‏ جز ۱۰٬۰۵۰ بایت +۲۷۳‏ ویرایش 5.239.109.160 (بحث) به آخرین تغییری که Rezabot انجام داده بود واگردانده شد خنثی‌سازی برچسب: واگردانی

‏۲ اوت ۲۰۲۰

• کنونیقبلی ‏۱۶:۴۴‏۲ اوت ۲۰۲۰، ساعت ۱۶:۴۴‏ 5.239.109.160 بحث‏ ۹٬۷۷۷ بایت −۲۷۳‏ ←‏قضایای ناتمامیت گودل: اشتباهات اصلاح شد خنثی‌سازی برچسب‌ها: ویرایش همراه ویرایش از برنامهٔ همراه ویرایش با برنامهٔ اندروید

‏۱۸ نوامبر ۲۰۱۹

• کنونیقبلی ‏۰۰:۱۱‏۱۸ نوامبر ۲۰۱۹، ساعت ۰۰:۱۱‏ Rezabot بحث مشارکت‌ها‏ جز ۱۰٬۰۵۰ بایت +۳۷‏ ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:قضایای بنیان‌های ریاضیات خنثی‌سازی

‏۲۶ اکتبر ۲۰۱۹

• کنونیقبلی ‏۱۵:۴۰‏۲۶ اکتبر ۲۰۱۹، ساعت ۱۵:۴۰‏ AmirhoseinYazdani بحث مشارکت‌ها‏ ۱۰٬۰۱۳ بایت +۴‏ ←‏قضیه اول ناتمامیت گودل خنثی‌سازی برچسب: ویرایشگر دیداری

‏۸ سپتامبر ۲۰۱۹

• کنونیقبلی ‏۰۳:۲۵‏۸ سپتامبر ۲۰۱۹، ساعت ۰۳:۲۵‏ Rezabot بحث مشارکت‌ها‏ جز ۱۰٬۰۰۹ بایت −۲‏ برداشتن ویکی‌سازی ZFC > تغییرمسیر نامشابه است (۱۰.۱ core) 0.137931034483 خنثی‌سازی

‏۵ دسامبر ۲۰۱۸

• کنونیقبلی ‏۰۷:۱۸‏۵ دسامبر ۲۰۱۸، ساعت ۰۷:۱۸‏ Wikimostafa بحث مشارکت‌ها‏ جز ۱۰٬۰۱۱ بایت +۴‏ ابزار پیوندساز: افزودن پیوند توابع بازگشتی به متن خنثی‌سازی

‏۱۱ نوامبر ۲۰۱۸

• کنونیقبلی ‏۰۱:۲۴‏۱۱ نوامبر ۲۰۱۸، ساعت ۰۱:۲۴‏ Wikimostafa بحث مشارکت‌ها‏ جز ۱۰٬۰۰۷ بایت −۵‏ بدون خلاصۀ ویرایش خنثی‌سازی

‏۱۷ آوریل ۲۰۱۸

• کنونیقبلی ‏۲۰:۵۷‏۱۷ آوریل ۲۰۱۸، ساعت ۲۰:۵۷‏ سرژیک39 بحث مشارکت‌ها‏ جز ۱۰٬۰۱۲ بایت −۱۰‏ ←‏ویرایش به وسیلهٔ [[وپ:ابرابزار|ابرابزار]] خنثی‌سازی

‏۲ آوریل ۲۰۱۸

• کنونیقبلی ‏۲۳:۳۶‏۲ آوریل ۲۰۱۸، ساعت ۲۳:۳۶‏ FreshmanBot بحث مشارکت‌ها‏ جز ۱۰٬۰۲۲ بایت +۲‏ ←‏مثال‌هایی از گزاره‌های تصمیم ناپذیر: اصلاح فاصله مجازی + اصلاح نویسه با استفاده از AWB خنثی‌سازی

‏۲۵ فوریهٔ ۲۰۱۸

• کنونیقبلی ‏۱۴:۵۸‏۲۵ فوریهٔ ۲۰۱۸، ساعت ۱۴:۵۸‏ FreshmanBot بحث مشارکت‌ها‏ جز ۱۰٬۰۲۰ بایت +۴‏ اصلاح فاصله مجازی + اصلاح نویسه با استفاده از AWB خنثی‌سازی

‏۲۵ سپتامبر ۲۰۱۷

• کنونیقبلی ‏۰۹:۰۷‏۲۵ سپتامبر ۲۰۱۷، ساعت ۰۹:۰۷‏ Yamaha5Bot بحث مشارکت‌ها‏ ۱۰٬۰۱۶ بایت −۲‏ تمیزکاری با ویرایشگر خودکار فارسی خنثی‌سازی

‏۱۸ ژانویهٔ ۲۰۱۷

• کنونیقبلی ‏۱۹:۰۲‏۱۸ ژانویهٔ ۲۰۱۷، ساعت ۱۹:۰۲‏ Yamaha5 بحث مشارکت‌ها‏ جز ۱۰٬۰۱۸ بایت +۶‏ ←‏جایگزینی با [[وپ:اشتباه|اشتباه‌یاب]]: اثباتپذیرند⟸اثبات‌پذیرند، تاپذیر⟸ناپذیر، ، ناپذر⟸ناپذیر، ، ، انکار پذری⟸انکارپذیری، خنثی‌سازی

‏۲۲ نوامبر ۲۰۱۶

• کنونیقبلی ‏۲۲:۴۸‏۲۲ نوامبر ۲۰۱۶، ساعت ۲۲:۴۸‏ Fatranslator بحث مشارکت‌ها‏ جز ۱۰٬۰۱۲ بایت +۳۶‏ افزودن ناوباکس> {{دانش محاسبه‌پذیر}} (درخواست کاربر:Kian)+ خنثی‌سازی

‏۳۰ اکتبر ۲۰۱۶

• کنونیقبلی ‏۱۵:۳۹‏۳۰ اکتبر ۲۰۱۶، ساعت ۱۵:۳۹‏ ArianBot بحث مشارکت‌ها‏ جز ۹٬۹۷۶ بایت +۲۵‏ v1.41 - اصلاح شده توسط ابزار تمیزکاری> (مقاله‌های که {{پانویس}} ندارند - استفاده از کد اچ‌تی‌ام‌ال به جای * در ویک... خنثی‌سازی برچسب: WPCleaner

‏۲۵ سپتامبر ۲۰۱۶

• کنونیقبلی ‏۱۴:۱۶‏۲۵ سپتامبر ۲۰۱۶، ساعت ۱۴:۱۶‏ 188.210.235.188 بحث‏ ۹٬۹۵۱ بایت −۷۵۳‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب: ویرایشگر دیداری

‏۸ اوت ۲۰۱۶

• کنونیقبلی ‏۰۱:۱۸‏۸ اوت ۲۰۱۶، ساعت ۰۱:۱۸‏ Rezabot بحث مشارکت‌ها‏ جز ۱۰٬۷۰۴ بایت −۱۱‏ ربات:زیباسازی+شابک+تمیز (۱۰.۵) خنثی‌سازی

‏۲۵ ژوئیهٔ ۲۰۱۶

• کنونیقبلی ‏۱۰:۵۲‏۲۵ ژوئیهٔ ۲۰۱۶، ساعت ۱۰:۵۲‏ YamahaBot بحث مشارکت‌ها‏ جز ۱۰٬۷۱۵ بایت −۲‏ ←‏قضیه اول ناتمامیت گودل: اصلاح متن با استفاده از AWB خنثی‌سازی

‏۱۰ سپتامبر ۲۰۱۵

• کنونیقبلی ‏۱۴:۱۸‏۱۰ سپتامبر ۲۰۱۵، ساعت ۱۴:۱۸‏ Aaa hhh17 بحث مشارکت‌ها‏ جز ۱۰٬۷۱۷ بایت −۱‏ ویرایش و تصحیح (جزئی) خنثی‌سازی

‏۸ مهٔ ۲۰۱۵

• کنونیقبلی ‏۱۷:۳۴‏۸ مهٔ ۲۰۱۵، ساعت ۱۷:۳۴‏ 188.210.205.93 بحث‏ ۱۰٬۷۱۸ بایت +۲‏ ←‏قضیه اول ناتمامیت گودل خنثی‌سازی برچسب: نیازمند بازبینی

‏۱۲ فوریهٔ ۲۰۱۵

• کنونیقبلی ‏۲۲:۳۲‏۱۲ فوریهٔ ۲۰۱۵، ساعت ۲۲:۳۲‏ Fatemibot بحث مشارکت‌ها‏ جز ۱۰٬۷۱۶ بایت +۳۸‏ ربات ردهٔ همسنگ (۲۶) +تمیز (۹.۲): + رده:آثار کورت گودل خنثی‌سازی

‏۳۰ دسامبر ۲۰۱۴

• کنونیقبلی ‏۰۸:۰۷‏۳۰ دسامبر ۲۰۱۴، ساعت ۰۸:۰۷‏ Fatemibot بحث مشارکت‌ها‏ جز ۱۰٬۶۷۸ بایت +۳۷‏ ربات:افزودن الگو ناوباکس {{دانش محاسبه‌پذیر}}+تمیز (۹.۲) خنثی‌سازی
• کنونیقبلی ‏۰۷:۴۳‏۳۰ دسامبر ۲۰۱۴، ساعت ۰۷:۴۳‏ Fatemi بحث مشارکت‌ها‏ ۱۰٬۶۴۱ بایت −۷۶‏ -رده:نظریه برهان‌ها، -رده:نظریه مدل‌ها (هات‌کت) خنثی‌سازی

‏۸ اوت ۲۰۱۴

• کنونیقبلی ‏۱۰:۵۱‏۸ اوت ۲۰۱۴، ساعت ۱۰:۵۱‏ Fatemibot بحث مشارکت‌ها‏ جز ۱۰٬۷۱۷ بایت −۴۵‏ ربات:افزودن الگو ناوباکس {{منطق}}+نشانی+مرتب (۸.۸) خنثی‌سازی

‏۹ دسامبر ۲۰۱۳

• کنونیقبلی ‏۱۷:۴۷‏۹ دسامبر ۲۰۱۳، ساعت ۱۷:۴۷‏ Hatam.moallem بحث مشارکت‌ها‏ ۱۰٬۷۶۲ بایت −۱۸۴‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۶:۲۱‏۹ دسامبر ۲۰۱۳، ساعت ۱۶:۲۱‏ Hatam.moallem بحث مشارکت‌ها‏ ۱۰٬۹۴۶ بایت +۱۶۳‏ ←‏قضیه اول ناتمامیت گودل خنثی‌سازی
• کنونیقبلی ‏۱۵:۲۴‏۹ دسامبر ۲۰۱۳، ساعت ۱۵:۲۴‏ Hatam.moallem بحث مشارکت‌ها‏ ۱۰٬۷۸۳ بایت +۳‏ ←‏منابع خنثی‌سازی
• کنونیقبلی ‏۱۵:۲۳‏۹ دسامبر ۲۰۱۳، ساعت ۱۵:۲۳‏ Hatam.moallem بحث مشارکت‌ها‏ ۱۰٬۷۸۰ بایت +۹۶‏ ←‏منابع خنثی‌سازی

‏۱۵ مهٔ ۲۰۱۳

• کنونیقبلی ‏۱۸:۱۴‏۱۵ مهٔ ۲۰۱۳، ساعت ۱۸:۱۴‏ Rezabot بحث مشارکت‌ها‏ جز ۱۰٬۶۸۴ بایت ۰‏ ربات: تغییر ردهٔ تغییرمسیرداده‌شدهٔ شناخت‌شناسی به معرفت‌شناسی خنثی‌سازی

‏۸ مارس ۲۰۱۳

• کنونیقبلی ‏۰۹:۱۰‏۸ مارس ۲۰۱۳، ساعت ۰۹:۱۰‏ Rezabot بحث مشارکت‌ها‏ جز ۱۰٬۶۸۴ بایت −۱٬۶۶۷‏ ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۳۷ میان‌ویکی خنثی‌سازی

‏۱۰ ژانویهٔ ۲۰۱۳

• کنونیقبلی ‏۰۷:۵۶‏۱۰ ژانویهٔ ۲۰۱۳، ساعت ۰۷:۵۶‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۳۵۱ بایت +۲‏ r2.7.2+) (ربات: تغییر sv:Gödels ofullständighetssats به sv:Gödels ofullständighetssatser خنثی‌سازی

‏۶ دسامبر ۲۰۱۲

• کنونیقبلی ‏۱۴:۵۹‏۶ دسامبر ۲۰۱۲، ساعت ۱۴:۵۹‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۳۴۹ بایت +۴۱‏ r2.7.3) (ربات: افزودن et:Gödeli mittetäielikkuse teoreem خنثی‌سازی

‏۵ اکتبر ۲۰۱۲

• کنونیقبلی ‏۰۸:۰۶‏۵ اکتبر ۲۰۱۲، ساعت ۰۸:۰۶‏ YasBot بحث مشارکت‌ها‏ جز ۱۲٬۳۰۸ بایت +۷۶‏ ربات ردهٔ همسنگ (۲۲) +مرتب(۲.۷): + رده:نظریه مدل+رده:نظریه برهان خنثی‌سازی

‏۲۰ سپتامبر ۲۰۱۲

• کنونیقبلی ‏۲۱:۳۳‏۲۰ سپتامبر ۲۰۱۲، ساعت ۲۱:۳۳‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۲۳۲ بایت +۸‏ r2.7.2+) (ربات: اصلاح no:Gödels ufullstendighetsteoremer خنثی‌سازی
• کنونیقبلی ‏۱۱:۱۶‏۲۰ سپتامبر ۲۰۱۲، ساعت ۱۱:۱۶‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۴ بایت ۰‏ r2.7.2+) (ربات: اصلاح el:Θεωρήματα μη πληρότητας του Γκέντελ خنثی‌سازی

‏۱۰ ژوئن ۲۰۱۲

• کنونیقبلی ‏۰۰:۴۹‏۱۰ ژوئن ۲۰۱۲، ساعت ۰۰:۴۹‏ Xqbot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۴ بایت +۲‏ r2.7.3) (ربات: اصلاح ar:مبرهنات عدم الاكتمال لغودل خنثی‌سازی

‏۴ ژوئن ۲۰۱۲

• کنونیقبلی ‏۲۲:۵۴‏۴ ژوئن ۲۰۱۲، ساعت ۲۲:۵۴‏ Rezabot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۲ بایت +۱۲٬۱۶۷‏ ربات: واگردانی به نسخه درست؛برداشتن الگوی نامزد ادغام خنثی‌سازی
• کنونیقبلی ‏۲۲:۵۳‏۴ ژوئن ۲۰۱۲، ساعت ۲۲:۵۳‏ Rezabot بحث مشارکت‌ها‏ جز ۵۵ بایت ۰‏ Rezabot صفحهٔ قضایای عدم تمامیت گدل را به قضایای ناتمامیت گودل منتقل کرد: ربات: انتقال بر اساس درخواستMSBOTدر [[ویکی‌پدیا:تابلوی اعلانات مدی... خنثی‌سازی
• کنونیقبلی ‏۲۰:۳۸‏۴ ژوئن ۲۰۱۲، ساعت ۲۰:۳۸‏ MSBOT بحث مشارکت‌ها‏ ۵۵ بایت −۱٬۲۸۲‏ برچسب ادغام تاریخچه *** متن جایگزین شد *** خنثی‌سازی

‏۲۹ مهٔ ۲۰۱۲

• کنونیقبلی ‏۰۰:۱۳‏۲۹ مهٔ ۲۰۱۲، ساعت ۰۰:۱۳‏ Dexbot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۲ بایت ۰‏ ربات: مرتب‌سازی رده‌ها؛ زیباسازی خنثی‌سازی

‏۲۶ مهٔ ۲۰۱۲

• کنونیقبلی ‏۰۴:۲۱‏۲۶ مهٔ ۲۰۱۲، ساعت ۰۴:۲۱‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۲ بایت +۱‏ r2.7.3) (ربات: اصلاح pt:Teoremas da incompletude de Gödel خنثی‌سازی

‏۲۵ ژانویهٔ ۲۰۱۲

• کنونیقبلی ‏۱۶:۱۰‏۲۵ ژانویهٔ ۲۰۱۲، ساعت ۱۶:۱۰‏ Minsbot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۱ بایت ۰‏ r2.7.2) (ربات اصلاح: he:משפטי האי-שלמות של גדל خنثی‌سازی

‏۴ نوامبر ۲۰۱۱

• کنونیقبلی ‏۰۹:۳۰‏۴ نوامبر ۲۰۱۱، ساعت ۰۹:۳۰‏ EmausBot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۱ بایت +۱‏ r2.6.4) (ربات اصلاح: fr:Théorèmes d'incomplétude de Gödel خنثی‌سازی

‏۱۳ سپتامبر ۲۰۱۱

• کنونیقبلی ‏۰۴:۴۵‏۱۳ سپتامبر ۲۰۱۱، ساعت ۰۴:۴۵‏ LaaknorBot بحث مشارکت‌ها‏ جز ۱۲٬۲۲۰ بایت +۳۲‏ ربات افزودن: nn:Ufullstendigheitsteorema خنثی‌سازی

‏۲۶ ژوئیهٔ ۲۰۱۱

• کنونیقبلی ‏۱۹:۵۰‏۲۶ ژوئیهٔ ۲۰۱۱، ساعت ۱۹:۵۰‏ همنشین بهار بحث مشارکت‌ها‏ ۱۲٬۱۸۸ بایت ۰‏ ←‏نظریه‌های همه چیز در فیزیک خنثی‌سازی

‏۱۴ ژوئیهٔ ۲۰۱۱

• کنونیقبلی ‏۰۰:۳۵‏۱۴ ژوئیهٔ ۲۰۱۱، ساعت ۰۰:۳۵‏ Hooshmand.hasannia بحث مشارکت‌ها‏ جز ۱۲٬۱۸۸ بایت +۵‏ ←‏نظریه‌های همه چیز در فیزیک خنثی‌سازی
• کنونیقبلی ‏۰۰:۳۳‏۱۴ ژوئیهٔ ۲۰۱۱، ساعت ۰۰:۳۳‏ Hooshmand.hasannia بحث مشارکت‌ها‏ جز ۱۲٬۱۸۳ بایت ۰‏ ←‏پست مدرنیسم و فلسفهٔ اقلیمی خنثی‌سازی
• کنونیقبلی ‏۰۰:۳۳‏۱۴ ژوئیهٔ ۲۰۱۱، ساعت ۰۰:۳۳‏ Hooshmand.hasannia بحث مشارکت‌ها‏ جز ۱۲٬۱۸۳ بایت −۸‏ ←‏دستگاهها و ذهن‌ها خنثی‌سازی