Lectures

Sets, Relations, and Probability

Lecture 1Lecture 2Lecture 3Lecture 4Lecture 5Strike Cancellations

Set Theory

Lecture 1Lecture 2Lecture 3Lecture 4Lecture 5Lecture 6Lecture 7Lecture 8

 

Seminar

Decision Theory

Lent 2016Michaelmas 2015

 

Expositions

Elements of Bayesian Decision Theory

A detailed introduction to classical Bayesian subjective decision and probability theory including the works of Ramsey, von Neumann &  Morgenstern, Anscombe & Aumann, and Savage.

PDF

Incompleteness Results and Provability Logic

This notes reflects the early development of provability logic. It includes an exposition on Gödel’s incompleteness results, the Löb theorem, and the arithmetical completeness theorems of Solovay.

PDF