The Theory of Gödel

این کتاب قضایای ناقص بودن گودل و سایر نتایج محدودکننده را که برای فلسفه ریاضیات مهم هستند، ارائه می‌کند. نتایج به شکلی که برای استفاده در فلسفه ریاضیات مرتبط است بیان شده است. یک پیوست پیامدهای آنها را برای برنامه هیلبرت برای مبانی ریاضیات در نظر می گیرد. متن مستقل است، همه مفاهیم با جزئیات کامل توضیح داده شده است، اما البته مواجهه قبلی با اولین اصول اولیه منطق ریاضی کمک خواهد کرد.

This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert’s Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.