गोडेल हिंदी उपयोग और उदाहरण

राजीव मोटवानी (संगणक वैज्ञानिक) - स्टैनफोर्ड विश्वविद्यालय में संगणक विज्ञान के भूतपूर्व प्रोफेसर, गोडेल पुरस्कार विजेता (२००१)।

मानवविज्ञानी मॉरिस गोडेलियर के मुताबिक़ मानवीय पिता द्वारा धारण की गई पितृ-भूमिका, मानवीय समाज और उनके सबसे नज़दीकी जैविक रिशतेदार—चिम्पांज़ी और बोनोबो— में एक आलोचनात्मक फ़र्क़ है क्योंकि यह जानवर अपने पितृ-संबंध से अनजान होते हैं।

दक्षिणी इटली में पहाड़ों के बीच स्थित लैगोडेल-मोटेसी झील है।

क्लासिकल गोडेल कम्प्लीटनेस प्रमेय का सामान्यीकरण,EVŁ में प्रूवेबल (साध्य) होता है।

इसी कार्य के लिए, अपने सह लेखकों के साथ, उन्हें प्रतिष्ठित गोडेल पुरस्कार से भी सम्मानित किया गया।

कुर्ट गोडेल (Kurt Gödel), गरहर्ड जेन्तजेन (Gerhard Gentzen) एवं अन्य लोगों ने इस कार्य को और आगे बढ़ाया।

गोडेल फ़ज़ी लॉजिक, बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां कंजंक्शन, गोडेल टी-नोर्म होता है।

गोडेल पुरस्कार विजेता।

उन्होंने नीरज कयाल एवं नितिन सक्सेना के साथ मिलकर ऐकेएस पराएमीलिटी टेस्ट का आविष्कार किया, जिसके लिए उन्हें उनके सहकर्ताओं के साथ संयुक्त रूप से वर्ष २००६ का प्रतिष्ठित गोडेल पुरस्कार मिला।

""चित्र:1925 kurt gödel.png|गोडेल्।

नीरज कयाल (संगणक वैज्ञानिक) - मणीन्द्र अग्रवाल और नितिन सक्सेना के साथ मिलकर ऐकेएस पराएमीलिटी टेस्ट प्रस्तावित किया, गोडेल पुरस्कार विजेता (२००६)।

उन्होंने मणीन्द्र अग्रवाल और नीरज कयाल के साथ मिलकर ऐकेएस पराएमीलिटी टेस्ट प्रस्तावित किया, जिसके लिए उन्हें उनके सह लेखकों के साथ प्रतिष्ठित गोडेल पुरस्कार से भी सम्मानित किया गया।

चित्र:1925 kurt gödel.png|गोडेल्।