Introduction à la philosophie mathématique

Bertrand Russell (1872-1970) a laissé son nom à deux choses: un paradoxe et un tribunal. Le tribunal Russell, ou Tribunal international pour les crimes de guerre, fondé en 1966, avait vocation à «exposer à la conscience de l'humanité» les violations du droit des gens commises pendant la guerre du Viêt-nam. Le paradoxe de Russell, découvert au printemps de 1901, touchait aux fondements logiques les plus profonds de la pensée : il devait ouvrir la «crise des fondements» en philosophie des mathématiques. Qu'il s'agisse de logique ou de guerre, une même passion anime Russell : la vérité. En 1919, il écrit cette Introduction à la philosophie mathématique, tentative pour reconstruire les mathématiques en tirant la leçon des paradoxes. On trouvera dans ce livre rédigé en prison une présentationn