Yiannis N. Moschovakis. Lectures.

  • The Church-Turing Thesis and relative recursion The Heyting lecture, given in Amsterdam, September 7, 2012.

  • Intrinsic complexity in arithmetic and algebra Another lecture on lower bounds, this one emphasizing the foundational aspects of the problem. Given on May 24, 2012, in the CUNY meeting celebrating Sergei Artemov's 60th birthday. A shorter version of this talk was also given at Wim Veldman's retirement meeting, on September 10, 2012 in Nijmegen.

  • Recursion and complexity; relative complexity in arithmetic and algebra The slides from a three-hour minicourse given at the Logic and interactions meeting in CIRM, Luminy, on 30 - 31 January 2012. Many of the proofs can be found here

  • The axiomatic derivation of absolute lower bounds a brief version of this topic, from a half-hour talk at Oberwolfach, November 10, 2011

  • On defining "algorithm" - why and how? The slides from my lecture on the panel discussion on "What is an algorithm", at the CLMPS meeting in Nancy, France, July 20, 2011

  • A logic of meaning and synonymy The slides from a short course given with Fritz Hamm in ESSLLI, Copenhagen, August 9 - 13, 2010

  • Ο Ευκλείδειος αλγόριθμος και μερικοί συγγενείς του Talk in the Patras Estia Epistimon, July 5, 2010, in Greek.

  • The axiomatic derivation of absolute lower bounds, Lecture in Iowa State University (to the Mathematics and Computer Science Departments), April 15, 2010. (A revised and improved version of the 2009 LICS lecture below.)

  • Kleene's amazing second recursion theorem, CSL 2009, Coimbra, September 11, 2009.

  • English as a programming language?, ESSLLI 2009, Evening lecture, July 23, 2009.

  • The axiomatic derivation of absolute lower bounds, LICS, Carnegie Mellon, 27 June, 2008. (A revised and improved version of the third Tarski lecture below).

  • Solving equations in algebra and in arithmetic Talk to students at the Carnegie Mellon Summer School, 26 June, 2008. (A revised version of 7 below, in English)

  • Εξισώσεις στην άλγεβρα και στην αριθμητική. Talk to students, Department of Mathematics, University of Thessaloniki, May 26, 2008 (in Greek). (Η σελίδα 9 δίνει τη σωστή απάντηση σε μια ερώτηση που δεν απάντησα σωστά στη διάλεξη).

  • Ανεπίλυτα και δυσεπίλυτα μαθηματικά προβλήματα: λογική, πληροφορική και mastercard
       Herakleion, Crete, May 20, 2008 (in Greek)

  • Αξιωματικές αποδείξεις καθολικών κάτω φραγμάτων. Department of Mathematics, University of Crete, May 20, 2008 (in Greek).

  • The Tarski Lectures, March 3 - 7, 2008.
        Lecture 1. Algorithms and implementations
        Lecture 2. English as a programming language>
        Lecture 3. The axiomatic derivation of absolute lower bounds>

  • Deduction and semantics workshop, Stuttgart, 10 October 2007