Dag Prawitz, Is there a general concept of proof?

1 views   |   01:25:23   |   2020-04-22   |   0 likes / 0 dislikes

Watch video in Videos.ahp-numerique.fr Open in new tab

Colloques et journées d'études

Hosted on Videos.ahp-numerique.fr

Conférence plénière du 26 juillet - CLMPS 2011 / Plenary lecture, Tue. 26 July - CLMPS 2011

Dag Prawitz, Stockholm University (Sweden)

Notions of formal proofs are usually proposed as attempts to capture truth or provability within a cert...

Language English
Category No category
Licence Attribution - Share Alike
NSFW SFW