ترجمه فارسی توضیحات (ترجمه ماشینی)
درس منطق ریاضی
این کتاب درسی برای دانش آموختگان پیشرفته یا دانشجویان سال اول کارشناسی ارشد ریاضیات و علوم کامپیوتر نوشته شده است. همچنین برای ریاضیدانانی که می خواهند منطق ریاضی را درک کنند در نظر گرفته شده است. هیچ پیش نیازی برای این کتاب وجود ندارد. با این حال، برخی از بلوغ ریاضی مورد نیاز است. این کتاب به سبک کاملاً ریاضی نوشته شده است و هر ریاضیدانی باید با خواندن آن احساس راحتی کند. کتاب با تعریف زبان های مرتبه اول شروع می شود، از منطق گزاره ها، قضایای کامل و در نهایت دو قضیه ناتمامیت گودل پیش می رود. در این فرآیند، خواننده با نظریه مدل و نظریه بازگشت نیز آشنا می شود. پس از خواندن این کتاب، خواننده آماده خواهد بود که به نظریه مدل، نظریه بازگشت، نظریه مجموعه های بدیهی یا حتی علوم کامپیوتر نظری شاخه بپردازد. منطق موضوع بسیار عمیقی است، کار گودل یکی از برجسته ترین اکتشافات در ریاضیات قرن بیستم است. تاثیر زیادی بر نظریه مجموعه ها، نظریه مدل و همچنین علوم کامپیوتر گذاشت. علیرغم این تأثیر، کمبود کتابهای مدرن وجود دارد که به یک ریاضیدان مشتاق اجازه می دهد تا آن موضوع را بخواند و درک کند. این کتاب سعی دارد با ارائه مقدمه ای کوتاه، متمایز، مدرن و با انگیزه در منطق ریاضی، این شکاف را پر کند.
A course on mathematical logic
This textbook is written for advanced undegraduates or first year graduate students of mathematics and computer science. It is also intended for the working mathematician who wants to gain an appreciation of Mathematical Logic. There are no prerequisites for this book; however, some mathematical maturity is required. The book is written in a totally mathematical style, and any mathematician should feel at home reading this. The book starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel. In the process, the reader is also introduced to model theory and recursion Theory. After reading this book, the reader will be ready to branch into model Theory, recursion Theory, axiomatic set theory or even theoretical computer science.Logic is a very profound subject, Godel’s work being one the most remarkable discoveries in 20th-Century mathematics, having made an enormous impact on set theory, model theory as well as computer science. In spite of this impact, there exists a dearth of modern books which allow an aspiring mathematician to read and develop an appreciation for the subject. This book attempts to fill that gap by providing a short, distinctive, modern, and well-motivated introduction to mathematical logic.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.