مشخصات کتاب

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

دسته بندی: منطق
ویرایش:  
نویسندگان: Wilfried Sieg,  Richard Sommer,  Carolyn Talcott  
سری: Lecture Notes in Logic 15 
ISBN (شابک) : 1568811691, 9781568811697 
ناشر: ASL 
سال نشر: 2002 
تعداد صفحات: 228 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 30 مگابایت 

در صورت تبدیل فایل کتاب Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأمل در مبانی ریاضیات: مقالاتی در افتخار سلیمان ففرمن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تأمل در مبانی ریاضیات: مقالاتی در افتخار سلیمان ففرمن

سولومون ففرمن نزدیک به نیم قرن زمینه تحقیقات بنیادی را شکل داده است. این مقالات، که بیشتر آنها در سمپوزیوم بزرگداشت او در 70 سالگی او ارائه شد، منعکس کننده علایق گسترده او و همچنین رویکرد او به تحقیقات بنیادی است که حل مسائل ریاضی و فلسفی را در راس دستور کار او قرار می دهد. مشارکت‌ها از موضوعات تاریخی گرفته تا فنی و فلسفی، با تأکید بر نظریه اثبات و جنبه‌های محاسباتی متغیر است.

توضیحاتی درمورد کتاب به خارجی

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.

نظرات کاربران

کتاب های مرتبط

دانلود کتاب The Ideological Origins of the British Empire (Ideas in Context)

دانلود کتاب Syllabus Of A Proposed System Of Logic

دانلود کتاب Logic-timing Simulation And the Degradation Delay Model

دانلود کتاب Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

دانلود کتاب Symbolic Logic: A First Course

دانلود کتاب Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]

دانلود کتاب Proper and improper forcing

دانلود کتاب Systems of Logic

دانلود کتاب What is mathematical logic?

دانلود کتاب Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”