La systématicité dans les sciences formelles - HAL Accéder directement au contenu
Communication dans un congrès Année : 2023

La systématicité dans les sciences formelles

Résumé

Je traiterai de la notion de « système », parfois utilisée informellement en logique et en informatique : on parle de système logique, de système d’exploitation. Cette notion désigne souvent tout simplement un ensemble que l’on énumère généralement sous forme de liste, par exemple une liste de schémas d’axiomes ou une liste de fonctions. Mais l’énumération n’est pas toujours la « bonne » forme pour comprendre — informellement — la raison d’être de ces systèmes. Il arrive que l’on révèle après coup la structure sous-jacente à une liste, comme l’a fait Gentzen en révélant sous les axiomatiques à la Hilbert un parallélisme entre introductions et éliminations de connecteurs logiques. En informatique, nous analyserons quelques exemples à la recherche d’une telle structure sous-jacente.
BMeles-Systematicite_sciences_formelles.pdf ( 1.22 Mo ) Télécharger
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-04238867, version 1 (12-10-2023)

Identifiants

  • HAL Id : halshs-04238867 , version 1

Citer

Baptiste Mélès. La systématicité dans les sciences formelles. Séminaire Philmath, Oct 2023, Paris & en distanciel, France. ⟨halshs-04238867⟩
26 Consultations
7 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus