Durée :
01:25:23
Nombre de vues
202
Nombre d’ajouts dans une liste de lecture
1
Nombre de favoris
0
Conférence plénière du 26 juillet - CLMPS 2011 / Plenary lecture, Tue. 26 July - CLMPS 2011
Notions of formal proofs are usually proposed as attempts to capture truth or provability within a certain domain. More seldom does one try to capture the epistemic process by which we get to know that a sentence or proposition is true. The lecture will try to do that, and will in this way approach questions concerning a general notion of proof for a language.
Informations
- Pierre-Edouard Bour
- 1 décembre 2015 00:00
- Colloques et Conférences
- Français