جستجوي پيشرفته | کتابخانه مجازی الفبا

جستجوي پيشرفته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
مرتب سازی بر اساس و به صورت وتعداد نمایش فرارداده در صفحه باشد جستجو
  • تعداد رکورد ها : 2
م‍ن‍طق‌ ب‍رای‌ ری‍اض‍ی‍دان‍ان‌
نویسنده:
آ.گ‌.ه‍م‍ی‍ل‍ت‍ن‌
نوع منبع :
کتابشناسی(نمایه کتاب) , ترجمه اثر
وضعیت نشر :
مشهد: دان‍ش‍گ‍اه‌ ام‍ام‌ رض‍ا(ع‌),
چکیده :
فهرست مطالب: فصل 1: حساب غیر صوری گزارها فصل 2: حساب صوری گزارها فصل 3: حساب غیر صوری محصولات فصل 4: حساب صوری محصولات فصل 5: دستگاه های ریاضی فصل 6: قضیه نا تمامیت گدل فصل 7: محاسبه پذیری، حل ناپذیری، تصمیم ناپذیری
پیامدهای فلسفی قضایای گودل
نویسنده:
سیدمجید ظهیری
نوع منبع :
مقاله , کتابخانه عمومی
منابع دیجیتالی :
وضعیت نشر :
تهران: دانشگاه امام صادق (ع),
چکیده :
در این مقاله، تاثیرات قضایای ناتمامیت اول و دوم گودل، پس از تبیینی کوتاه، در برخی فلسفه های مضاف، از جمله فلسفه ریاضیات و فلسفه ذهن، و نیز بر علیه مادی گرایی و پوزیتیویسم مورد بررسی و تحلیل قرار گرفته است.تاثیر قضایای گودل در فلسفه ریاضیات، در سه حوزه منطق گرایی، صورت گرایی و سرشت برهان بررسی شده است.در حوزه فلسفه ذهن، به تاثیر قضایای گودل در براهین ضد ماشین انگار اشاره شده است.
صفحات :
از صفحه 117 تا 132
  • تعداد رکورد ها : 2