Au programme : Assister à une conférence Nous donnons un résume des efforts de nombreux grands mathématiciens – de la fin du 19ème siècle et du début du 20ème siècle et les philosophies qui les a 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.
