0 avis
Prouver à l'aide de l'infini / Philippe Pajot
Article
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.
Voir le numéro de la revue «La Recherche, 534, Avr. 2018»
Autres articles du numéro «La Recherche»