NOL Seminar with Yiannis Moschovakis
published: 2026-02-25
event date:
2026-03-16
The Nordic Online Logic Seminar
is organised monthly over Zoom, with expository talks on topics of interest for
the broader logic community. The seminar is open for professional or aspiring
logicians and logic aficionados worldwide. If you wish to receive the Zoom ID
and password for it, as well as further announcements, please subscribe here:
https://listserv.gu.se/sympa/subscribe/nordiclogic
Date Monday, 16 March 2026 at 16:00 CET (UTC+1) on Zoom
Speaker Yiannis Moschovakis (Professor of Mathematics Emeritus, University of Athens and UCLA)
Title Intensional semantics for formal and programming languages
Abstract
The claim is that intensions (or meanings) can be modeled usefully by algorithms
which compute truth values, proofs (in various systems), denotations and
implementations of programs (in various programming languages), etc.. I will
discuss the nature of these ‘algorithms’ and present some unpublished results by
me and others on this topic. Most of what I will say is in the book [1] which
contains many unpublished results by Lou van den Dries, Vaughn Pratt, Anush
Tserunyan and others.
[1] Yiannis Moschovakis. Abstract recursion and intrinsic complexity, Cambridge
University Press, Volume 48 in the Lecture Notes in Logic, Association for
Symbolic Logic, 2019. (See
YM’s homepage).