Fiche du document
9 octobre 2023
- handle: 10670/1.dcv17e
- halshs: halshs-04238867
Sujets proches
Natural science Sciences Science of scienceCiter ce document
Baptiste Mélès, « La systématicité dans les sciences formelles », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.dcv17e
Métriques
Partage / Export
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.