ارائه دهنده: دکتر پیام سراجی
مدرس دانشگاه فرهنگیان
زمان: 27 اردیبهشت 1403 ساعت 16:30
مکان: آدرس: اصفهان، خیابان آزادگان (سعادت‌آباد)، روبرو مقبره بانو امین، جنب ورزشگاه امین، خانه ریاضیات اصفهان
در این ارائه پس از مروری بر قضیه‌های اول و دوم ناتمامیت گودل و بررسی چند اثبات برای آن‌ها، به بررسی ارتباط‌های مختلف پدیده ناتمامیت با ریاضیات معاصر می‌پردازیم: گزاره‌هایی تصمیم ناپذیر در حساب پئانو و نظریه مجموعه‌ها، اصول کاردینال‌های بزرگ و ریاضیات وارون.
شرکت در سمینار برای عموم آزاد است.
