Pajot Philippe.
« Prouver à l'aide de l'infini »
in La Recherche, 534 (04/2018), p.61-62.
|
Titre :
|
Prouver à l'aide de l'infini (2018)
|
|
Auteurs :
|
Philippe Pajot, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
La Recherche (534, 04/2018)
|
|
Article :
|
p.61-62
|
|
Descripteurs :
|
informatique
/
logique mathématique
|
|
Résumé :
|
Présentation du travail de la chercheuse post-doctorante Amina Doumane qui a réussi à prouver un théorème de l'informatique théorique grâce à une preuve circulaire (ou infinitaire) : le lien entre théorie de la démonstration et logiques infinitaires. Encadré : les preuves circulaires.
|
