Yiannis N. Moschovakis. Some lectures.
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,
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.
axiomatic derivation of absolute lower bounds,
LICS, Carnegie Mellon, 27 June, 2008. (A revised and improved version of the third Tarski
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 δίνει τη σωστή
απάντηση σε μια ερώτηση που δεν απάντησα σωστά στη διάλεξη).
και δυσεπίλυτα μαθηματικά προβλήματα: λογική, πληροφορική και
Herakleion, Crete, May 20, 2008 (in
αποδείξεις καθολικών κάτω φραγμάτων. 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>
and semantics workshop, Stuttgart, 10 October 2007