Paulson, Lawrence C. (1955-.... ; informaticien)
Royaume-Uni
Date de naissance
1955
Langues d'expression
anglais
Informaticien. En poste au Computer laboratory, University of Cambridge, GB (en 1994)
Professeur à l'Université de Cambridge (en 2019)
Professeur à l'Université de Cambridge (en 2019)
Disciplines liées à ses interventions
Vidéos
Proofs assistants : from symbolic logic to real mathematics
Paulson
Lawrence C.
Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a