×
نام و نام خانوادگی
بازخوانی ...
اطلاعات کتابشناختی
عنوان اصلی: A mathematical prelude to the philosophy of mathematics
پدیدآورندگان : Pollard, Stephen(Stephen Randall),author (پديدآور)
Ohio Library and Information Network (پديدآور)
نوع : متن
جنس : catalog
چاپ
صاحب محتوا :

کتابخانه دیجیتالی دانشگاه علامه طباطبایی (ره)

توصیفگر : Mathematics -- Philosophy
Philosophy
Mathematical Logic and Foundations
‭Philosophy Of Science‬
وضعیت نشر : Cham : Springer ، 2014
مشخصات فیزیکی : 1 online resource (xi, 202 pages) : digital, PDF file
خلاصه : This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics withoutdoing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy ofmathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchyof sets, Frege arithmetic, and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and realnumbers and have some background in formal logic
فهرست مطالب : Preface -- Chapter 1: Recursion, Induction -- Chapter 2: Peano Arithmetic, Incompleteness -- Chapter 3: Hereditarily Finite Lists -- Chapter 4: Zermelian Lists -- Chapter 5: The Hierarchy of Sets. Chapter 6: Frege Arithmetic -- Chapter 7: Intuitionist Logic -- Chapter 8. Solutions of Odd-Numbered Exercises -- Index
یادداشت :
Stephen Pollard
Title from title page of PDF file
Includes bibliographical references and index
System requirements: Windows (+xp), with support for Latin texts; Adobe Acrobat Reader (+9), Mozilla FireFox (+23), Internet Explorer (+9), Google Chrome (+23)
Mode of access: World Wide Web
شناسه : 616994
تاریخ ایجاد رکورد : 1396/8/22
قیمت شيء دیجیتال : رایگان


* محتوای این صفحه توسط کارشناسان این درگاه ویرایش نشده است. لطفا در صورت مشاهده ایراد در محتوا از این طریق اطلاع رسانی کنید.

دیدگاه شما

تست
ورود به درگاه کنسرسیوم
Loding



رمز عبور خود را فراموش کرده ام.
چنانچه تا کنون عضو سایت نشده اید ثبت نام کنید.
درباره کنسرسیوم
ما مجموعه‌ای از كتابخانه‌ها و سازمان‌های دارای منابع اطلاعاتی (کتاب، نشریه، نسخه‌های خطی، عکس، صدا، فیلم و... ) هستیم که با هدف تامین نیازهای پژوهشگران و شهروندان ایرانی برای دسترسی هر چه سریع‌تر به محتوای مورد نظر خود، کنسرسیوم محتوای ملی را تشکیل داده‌ایم. برای رسیدن به این هدف، قصد داریم با بسترسازی مناسب و جلب مشارکت دیگر تولید کنندگان محتوا به گرد آوری، تبدیل، سازماندهی و حفاظت اطلاعات به شکل رقومی و در سطح ملی، بپردازیم.