قضایای ناتمامیت گودل

از ویکی‌پدیا، دانشنامهٔ آزاد.

قضایای عدم تمامیت گدل (Gödel's incompleteness theorems) به دو قضیه در منطق ریاضی اشاره دارد که پیرامون محدودیّت‌های مربوط به سیستم‌های صوری توسّط کورت گدل در سال ۱۹۳۱ (م) اثبات گردید.

این قضیه بیان می‌کند که در یک دستگاه اصل موضوعی، مساله‌هایی وجود دارند که با آن اصول موضوعه‌ای که سیستم تعریف می‌کند نمی‌توان آن‌ها را اثبات و یا رد کرد (غیر قابل تصمیم گیری‌اند).

[ویرایش] منابع

  • Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., ۱۹۸۴. ISBN: ۰-۳۸۷-۹۶۱۷۰-۴