Mon compte

Résultats de recherche

Nombre de programmes trouvés : 3041

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

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 flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo

Facebook Twitter
Mon Compte