Les actualités du Laboratoire
Les bulletins à la Une
Le prochain séminaire aura lieu le 07 Décembre 2023
Les 3 derniers séminaires du LIM
à précier
Animé par 07 Décembre 2023 à 14:00:00
, leà préciser
Rasiowa-Sikorski lemmas and the completeness of infinitary first-order logic
Animé par 30 Novembre 2023 à 14:00:00
, leI will discuss the existence of prime filters on distributive lattices, preserving some prescribed infinite unions. To make it work for uncountably many unions one needs an extra distributivity assumption on the lattice. This translates as a completeness theorem for infinitary propositional logic (with a size-restriction on the set of axioms).
Preuves et programmes
Animé par 26 Octobre 2023 à 14:00:00
, leDans cette présentation, nous examinons la correspondance de Curry-Howard pour un système suffisamment riche basé sur la logique intuitionniste. Cette correspondance permet, d'une part, de programmer correctement un vaste ensemble de fonctions sur des types de données et, d'autre part, de déterminer le contenu algorithmique des preuves mathématiques complexes. Nous exposerons ensuite les difficultés liées à l'extension de cette correspondance à la logique classique et proposerons des solutions pour y remédier. L'exposé sera enrichi de nombreux exemples visant à une meilleure compréhension des concepts abordés.