Ramanujan Auditorium

The complexity of formal proofs

Meena Mahajan

IMSc, Chennai

A proof of a statement convinces the person/entity addressed that the statement is true. Intuitively, a good proof is short, and easy to verify. A formal proof must convince an automated checking program (that may have limited resources). This talk discusses why we care about formal proofs, how we can design good formal proofs, and situations
where we hit a wall.

High tea will be served after the lecture at 17:15 Hrs.

YouTube Livestream Link: www.youtube.com/watch?v=lmX_7r249Es

Download Link for Poster: www.imsc.res.in/akam/Posters/AKAM_PopularLecture_Mar14-2022.pdf

More information on Azadi Ka Amrit Mahotsav events conducted by IMSc is available at: www.imsc.res.in/akam/