Gödel Lecture
गोडेल व्याख्यान गणितीय तर्क में एक सम्मान है जो एसोसिएशन फॉर सिम्बोलिक लॉजिक द्वारा दिया जाता है, जो एसोसिएशन की आम बैठक में एक वार्षिक व्याख्यान से जुड़ा होता है। इस पुरस्कार का नाम कर्ट गोडेल के नाम पर रखा गया है और यह 1990 से प्रतिवर्ष दिया जा रहा है। पुरस्कार विजेता पुरस्कार विजेताओं और व्याख्यान शीर्षकों की सूची एसोसिएशन फॉर सिम्बोलिक लॉजिक द्वारा ऑनलाइन रखी जाती है। 1990 रोनाल्ड जेनसन, इनर मॉडल और लार्ज कार्डिनल्स। 1991 डाना स्कॉट, क्या तर्कशास्त्रियों को मशीनों द्वारा प्रतिस्थापित किया जाएगा? 1992 जोसेफ आर. शोएनफील्ड, द प्रायोरिटी मेथड। 1993 एंगस मैकिन्टायर, लॉजिक ऑफ रियल एंड पी-एडिक एनालिसिसः अचीवमेंट्स एंड चैलेंजेस। 1994 डोनाल्ड ए. मार्टिन, एल (आर): एक सर्वेक्षण। 1995 लियो हैरिंगटन, गोडेल, हाइडेगर, और डायरेक्ट परसेप्शन (या, मैं एक रिकर्शन थियोरिस्ट क्यों हूँ)। 1996 सहरोन शेलाह, कॉम्पैक्टनेस के बिना श्रेणीकरण। 1997 सोलोमन फेफरमैन, गोडेल के साथ व्यवसाय और व्यस्तताः उनका * काम * और काम। 1998 अलेक्जेंडर एस. केक्रिस, वर्णनात्मक सेट सिद्धांत में वर्तमान रुझान। 1999 स्टीफन कुक, लॉजिक एंड कम्प्यूटेशनल कम्प्लेक्सिटी। 2000 जॉन बारवाइज-स्पीकर की मृत्यु के कारण रद्द कर दिया गया। 2001 थियोडोर स्लैमन, रिकर्शन थ्योरी। 2002 हार्वे फ्रीडमैन, गणित की नींव में मुद्दे। 2003 बोरिस जिल्बर, श्रेणी। 2004 माइकल ओ. राबिन, प्रूफ अनुनय और गणित में यादृच्छिकता। 2005 मेनाकेम मैगिडोर, सामान्यीकृत तर्कशास्त्र के लिए स्कोलेम-लोवेनहेम प्रमेय। 2006 मार्टिन-लॉफ के अनुसार, तर्क की दो परतें। 2007 एहुद ह्रुशोव्स्की-उनकी अनुपस्थिति में टी. एम. स्कैनलोन द्वारा बीजगणितीय मॉडल सिद्धांत नामक उनके काम पर एक व्याख्यान दिया गया था। 2008 डब्ल्यू. ह्यूग वुडिन, द कॉन्टिनम हाइपोथिसिस, द कॉन्जेक्चर, एंड द इनर मॉडल प्रॉब्लम ऑफ वन सुपरकॉम्पैक्ट कार्डिनल। 2009 रिचर्ड शोर, रिवर्स मैथेमैटिक्सः द प्ले ग्राउंड ऑफ लॉजिक। 2010 अलेक्जेंडर रेज़बोरोव, प्रस्ताव प्रमाण की जटिलता। 2011 आनंद पिल्लै, प्रथम क्रम सिद्धांत। 2012 जॉन आर. स्टील, निर्धारकता के मॉडल में वंशानुगत रूप से क्रमिक परिभाषित सेट। 2013 किट फाइन, ट्रुथमेकर शब्दार्थ। 2014 जूलिया एफ. नाइट, कम्प्यूटेबल संरचना सिद्धांत और विशेष रूपों के सूत्र। 2015 एलेक्स विल्की, एक डायोफैंटाइन अनुप्रयोग के साथ परिभाषित कार्यों की जटिल निरंतरता। 2016 स्टीवो टोडोरसेविक, सेट थ्योरी में बेसिस प्रॉब्लम्स। 2017 चार्ल्स पार्सन्स (दार्शनिक), गोडेल और सेटों का ब्रह्मांड। 2018 रॉड डाउनी, एल्गोरिथम यादृच्छिकता। 2019 सैमुअल बस, संपूर्णता, संभाव्यता और व्यवहार्यता। 2020 एलिसाबेथ बौस्केरेन, मॉडल सिद्धांत में विन्यास की सर्वव्यापीता। 2021 मैथ्यू फोरमैन, गोडेल डिफोमोर्फिज्म। 2022 पेट्रीसिया ब्लैंचेट, लॉजिक में औपचारिकता। 2023 कार्ल जोकस्च, एल्गोरिदम से जो एक मीट्रिक स्पेस के रूप में ट्यूरिंग डिग्री के लिए इनपुट के एक बड़े सेट पर सफल होते हैं। तर्कशास्त्रियों की सूची गणित पुरस्कारों की सूची दर्शनशास्त्र पुरस्कारों की सूची कार्प पुरस्कार टार्स्की व्याख्यान संदर्भ बाहरी लिंक आधिकारिक वेबसाइट गणित पुरस्कार दर्शनशास्त्र पुरस्कार 1990 व्याख्यान श्रृंखला में स्थापित आवर्ती घटनाएं