Prouver à l'aide de l'infini

Dans le périodique : La Recherche (Paris. 1970), n°534 (04/2018)
• Auteur : Philippe Pajot
• Pages : p.61-62
  • Langues : Français
• • Nature du document : documentaire
  • 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.

• • Descripteurs : informatique / logique mathématique