| 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 |
| 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 |
CDI-Collège Lycée Saint Pierre
Bienvenue sur le portail PMB du CDI du collège-lycée Saint-Pierre - Saint-Brieuc
Accueil
Se connecter
Adresse
CDI-Collège Lycée Saint Pierre16 rue Saint pierre 22000 Saint-Brieuc
France
contact