De la méthode mathématique de Bernard Bolzano

Le mathématicien bohémien Bernard Placidus Johann Nepomuk Bolzano est né le 5 octobre 1781.
Il est connu pour le théorème de Bolzano connu par nos élèves de terminale sous le nom de théorème des valeurs intermédiaires, ainsi que pour le théorème de Bolzano-Weierstrass, développé conjointement avec Karl Weierstrass et selon lequel un espace métrique est compact si et seulement si toute suite à valeurs dans cet espace admet une valeur d'adhérence dans cet espace.
Les éditions Vrin ont réédité cette année son texte "De la méthode mathématique" qui résume quelques unes de ses plus importantes innovations en logique et présente sa philosophie des mathématiques, conçue en opposition à Kant. On peut le lire sur Google-Livres ou le commander sur amazon...