مشخصات کتاب

Foundational Adventures : essays in honour of Harvey M. Friedman

ویرایش:  
نویسندگان: Friedman. Harvey,  Tennant. Neil  
سری: Tributes series volume 22 
ISBN (شابک) : 9781848901179, 1848901178 
ناشر: College Publications 
سال نشر: 2014 
تعداد صفحات: 316 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 مگابایت 

کلمات کلیدی مربوط به کتاب ماجراهای بنیادی: مقالاتی به افتخار هاروی ام. فریدمن: فریدمن، هاروی، -- 1948- -- کنگره ها، ریاضیات -- فلسفه -- کنگره ها، ریاضیات معکوس -- کنگره ها، فریدمن، هاروی، -- 1948-، ریاضیات -- فلسفه، ریاضیات معکوس

در صورت تبدیل فایل کتاب Foundational Adventures : essays in honour of Harvey M. Friedman به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب ماجراهای بنیادی: مقالاتی به افتخار هاروی ام. فریدمن

این جلد ادای احترامی است توسط همتایان او و دانشمندان جوان نسل بعدی، به هاروی ام. فریدمن، شاید عمیق ترین بنیادگرا پس از کورت گودل. تحقیقات فریدمن که در اواسط نوجوانی او شروع شد، اساساً درک معاصر ما از نظریه مجموعه‌ها، نظریه بازگشت، نظریه مدل، نظریه اثبات و فراریاضیات را شکل داده است. دستاوردهای او در شکل‌گیری مفهوم و فرمول‌بندی نظریه، استانداردی را که گودل و آلفرد تارسکی برای علاقه فکری عمومی و اهمیت کار فنی در بنیادها تعیین کرده‌اند، تجدید کرده است. فریدمن در حال حاضر به خوبی تثبیت شده و در حال شکوفایی ریاضیات معکوس است که هدف آن کالیبره کردن قوام منطقی-ریاضی ذاتی همه قضایای مهم ریاضیات است. او بی‌وقفه تمام پدیده‌های ناقصی را که گودل اولین نگاه آشکار به آنها ارائه کرد، دنبال کرده است. برنامه گودل-فریدمن، همانطور که اکنون شایسته نامیده می‌شود، به دنبال یافتن گزاره‌های ریاضی ساده، طبیعی و ظریف با ماهیت ترکیبی است، که می‌توان ثابت کرد که مستقل از نظریه مجموعه‌ها هستند، حتی زمانی که با بدیهیات وجودی بزرگ-کاردینال قدرتمند بسط داده شوند.

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

This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work in foundations. Friedman pioneered the now well-established and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logico-mathematical consistency-strength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Godel provided the first revealing glimpse. The Godel--Friedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful large-cardinal existence axioms.

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

کتاب های تصادفی

دانلود کتاب United Nations Environment Programme Staf After the Tsunami: Rapid Environmental Assessment (2005)

دانلود کتاب Four Papers On Probability

دانلود کتاب Secrets of a Summer Night

دانلود کتاب Geological engineering : proceedings of the 1st International Conference (ICGE 2007)

دانلود کتاب Muḥammad ʿAbduh and His Interlocutors: Conceptualizing Religion in a Globalizing World