به گزارش خبرگزاری مهر، گودل در سال 1931 میلادی نظریه اول و دومش را درباره برهان "ناتمامی" منتشر کرد. بر اساس نظریه اول گودل، برای هر نظریه جامع ریاضی، چند صدق ریاضی وجود دارد که نظریه قادر به حل آن نیست.
نظریه گودل آثار و نتایج زیادی در علم منطق به طور عام و منطق ریاضی به طور خاص داشته است.
کتاب علاوه بر پیشگفتار دارای کتابشناسی و نمایه است که در 35 فصل سامان یافته است.
فهرست برخی عناوین کتاب عبارتند از: تئوری گودل چیست؟، تصمیم پذیری و عدد پذیری، صدق ریاضی، علم حساب، علم حساب رابینسون چه میگوید؟، توابع مقدماتی بازگشتی، تشریح نظریه اول گودل، تشریح نظریه دوم، مغز و کامپیوتر.
کتاب به گونهای تنظیم شده است که برای دانشجویان فلسفه که چندان آشنایی به مباحث ریاضی ندارند و همچنین دانشجویان سالهای ابتدایی رشته منطق ریاضی قابل استفاده است.
مولف کتاب، پیتر اسمیت مدرس فلسفه در دانشگاه کمبریج است.
"تشریح هرج و مرج" و "مقدمهای بر منطق صوری" از جمله آثار اسمیت هستند که به ترتیب در سالهای 1998 و 2003 میلادی به چاپ رسیده است.
اسمیت همچنین سردبیر سابق نشریه "تحلیل"(Analysis) است.