Séminaire Philmath du 09 Octobre 2023

La première séance du séminaire PHILMATH de l’année universitaire 2023-2024 aura lieu le 09 octobre 2023, de 17h00 à 19h00 en salle des conférences de l’IHPST, 13 rue du Four (format hybride).
Nous aurons le plaisir d’écouter : Baptiste Mélès (Philosophy, CNRS, UMR 7117, Archives Henri Poincaré).

Titre : 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 le langage de base d’un système d’exploitation — les appels système d’Unix — à la recherche d’une telle structure sous-jacente.

Zoom link
https://pantheonsorbonne.zoom.us/j/98459283482?pwd=TmtoWGR2aUgveU15YlJHbGJZOGd1UT09
Meeting ID : 984 5928 3482
Passcode: 95056611