Anyway, maths are merely computing
Remy Cerda
I2M, Aix-Marseille Université
/user/remy.cerda/
Date(s) : 04/05/2022 iCal
10h30 - 12h00
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.
[su_spacer size= »10″]
Emplacement
Saint-Charles - FRUMAM (2ème étage)
Catégories
