Dans ce séminaire nous explorons l’aspect épistémologique de la mathématique. Nous y discuterons sa nature, ses fondements, sa portée, et ses limites. Nous nous focaliserons plus particulièrement sur la logique mathématique en tant que base théorique et conceptuelle de l’informatique et de la numérisation en général