कुर्ट फ्रेडरिक गाडेल (Kurt Friedrich Gödel; जन्म 28 अप्रैल 1906 - 14 जनवरी 1978) मूल रूप से ऑस्ट्रियाई और बाद में अमेरिकी तर्कशास्त्री, गणितज्ञ और दार्शनिक थे।

गाडेल का अपूर्णता प्रमेय(Gödel’s incompleteness theorem)


उन्नीसवीं शताब्दी तथा बीसवीं शताब्दी के उत्तरार्ध मे गणितज्ञो का लक्ष्य था कि अंकगणित को कुछ स्वयंसिद्ध नियमों मे बांध दिया जाये। यह युक्लिड के ज्यामितिक नियमो के जैसा ही प्रयास था जिसमे कुछ निर्विवाद स्वयं सिद्ध नियमों के आधार पर हर प्रमेय को सिद्ध किया जा सकता था। यह एक उत्कृष्ट लक्ष्य था। एक…