شماره رکورد
806
عنوان
سمينارهاي هفتگي خانه رياضيات اصفهان: آقاي پيام سراجي: نتايجي جديد پيرامون قضيه هاي ناتماميت گودل 30/3/1392
نام نرم افزارها
آقاي پيام سراجي: نتايجي جديد پيرامون قضيه هاي ناتماميت گودل 30/3/1392
وضعيت نشر
كتابخانه خانه رياضيات اصفهان
موضوع
قضيه هاي ناتماميت گودل
چکيده
در اين جلسه بعد از مروري بر مقدمات قضيه هاي ناتماميت ، برخي نتايج جديد در زمينه اين نظريه ها معرفي مي شوند، از جمله اثبات جديدي براي قضيه " گودل-راسر" و اثبات محاسبه ناپذير بودن گزاره تصميم ناپذير در اثبات هايي كه " گ.چايتين" و "ج. بولوس" براي قضيه اول ناتماميت ارائه داده اند
شماره راهنما
ل800