Philosophie de Mathématiques : Ontologie et Structures

Cette séance de cours s'inscrit dans les perspectives philosophiques sur les sciences exactes, explorant l'existence d'objets mathématiques, la vérité des propositions mathématiques, et notre connaissance à leur sujet. Il traite de diverses théories telles que le platonisme, l'intuitionisme, le structuralisme, le nominalisme, le logique et le formalisme. La séance de cours couvre également des concepts importants comme les deux constructions de nombres naturels, Russell's Paradox, Gödel's Theorem, et l'Axiom of Choice, éclairant la nature des mathématiques et sa relation avec la logique et la réalité.