BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Riccardo Brasca (Université Paris-Cité)
DTSTART:20221026T180000Z
DTEND:20221026T193000Z
DTSTAMP:20260412T204734Z
UID:ProofUSACH/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/ProofUSACH/1
 /">An introduction to formalized mathematics: why it is interesting?</a>\n
 by Riccardo Brasca (Université Paris-Cité) as part of An introduction to
  proof assistants: a mini course about mathematical formalization\n\nLectu
 re held in Auditorio Piso -1.\n\nAbstract\nFormalization is the process of
  <i>digitalizing</i> mathematical results\, teaching them to a computer. W
 e will explain how this process is done\, explaining the general philosoph
 y behind it\, and why it is interesting for people interested in ``standar
 d'' mathematics. Indeed\, formalization has several benefits\, the most ob
 vious being the verification of the correctness of theorems beyond a reaso
 nable doubt\, starting from the axioms. I will explain in detail what this
  means\, and also why I think there are others\, even more important\, adv
 antages of formalized mathematics. This is not a course in logic nor found
 ations of mathematics\, in particular no prior knowledge of these topics i
 s needed.\n
LOCATION:https://researchseminars.org/talk/ProofUSACH/1/
END:VEVENT
END:VCALENDAR