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.[1][2]

Award winners

edit

The list of award winners and lecture titles is maintained online by the Association for Symbolic Logic.[3]

See also

edit

References

edit
  1. ^ Kechris, Alexander S. (1991). "Annual Meeting of the Association for Symbolic Logic: Berkeley, 1990". The Journal of Symbolic Logic. 56 (1): 361–371. doi:10.2307/2274945. ISSN 0022-4812. Moreover, the Gödel Lecture, a new feature of the ASL Annual Meetings, was inaugurated this year. The first Gödel lecture was given by Ronald Jensen, who spoke on Inner Models and Large Cardinals.
  2. ^ "Annual Meeting of the Association for Symbolic Logic". The Journal of Symbolic Logic. 57 (1): 352–365. 1992. doi:10.2307/2275205. ISSN 0022-4812. Dana Scott delivered the second annual Gödel Lecture, entitled Will Logicians be Replaced by Machines?
  3. ^ "Gödel Lecturers – Association for Symbolic Logic". Retrieved 2023-05-31.
  4. ^ "2000 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 6 (3): 361–396. 2000. doi:10.2307/421070. ISSN 1079-8986.
  5. ^ "2007 Annual Meeting of the Association for Symbolic Logic". The Bulletin of Symbolic Logic. 13 (3): 386–408. 2007. ISSN 1079-8986.
edit