کتاب صوتی گدل و بنیان‌های ریاضیات: کتاب جامع منطق و ناکمالی

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره گدل و بنیان‌های ریاضیات: دوره جامع منطق و ناکمالی

موضوع کلی: بنیان‌های ریاضیات و منطق

موضوع میانی: منطق ریاضی و ناکمالی گدل

📋 سرفصل‌های دوره

• 1. معرفی بنیان‌های ریاضیات و نقش منطق در آن
• 2. بحران بنیان‌های ریاضیات در اواخر قرن نوزدهم
• 3. مفاهیم پایه منطق کلاسیک
• 4. منطق پیشنهاداتی و قاعده‌های استنتاج
• 5. منطق مفرد اولی (کوانتورهای عامة و وجودی)
• 6. ساختارهای رسمی و زبان‌های رسمی
• 7. انظمة اقدمانی و axioms
• 8. نظام پیانو و اعداد طبیعی
• 9. تعریف استنتاج رسمی و Formal Proof
• 10. صحت، کاملیت و کنسنتنسی در سیستم‌های رسمی
• 11. تئوری کاملیت گدل
• 12. کدگذاری گدل (Gödel numbering)
• 13. لمبقای قطر و 자가 ارجاع
• 14. تئوری ناکمالی اول گدل
• 15. تئوری ناکمالی دوم گدل
• 16. ناکمالی در حسابی پیانو
• 17. تفاوت کاملیت و ناکمالی
• 18. تئوری صداقت Tarski
• 19. تئوری ناکمالی Tarski
• 20. محاسبه‌پذیری و فرض چرچ-تورینگ
• 21. مسئله توقف و محدودیت‌های الگوریتمی
• 22. پارادوکس راسل و نظریه مجموعه‌ها
• 23. آקסيوم‌های Zermelo-Fraenkel (ZF)
• 24. آקסيوم انتخاب و نتایج آن
• 25. اعداد ترتیبی و کاردینال
• 26. توابع ر커سیو اولیه
• 27. توابع ر커سیو عمومی
• 28. حساب ر커سیو
• 29. مقدمات نظریه مدل
• 30. ساختارهای مدل و تفسیر
• 31. تئوری Löwenheim-Skolem
• 32. نظریه الإثبات و Formal Systems
• 33. ثبات حسابی پیانو (Gentzen)
• 34. برنامه هیلبرت و چالش‌های بنیان‌سازی
• 35. ریاضیات intuitionist (Brouwer)
• 36. ساختارسازی (Constructivism)
• 37. منطق intuisionistic
• 38. دسته‌بندی نظام‌های رسمی
• 39. نظام‌های کامل، ناکامل و متناقض
• 40. رباط منطق با ریاضیات کاربردی
• 41. گدل و علوم کامپیوتر
• 42. ناکمالی و پیچیدگی محاسباتی
• 43. بنیان‌های جدید: نظریه دسته‌ها
• 44. بنیان‌های جدید: هوتوتایپ (HoTT)
• 45. بنیان‌های univalent
• 46. تطبيقات ناکمالی در رمزنگاری
• 47. تطبيقات منطق در هوش مصنوعی
• 48. نقد و ارزیابی تئوری‌های گدل
• 49. چالش‌های باز در بنیان‌های ریاضیات
• 50. آینده بنیان‌سازی ریاضیات و منطق