806

آقاي پيام سراجي: نتايجي جديد پيرامون قضيه هاي ناتماميت گودل 30/3/1392

كتابخانه خانه رياضيات اصفهان

در اين جلسه بعد از مروري بر مقدمات قضيه هاي ناتماميت ، برخي نتايج جديد در زمينه اين نظريه ها معرفي مي شوند، از جمله اثبات جديدي براي قضيه " گودل-راسر" و اثبات محاسبه ناپذير بودن گزاره تصميم ناپذير در اثبات هايي كه " گ.چايتين" و "ج. بولوس" براي قضيه اول ناتماميت ارائه داده اند

ل800