Gödel Lecture
கோடல் சொற்பொழிவு என்பது சங்கத்தின் பொதுக் கூட்டத்தில் வருடாந்திர சொற்பொழிவுடன் தொடர்புடைய குறியீட்டு தர்க்கத்திற்கான சங்கத்தால் வழங்கப்படும் கணித தர்க்கத்தில் ஒரு மரியாதை ஆகும். இந்த விருது கர்ட் கோடலின் பெயரால் அழைக்கப்படுகிறது, இது 1990 முதல் ஆண்டுதோறும் வழங்கப்படுகிறது. விருது வென்றவர்கள் விருது வென்றவர்கள் மற்றும் விரிவுரை தலைப்புகளின் பட்டியல் அசோசியேஷன் ஃபார் சிம்பாலிக் லாஜிக் மூலம் ஆன்லைனில் பராமரிக்கப்படுகிறது. 1990 ரொனால்ட் ஜென்சன், இன்னர் மாடல்கள் மற்றும் பெரிய கார்டினல்கள். 1991 டானா ஸ்காட், தர்க்கவாதிகள் இயந்திரங்களால் மாற்றப்படுவார்களா? 1992 ஜோசப் ஆர். ஷோன்ஃபீல்ட், முன்னுரிமை முறை. 1993 ஆங்கஸ் மெக்கின்டைர், லாஜிக் ஆஃப் ரியல் அண்ட் பி-அடிக் அனாலிசிஸ்ஃ சாதனைகள் மற்றும் சவால்கள். 1994 டொனால்ட் ஏ. மார்ட்டின், எல் (ஆர்): ஒரு கணக்கெடுப்பு. 1995 லியோ ஹாரிங்டன், கோடல், ஹைடெக்கர் மற்றும் டைரக்ட் பெர்செப்ஷன் (அல்லது, நான் ஏன் ஒரு ரெக்கர்ஷன் தியோரிஸ்ட்). 1996 சஹரோன் ஷேலா, சுருக்கமில்லாத வகைப்பாடு. 1997 சாலமன் ஃபெஃபெர்மன், கோடலுடன் தொழில்கள் மற்றும் ஈடுபாடுகள்ஃ அவரது * படைப்புகள் * மற்றும் வேலை. 1998 அலெக்சாண்டர் எஸ். கெக்ரிஸ், விளக்க தொகுப்புக் கோட்பாட்டில் தற்போதைய போக்குகள். 1999 ஸ்டீபன் குக், லாஜிக் மற்றும் கணக்கீட்டு சிக்கலானது. 2000 ஜான் பார்வைஸ்-சபாநாயகர் இறந்ததால் ரத்து செய்யப்பட்டது. 2001 தியோடர் ஸ்லாமன், மறுநிகழ்வு கோட்பாடு. 2002 ஹார்வி ஃப்ரீட்மேன், கணிதத்தின் அடித்தளங்களில் உள்ள சிக்கல்கள். 2003 போரிஸ் ஜில்பர், வகைப்பாடு. 2004 மைக்கேல் ஓ. ராபின், ப்ரூஃப்ஸ் தூண்டுதல்கள் மற்றும் கணிதத்தில் சீரற்ற தன்மை. 2005 மெனாச்செம் மாகிடோர், பொதுமைப்படுத்தப்பட்ட தர்க்கங்களுக்கான ஸ்கோலெம்-லோவென்ஹெய்ம் கோட்பாடுகள். 2006 பெர் மார்ட்டின்-லோஃப், தர்க்கத்தின் இரண்டு அடுக்குகள். 2007 Ehud Hrushovski-இயற்கணித மாதிரி கோட்பாடு என்ற தலைப்பில் அவரது படைப்பு ஒரு சொற்பொழிவு டி. எம். ஸ்கான்லான் அவர் இல்லாத நிலையில் வழங்கப்பட்டது. 2008 டபிள்யூ. ஹக் வூடின், தி கான்டினியம் ஹைபோதெசிஸ், தி கன்ஜெக்சர், அண்ட் தி இன்னர் மாடல் பிராப்ளம் ஆஃப் ஒன் சூப்பர் காம்பாக்ட் கார்டினல். 2009 ரிச்சர்ட் ஷோர், தலைகீழ் கணிதம்-தர்க்கத்தின் விளையாட்டு மைதானம். 2010 அலெக்சாண்டர் ராஸ்போரோவ், முன்மொழிவு ஆதாரங்களின் சிக்கலானது. 2011 ஆனந்த் பிள்ளை, முதல் வரிசை கோட்பாடுகள். 2012 ஜான் ஆர். ஸ்டீல், தி ஹெரிடெரினலி ஆர்டினல் டிஃபைனபிள் செட்ஸ் இன் மாடல்ஸ் ஆஃப் டெர்மினசி. 2013 கிட் ஃபைன், ட்ரூத்மேக்கர் சொற்பொருள். 2014 ஜூலியா எஃப். நைட், கணக்கிடக்கூடிய கட்டமைப்பு கோட்பாடு மற்றும் சிறப்பு வடிவங்களின் சூத்திரங்கள். 2015 அலெக்ஸ் வில்கி, டயோஃபாண்டைன் பயன்பாட்டுடன் வரையறுக்கக்கூடிய செயல்பாடுகளின் சிக்கலான தொடர்ச்சிகள். 2016 ஸ்டீவோ டோடோர்செவிக், செட் கோட்பாட்டில் அடிப்படை சிக்கல்கள். 2017 சார்லஸ் பார்சன்ஸ் (தத்துவஞானி), கோடல் மற்றும் செட் பிரபஞ்சம். 2018 ராட் டவுனி, அல்காரிதம் சீரற்ற தன்மை. 2019 சாமுவேல் பஸ், மொத்தத்தன்மை, நம்பகத்தன்மை மற்றும் சாத்தியக்கூறு. 2020 எலிசபெத் பவுஸ்கரென், மாதிரி கோட்பாட்டில் உள்ளமைவுகளின் எங்கும் நிறைந்த தன்மை. 2021 மத்தேயு ஃபோர்மேன், கோடல் டிஃபோமார்பிசம்ஸ். 2022 பாட்ரிசியா பிளான்செட், தர்க்கத்தில் சம்பிரதாயவாதம். 2023 கார்ல் ஜோக்குஷ், ஒரு பெரிய தொகுப்பு உள்ளீடுகளில் வெற்றி பெறும் வழிமுறைகளிலிருந்து ஒரு மெட்ரிக் இடமாக டூரிங் டிகிரி வரை. தர்க்கவாதிகளின் பட்டியலையும் பார்க்கவும் கணித விருதுகளின் பட்டியல் தத்துவ விருதுகளின் பட்டியல் கார்ப் பரிசு டார்ஸ்கி சொற்பொழிவுகள் குறிப்புகள் வெளிப்புற இணைப்புகள் அதிகாரப்பூர்வ வலைத்தளம் கணிதம் விருதுகள் தத்துவ விருதுகள் 1990 விரிவுரை தொடரில் நிறுவப்பட்ட தொடர்ச்சியான நிகழ்வுகள்