le prochaine seminaire PPS est
Jeudi 6 Mai, 11h salle 3E91
Michele Abrusci (Roma 3)
Quelques thèmes de la théorie de la démonstration du XXe siècle, vus
d'aujourd'hui
Selon les approches et les résultats plus récents de la recherche logique
(surtout, dans le domaine de la logique linéaire et de la ludique), on
présentera dans une forme nouvelle ces thèmes de la théorie de la
démonstration du XXe siècle:
1. Le programme d'Hilbert et le traitement de la quantification par Hilbert.
2. L'arithmétique et l'omega-règle, les entiers et les ordinaux transfinis.
Aucun commentaire:
Enregistrer un commentaire