![]()
|
Prouver à l'aide de l'infini
de Philippe Pajot
In La Recherche (Paris. 1970), 534 (04/2018), p.61-62
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.
|
Pajot Philippe.
« Prouver à l'aide de l'infini »
in La Recherche (Paris. 1970), 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 (Paris. 1970) (534, 04/2018)
|
|
Article :
|
p.61-62
|
|
Langues:
|
Français
|
|
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.
|
|
Nature du document :
|
documentaire
|
|
genre :
|
Article de périodique
|
