توضیحات
The main goal of this book is to present a mix of material dealing with:
Proof systems.
Computability and undecidability.
The Lambda Calculus.
Some aspects of complexity theory.
Historically, the theory of computability and undecidability arose from Hilberts eorts to completely formalize mathematics and from Godels rst incompleteness theorem that showed that such a program was doomed to fail. People realized that to carry out both Hilberts program and Godels work it was necessary to dene precisely what is the notion of a computable function and the notion of a mechanically checkable proof. The rst denition given around 1934 was that of the class of computable function in the sense of HerbrandGodelKleene. The second denition given by Church in 1935-1936 was the notion of a function denable in the -calculus. The equivalence of these two denitions was shown by Kleene in 1936. Shortly after in 1936, Turing introduced a third denition, that of a Turing-computable function. Turing proved the equivalence of his denition with the HerbrandGodelKleene denition in 1937 (his proofs are rather sketchy compared to Kleenes proofs).
————————————————————–
ترجمه ماشینی :
هدف اصلی این کتاب ارائه ترکیبی از مطالب مربوط به: \ سیستم های اثبات است. محاسبه پذیری و غیرقابل تصمیم گیری. حساب لامبدا. برخی از جنبه های نظریه پیچیدگی. از نظر تاریخی، تئوری محاسبهپذیری و تصمیمناپذیری از روشهای هیلبرتز برای رسمیسازی کامل ریاضیات و از قضیه ناقص بودن اول گودلز که نشان میداد چنین برنامهای محکوم به شکست است، برخاسته است. مردم دریافتند که برای اجرای برنامه هیلبرت و کار گودلز، باید دقیقاً مفهوم تابع قابل محاسبه و مفهوم اثبات مکانیکی قابل بررسی را رد کرد. اولین انکار ارائه شده در حدود سال 1934 مربوط به کلاس تابع قابل محاسبه به معنای HerbrandGodelKleene بود. دومین ردی که توسط چرچ در سالهای 1935-1936 ارائه شد، مفهوم تابع قابل انکار در حساب – بود. هم ارزی این دو انکار توسط کلین در سال 1936 نشان داده شد. اندکی پس از آن در سال 1936، تورینگ رد سومی را معرفی کرد که تابع قابل محاسبه تورینگ بود. تورینگ هم ارزی انکار خود را با انکار هربراند گودل کلین در سال 1937 ثابت کرد (اثبات او در مقایسه با برهان های کلینز بسیار واضح هستند).
tag : دانلود کتاب اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه , Download اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه , دانلود اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه , Download Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction Book , اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه دانلود , buy اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه , خرید کتاب اثبات، محاسبات، غیرقابل تصمیم گیری، پیچیدگی، و حساب لامبدا: مقدمه , دانلود کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction , کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction , دانلود Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction , خرید Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction , خرید کتاب Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.