دانلود کتاب Set theory, logic, and their limitations

ترجمه فارسی توضیحات (ترجمه ماشینی)

نظریه مجموعه ها، منطق و محدودیت های آنها

در این مقدمه بر نظریه مجموعه ها و منطق، نویسنده به بحث منطق مرتبه اول می پردازد و ارائه بدیهی دقیقی از نظریه مجموعه های زرملو-فرانکل ارائه می دهد. او شامل نکات و توضیحات روش شناختی بسیاری است و نشان می دهد که چگونه می توان مفاهیم اساسی ریاضیات را به نظریه مجموعه ها تقلیل داد. او مفاهیم و نتایج نظریه بازگشت را با عبارات شهودی توضیح می‌دهد و به نتایج محدود Skolem، Tarski، Church و Gödel (قضیه‌های مشهور ناتمامی) می‌رسد. برای دانشجویان ریاضیات و فلسفه، این کتاب مقدمه ای عالی برای منطق و نظریه مجموعه ها فراهم می کند.

Set theory, logic, and their limitations

In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory.