The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990.
Award winners The list of award winners and lecture titles is maintained online by the Association for Symbolic Logic.
See also List of logicians List of mathematics awards List of philosophy awards Karp Prize Tarski Lectures
References
External links Official website