قضایای عدم تمامیت گدل

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

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

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

  • Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New York Inc., 1984. ISBN: 0-387-96170-4