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 વ્યાખ્યાન શ્રેણીમાં સ્થાપિત પુનરાવર્તિત ઘટનાઓ