गोडेल के अपूर्णता प्रमेय

कर्ट गोडेल ने अपने अपूर्णता प्रमेय प्रकाशित किए, जो सिद्ध करते हैं कि पर्याप्त रूप से सशक्त हर औपचारिक तंत्र में ऐसी प्रतिज्ञप्तियाँ होती हैं जिन्हें उसी तंत्र के भीतर न सिद्ध किया जा सकता है, न असिद्ध। इस खोज ने न केवल गणित-जगत को झकझोरा, बल्कि संगणना-सिद्धांत और कृत्रिम बुद्धिमत्ता पर भी गहरा प्रभाव डाला।

कर्ट गोडेल (1906–1978)

स्थिति

सत्यापित

सामग्री का प्रकार

तथ्य

अंतिम समीक्षा

2026-07-16