Conférence animée par le Professeur Mohammadreza Pakzad, Faculté des Sciences et Techniques, laboratoire IMATH.

Nous donnerons un résumé des efforts de nombreux grands mathématiciens – de la fin du 19e siècle et du début du 20e siècle – et les philosophies qui les ont motivés à poursuivre un système axiomatique cohérent et complet pour les mathématiques. En chemin, ils ont rencontré de nombreux paradoxes, comme celui de Russell, avec des implications importantes pour notre compréhension de mathématiques.
Dans ce contexte, il serait profitable de savoir ce que pourrait être "un système axiomatique" et ce que nous entendons par "un modèle" dans lequel il est vérifié. Nous terminerons en présentant d’autres énigmes logiques et, en particulier, des théorèmes d’incomplétude de Gödel.