La logique, un aiguillon pour la penséeLa logique - prise dans un sens large - a connu d'incroyables progrès depuis deux siècles. On y a découvert l'infinie variété des infinis si grands qu'on en a le vertige ; les étranges hyperensembles qui forment toutes sortes de boucles ; l'ensemble de tous les ensembles avec ses paradoxes ; l'incomplétude de Gödel et l'indécidabilité de Turing ; la troublante loi de Benford et de déconcertants paradoxes probabilistes, etc.Ces thèmes, pa