دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic, meaning and computation: essays in memory of Alonzo Church
دانلود کتاب منطق، معنا و محاسبات: مقالاتی به یاد آلونزو کلیسای
مشخصات کتاب
Logic, meaning and computation: essays in memory of Alonzo Church
ویرایش: نویسندگان: Anderson C.A., Zeleny M. (eds.) سری: SL305 ISBN (شابک) : 140200141X ناشر: Kluwer سال نشر: 2001 تعداد صفحات: 632 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Logic, meaning and computation: essays in memory of Alonzo Church به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق، معنا و محاسبات: مقالاتی به یاد آلونزو کلیسای نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق، معنا و محاسبات: مقالاتی به یاد آلونزو کلیسای
این جلد به عنوان خاطره ای از آلونزو کلیسای زمانی که او هنوز با ما بود آغاز شد و اکنون سرانجام کامل شده است. این شامل مقالات بسیاری از دانشمندان مشهور است که بیشتر آنها مستقیماً تحت تأثیر کار خود چرچ بوده اند. اغلب تأکید بر مسائل اساسی در منطق، ریاضیات، محاسبات، و فلسفه است - همانطور که در مورد مشارکت های کلیسا که اکنون به طور جهانی به عنوان دارای اهمیت اساسی عمیق در آن زمینه ها شناخته شده است. این جلد مورد علاقه منطق دانان، دانشمندان کامپیوتر، فیلسوفان و زبان شناسان خواهد بود. مشارکت‌ها مربوط به منطق کلاسیک درجه اول، منطق مرتبه بالاتر، نظریه‌های غیرکلاسیک استلزام، نظریه‌های مجموعه‌ها با مجموعه‌های جهانی، پارادوکس‌های منطقی و معنایی، حساب لامبدا است، به‌ویژه که در محاسبات، مسائل فلسفی درباره معنا استفاده می‌شود. و هستی شناسی در علوم انتزاعی و در زبان طبیعی و خیلی چیزهای دیگر. این مطالب در دسترس متخصصان این حوزه ها و دانشجویان تحصیلات تکمیلی پیشرفته در رشته های مربوطه خواهد بود.
توضیحاتی درمورد کتاب به خارجی
This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.
فهرست مطالب
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Logic, Truth and Number: The Elementary Genesis of Arithmetic....Pages 3-59
Second-Order Logic....Pages 61-75
A Representation of Relation Algebras Using Routley-Meyer Frames....Pages 77-108
Church’s Set Theory with a Universal Set....Pages 109-138
Axioms of Infinity in Church’s Type Theory....Pages 139-147
Logical Objects....Pages 149-180
The Lambda Calculus and Adjoint Functors....Pages 181-184
Atomic Boolean Algebras and Classical Propositional Logic....Pages 185-189
Improved Decision Procedures for Pure Relevant Logic....Pages 191-217
The “Triumph” of First-Order Languages....Pages 219-259
Equivalence Relations and Groups....Pages 261-271
Front Matter....Pages 273-273
Discriminating Coded Lambda Terms....Pages 275-285
λ-Calculus as a Foundation for Mathematics....Pages 287-311
Peano’s Lambda Calculus: The Functional Abstraction Implicit in Arithmetic....Pages 313-329
The Undecidability of λ-Definability....Pages 331-342
A Construction of the Provable Wellorderings of the Theory of Species....Pages 343-351
Semantics for First and Higher Order Realizability....Pages 353-363
Language and Equality Theory in Logic Programming....Pages 365-392
Front Matter....Pages 393-393
Alternative (1*): A Criterion of Identity for Intensional Entities....Pages 395-427
Nominalist Paraphrase and Ontological Commitment....Pages 429-443
Front Matter....Pages 393-393
Peace, Justice and Computation: Leibniz’ Program and the Moral and Political Significance of Church’s Theorem....Pages 445-467
Tarski’s Theorem and NFU ....Pages 469-478
Church’s Theorem and Randomness....Pages 479-490
Russellian Type Theory and Semantical Paradoxes....Pages 491-505
The Logic of Sense and Denotation: Extensions and Applications....Pages 507-543
Analysis, Synonymy and Sense....Pages 545-571
The Very Possibility of Language....Pages 573-595
Back Matter....Pages 597-641
