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 সালের বক্তৃতা সিরিজে প্রতিষ্ঠিত পুনরাবৃত্তিমূলক ঘটনা