## Proof, Truth, Computation

## Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy

## 21-25 July 2014 in the Benedictine nunnery on Fraueninsel (an island in Chiemsee), Germany

Here is my presentation as a pdf file.

Together with Graham Leigh I have given a brief survey of axiomatic theories of truth in an entry for the Stanford Encyclopedia:

An in-depth treatment can be found in my

Axiomatic Theories of Truth, Cambridge University Press, 2011