Anyway, maths are merely computing

Remy Cerda
I2M, Aix-Marseille Université

Date(s) : 04/05/2022   iCal
10 h 30 min - 12 h 00 min

From the 1930s onwards, the beginnings of computer science completely renewed mathematical logic by relating it, in a rather surprising manner, to a notion of computation. I will present an outline of this approach (called the Curry-Howard correspondence between programs and proofs), and some of its contemporary developments.

FRUMAM, St Charles (2ème étage)


Retour en haut 

Secured By miniOrange