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 کے لیکچر سیریز میں قائم ہونے والے بار بار ہونے والے واقعات