**Yiannis N. Moschovakis. Some lectures. **

Intrinsic Complexity
Panhellenic Logic Symposium (PLS11), Delphi, July 12 - 16, 2017

Intuitionism and effective descriptive set theory,
*L. E. J. Brouwer, fifty years later, 9 December 2016*, lecture based on
joint work with Joan R. Moschovakis.

Intrinsic complexities, at the Logic Seminar of the Institute
of Mathematics in Prague, February 8, 2016.

This is an updated
and completed version of the lecture on this topic given on
March 30, 2013 in Bristol, below.

Tutorial in *Effective descriptive set theory* in
Winter School 2016, Hehnice, Czech Republic, January 30 -
February 6, 2016, Lecture 1,
Lecture 2,
Lecture 3.

Two of the Lindström Lectures, Gothenburg, 23 and 24 October, 2014.
The other two were given by Joan Rand Moschovakis.

Frege's sense and denotation as algorithm and value
and A theory of logical form, meaning and synonymy

Το πρόβλημα της αντικειμενικής αλήθειας στη θεωρία συνόλων
ΜΙΘΕ monthly seminar, 14 October, 2014

The Normed Induction Theorem
Given at the Soskov meeting in Gjuletchica, 20 September, 2014,
and at a meeting in honor of Costas Dimitracopoulos in Athens, 3 October, 2014

What is an algorithm?
A two-hour tutorial given at the *Proof, Truth, Computation*
summer school in Chiemsee, July 21 - 25, 2014.

The logical form and meaning of attitudinal sentences
SoCal PhilMath + PhilLogic + FoM workshop at UC Irvine,
February 22, 2014.

Effective descriptive set theory
Mostowski 100 meeting, Warsaw,
October 13, 2013.

Intrinsic complexity in arithmetic and algebra
Workshop #2 on the limits and scope of mathematical knowledge,
Bristol University, March 30, 2013.

(This replaces several earlier lectures on this topic posted here,
some of which contained one "result" which is now again open.)

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

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