ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Gentzen's Centenary, The Quest for Consistency

دانلود کتاب صد سالگی گنتزن ، تلاش برای سازگاری

Gentzen's Centenary, The Quest for Consistency

مشخصات کتاب

Gentzen's Centenary, The Quest for Consistency

دسته بندی: منطق
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9783319101033 
ناشر: Springer 
سال نشر: 2015 
تعداد صفحات: 563 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 45,000



کلمات کلیدی مربوط به کتاب صد سالگی گنتزن ، تلاش برای سازگاری: منطق و مبانی ریاضی، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Gentzen's Centenary, The Quest for Consistency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب صد سالگی گنتزن ، تلاش برای سازگاری

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


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

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.



فهرست مطالب

Front Matter....Pages i-x
Front Matter....Pages 1-1
Gentzen’s Consistency Proof in Context....Pages 3-24
Gentzen’s Anti-Formalist Views....Pages 25-44
The Use of Trustworthy Principles in a Revised Hilbert’s Program....Pages 45-60
Front Matter....Pages 61-61
On Gentzen’s First Consistency Proof for Arithmetic....Pages 63-87
From Hauptsatz to Hilfssatz ....Pages 89-130
A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic....Pages 131-176
A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic....Pages 177-211
Gentzen’s Original Consistency Proof and the Bar Theorem....Pages 213-228
Goodstein’s Theorem Revisited....Pages 229-242
Front Matter....Pages 243-243
Cut Elimination In Situ....Pages 245-277
Spector’s Proof of the Consistency of Analysis....Pages 279-300
Climbing Mount   \\(\\varepsilon _{0}\\)   ....Pages 301-315
Semi-Formal Calculi and Their Applications....Pages 317-354
Front Matter....Pages 355-355
Proof Theory for Theories of Ordinals III:   \\(\\Pi _{N}\\)   -Reflection....Pages 357-424
A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions....Pages 425-454
Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games....Pages 455-478
Non-deterministic Epsilon Substitution Method for PA and ID 1 ....Pages 479-500
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis....Pages 501-531
Well-Ordering Principles and Bar Induction....Pages 533-561




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی