[FOM] Another convert to formal proofs

Timothy Y. Chow tchow at math.princeton.edu
Sun Aug 5 16:40:38 EDT 2018

FOM readers may be pleased to see the following MathOverflow post by Kevin 
Buzzard, a number theorist who is actively working on formal proofs:


Quote: "I now believe that theorem provers will inevitably play some role 
in the future of mathematical research. I am not entirely clear about what 
this role is yet, but ... I am convinced that computers will soon be 
helping us to do research."

Tim Chow

More information about the FOM mailing list