Prouver à l’aide de l’infini
Bulletin : La Recherche 534
Auteurs
Numéros de page :
pp.61-62
En démontrant un théorème de logique mathématique, une informaticienne a fait le pont entre théorie de la démonstration et logique infinitaire. De plus, cette preuve est constructive, ce qui autorise, en principe, une implémentation dans un ordinateur.