[article] Prouver à l'aide de l'infini [texte imprimé] /
Philippe Pajot, Auteur . - 2018 . - p.61-62.
Langues : Français (
fre)
in La Recherche (Paris. 1970) >
534 (04/2018) Catégories : |
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. |
Nature du document : |
documentaire |
Genre : |
Article de périodique |