دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Mints G.E.
سری: Studies in proof theory
ISBN (شابک) : 8870882284, 9788870882285
ناشر: North-Holland
سال نشر: 1992
تعداد صفحات: 293
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Selected papers in proof theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقالات برگزیده در نظریه اثبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این مجموعه شامل مقالاتی است که به نظریه ساختاری براهین اختصاص دارد که در چارچوب برنامه هیلبرت متولد شد و اکنون در ارتباط با پروژه های مختلف با استفاده از محتوای مؤثر براهین رسمی به کار می رود. ابزار اصلی و موضوع وحدت بخش در اینجا عادی سازی است، یعنی قرار دادن اثبات ها به شکل عادی. پیشفرض این کتاب آشنایی با تعریف و ویژگیهای اولیه سیستمهای نوع Gentzen است، اما کمی بیشتر. سه مقاله اول روش های عادی سازی مختلف را متفاوت از موارد رایج معرفی می کنند. گروه بعدی به براهین بازگشایی می پردازد، یعنی استخراج یک تحقق صریح از برهان قضایای وجودی. نرمال سازی (یا به طور دقیق تر، قضایای شکل عادی) برای حل برخی از مسائل در دو مقاله زیر اعمال می شود. یک گروه جداگانه توسط سه مقاله تشکیل شده است که به کاربردهای نظریه برهان در جبر، به طور خاص به قضایای انسجام در نظریه مقوله می پردازد. آخرین مقاله این جلد، بررسی نظریه اثبات و نظریه مدل ابتدایی برای منطق مدال تا سال 1974 است.
This collection includes papers devoted to the structural theory of proofs, which was born in the framework of Hilbert's program and is applied now in connection with various projects using the effective contents of formalized proofs. The main tool and unifying topic here is normalization, i.e. putting proofs into a normal form. The book presupposes some familiarity with the definition and elementary properties of Gentzen-type systems but little more. The first three papers introduce various normalization procedures different from popular ones. The next group deals with unwinding proofs, that is the extraction of an explicit realization from the proof of existential theorems. Normalization (or more precisely, normal form theorems) is applied to the solution of some problems in the following two papers. A separate group is formed by three papers dealing with applications of the theory of proofs to algebra, more specifically to coherence theorems in category theory. The last paper of the volume is a survey of proof theory and elementary model theory for modal logic up to the year 1974
Content: Introduction. Finite Investigations of Transfinite Derivations. Normalization of Finite Terms and Derivations via Infinite Ones. A New Reduction Sequence for Arithmetic. Heyting Predicate Calculus with Epsilon Symbol. On E-theorems. Stability of E-theorems and Program Verification. Normalization of Natural Deduction and the Effectivity of Classical Existence. On Novikov\'s Hypothesis. Reflection and Transfinite Induction. Proof Theory and Category Theory. Closed Categories and the Theory of Proofs. A Simple Proof of the Coherence Theorem for Cartesian Closed Categories. Lewis\' Systems and System T (1965-1973).