An introductory graduate class using Yiannis Moschovakis' textbook Notes on Set
Theory.
Math M482: Modal Logic
This undergraduate course emphasizes topics close to dynamic
epistemic logic and also uses a new didactic approach to the completeness and decidability results for the basic modal logic K.
I am re-working the
notes from this course into a textbook.
This
was my entry in a competition organized by the US NSF. It was intended "For those who may be curious about what it means to do advanced
mathematics"
This video is taken directly from my research on a lively topic on the border of logic and computational linguistics.
This project began as a proposal for
the simplest setting in which one can illustrate the notion that computer programs can operate on other programs.
Our answer is a programming language called 1#. The materials include lessons and an online interpreter for 1#,
and proofs of the main first results of computability theory, including the universal machine, and Kleene's Second
Recursion Theorem.