[1086] Developments in formal proofs | Vidéo | Carmin.tv

00:00:00 / 00:00:00

[1086] Developments in formal proofs

De Thomas C. Hales

Apparaît dans la collection : Bourbaki - Juin 2014

A formal proof is a proof that can be read and veriﬁed by computer, directly from the fundamental rules of logic and the foundational axioms of mathematics. The technology behind for mal proofs has been under development for decades and grew out of efforts in the early twentieth century to place mathematics on secure foundations. In recent years, this technology has made remarkable advances. Notably, a project led by Georges Gonthier has produced a complete for mal veriﬁcation of the odd-order theorem of Feit and Thompson. This presentation will describe major recent developments in this ﬁeld.

Informations sur la vidéo

Date de captation 21/06/2014
Date de publication 21/06/2014
Institut IHP
Langue Anglais
Audience Chercheurs, Doctorants
Format MP4
Lieu Amphitheater Hermite, IHP

Domaine(s)

Bibliographie

Séminaire Bourbaki, 66ème année (2013-2014), n°1086, juin 2014 PDF

Codes MSC

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2024

Donner son avis