Edwardian Proofs in Salvador
Valeria (noreply@blogger.com)
In Salvador I talk to Samuel (or perhaps more precisely he talks to me) about lots of things: set theory, the axiom of choice, topological spaces, topological systems and weakenings, nearly countable cardinals and how to show inequalities between them, dialectica categories of different shapes... This time I gave a Dept Seminar on the Curry-Howard Correspondence and why I think more than simply computer scientists, mathematicians also should be interested in Edwardian proofs and Curry-Howard. Th