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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Large Hall, Guildhall, Cambridge IfM Seminar Rooms A and B MR2, DAMTP

Other talks

Title TBC Spectral rigidity of random covers of compact hyperbolic surfaces CONFERENCE: Chemical and material sciences enabled by AI and automation Spectral theory for Dirac operators with singular potentials Title TBC Title TBC
 

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