University of Cambridge > Talks.cam > Junior Category Theory Seminar > Gödel's "Dialectica": Abstract and Concrete

Gödel's "Dialectica": Abstract and Concrete

Add to your list(s) Download to your calendar using vCal

  • UserEric Faber (DPMMS)
  • ClockThursday 18 February 2016, 14:00-15:00
  • HouseCMS, MR13.

If you have a question about this talk, please contact Sean Moss.

Gödel’s “Dialectica” interpretation, published in 1958 in the eponymous journal, is an interpretation of Heyting Arithmetic in a quantifier-free theory of functionals, often called Gödel’s T. In this talk, I will contrast Gödel’s original definition with an abstract approach in category theory. Namely, it turns out that the Dialectica interpretation can be understood in terms of a monad on a certain category of fibrations. This correspondence also relates the Dialectica interpretation to other functional interpretations and type theory. However, as I will point out, the connection has some limitations and is still to be better understood.

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity