gdels
S(zp، zp): خوانش های پساساختاری اثبات گودلز
دانلود کتاب S(zp, zp): Post-Structural Readings of Gödels Proof (به فارسی: S(zp، zp): خوانش های پساساختاری اثبات گودلز) نوشته شده توسط «Roy Wagner» اطلاعات کتاب S(zp، zp): خوانش های پساساختاری اثبات گودلز موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Polimetrica, International Scientific Publisher نویسنده: Roy Wagner زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2009 تعداد صفحه: 246 حجم کتاب: 3 مگابایت کد کتاب: 9788876991578 , 9788876991585 توضیحات کتاب S(zp، zp): خوانش های پساساختاری اثبات گودلز S(zp,zp) یک تحلیل ابتکاری از یکی از مشهورترین پایه های منطق مدرن انجام می دهد: اثبات اولین قضیه ناتمامی…
قضایای ناتمامی گودل
دانلود کتاب Gödel’s Incompleteness Theorems (به فارسی: قضایای ناتمامی گودل) نوشته شده توسط «Raymond M. Smullyan» اطلاعات کتاب قضایای ناتمامی گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Oxford University Press نویسنده: Raymond M. Smullyan زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 تعداد صفحه: 156 حجم کتاب: 2 مگابایت کد کتاب: 0195046722 , 9781423735199 , 9780195046724 , 0814758169 توضیحات کتاب قضایای ناتمامی گودل کورت گودل، بزرگترین منطقدان زمان ما، در سال 1931 با قضیه تصمیمناپذیری خود، دنیای ریاضیات را مبهوت کرد، که نشان داد برخی گزارهها در ریاضیات ذاتاً «تصمیمناپذیر» هستند. کار او…
درآمدی بر قضایای گودل
دانلود کتاب An Introduction to Gödel’s Theorems (به فارسی: درآمدی بر قضایای گودل) نوشته شده توسط «Peter Smith» اطلاعات کتاب درآمدی بر قضایای گودل موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Peter Smith زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 375 حجم کتاب: 2 مگابایت کد کتاب: 0521857848 , 9780521857840 , 9780521674539 , 0521674530 نوبت چاپ: 1st توضیحات کتاب درآمدی بر قضایای گودل در سال 1931، کورت گودل جوان، اولین قضیه ناتمامیت خود را منتشر کرد، که به ما می گوید برای هر نظریه حسابی به اندازه…