Logipedia : vers un Wikipedia des démonstrations formelles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Logipedia : vers un Wikipedia des démonstrations formelles

Résumé

Les démonstrations formelles, c’est-à-dire informatisées, sont devenues un outil centralen informatique et en mathématiques. Cependant, chaque système – Coq, HOL Light, Isabelle/HOL, PVS... – implémente son langage et sa théorie, limitant les possibilités d’interopérabilité entre systèmes et la durabilité de ces démonstrations. Logipedia est une encyclopédie, en construction, de démonstrations formelles exprimées dans diverses théories. Nous présenterons cette encyclopédie et discuterons de la question scientifique qui se cache derrière ce développement : qu’est-ce qu’une théorie ? [Vidéo en ligne]

Mots clés

Fichier non déposé

Dates et versions

hal-03584021 , version 1 (22-02-2022)

Identifiants

  • HAL Id : hal-03584021 , version 1

Citer

Gilles Dowek. Logipedia : vers un Wikipedia des démonstrations formelles. Séminaire du LIRIMA, Jun 2019, Rennes, France. ⟨hal-03584021⟩
84 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More