مشخصات کتاب

Proof Theory

ویرایش:  
نویسندگان: Kurt Schütte (auth.)  
سری: Grundlehren der mathematischen Wissenschaften 225 
ISBN (شابک) : 9783642664755, 9783642664731 
ناشر: Springer Berlin Heidelberg 
سال نشر: 1977 
تعداد صفحات: 308 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

در صورت تبدیل فایل کتاب Proof Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب تئوری اثبات

این کتاب در ابتدا قرار بود ویرایش دوم کتاب "تئوری Beweis" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960) باشد، اما در واقع کاملاً بازنویسی شده است. ما علاوه بر منطق محمولی کلاسیک، منطق محمول شهودی را نیز بررسی می کنیم. خواص حساب جمله ای سیستم های رسمی و نیمه رسمی کلاسیک با استفاده از بخش های مثبت و منفی فرمول ها مانند کتاب "Beweistheorie" بررسی شده است. به روشی مشابه، ما از بخش های راست و چپ فرمول ها برای منطق محمول شهودی استفاده می کنیم. ما نظریه توابع انواع محدود را به منظور ارائه تفسیر Gi: idel نظریه اعداد خالص معرفی می کنیم. به جای نظریه نوع منشعب، منطق عاری از نوع و رسمی سازی مرتبط با بخش‌های تحلیل که در کتاب «Beweisttheorie» به آن پرداختیم، نظریه کلاسیک ساده و تحلیل اعتباری را به روشی نظام‌مند توسعه داده‌ایم. در نهایت ما برای سیستم‌های تجزیه و تحلیل lI پس از کار G. Takeuti، اثبات سازگاری ارائه کرده‌ایم. برای انجام این کار، ما یک سیستم مشخص از نشانه گذاری برای ترتیبات را معرفی کرده ایم که بسیار فراتر از سیستم نشانه گذاری در "Beweistheorie" است.

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

This book was originally intended to be the second edition of the book "Beweis- theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi: idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI -analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie".

فهرست مطالب

Content: 
Front Matter....Pages i-xii
Introduction....Pages 1-4
Front Matter....Pages 5-5
Fundamentals....Pages 7-18
Classical Predicate Calculus....Pages 19-35
Intuitionistic Predicate Calculus....Pages 36-55
Classical Simple Type Theory....Pages 56-70
Front Matter....Pages 71-71
Ordinal Numbers and Ordinal Terms....Pages 73-97
Functionals of Finite Type....Pages 98-133
Pure Number Theory....Pages 134-164
Front Matter....Pages 165-165
Predicative Analysis....Pages 167-220
Higher Ordinals and Systems of �   1 1 -Analysis....Pages 221-292
Back Matter....Pages 293-302

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

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

دانلود کتاب Herman Melville (Critical Lives)

دانلود کتاب The Cambridge History of China, Vol. 1: The Ch'in and Han Empires, 221 BC-AD 220

دانلود کتاب World Trade Systems of the East and West: Nagasaki and the Asian Bullion Trade Networks

دانلود کتاب 算法的乐趣

دانلود کتاب The Politically Incorrect Guide to the Supreme Court