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

मुक्त ज्ञानकोश विकिपीडिया से
यहाँ जाएँ: भ्रमण, खोज

कुर्त गाडेल (Kurt Gödel) ने १९३१ में गणितीय तर्क से सम्बन्धित दो प्रमेय प्रस्तुत किये जिन्हें गाडेल के अपूर्णता प्रमेय (Gödel's incompleteness theorems) कहते हैं।

बाहरी कड़ियाँ[संपादित करें]