Bernard Bolzano

Biographie :

Bernard Bolzano, de son nom complet Bernhard Placidus Johann Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien.

Fils d’une germanophone et d’un émigré d’Italie en Bohême, alors dans l’Empire d’Autriche, Bolzano a rédigé toutes ses œuvres en allemand. L'influence de ses ouvrages philosophiques est importante, tout comme ses découvertes en mathématiques. Il a donné son nom à deux théorèmes.

Bolzano est souvent considéré comme un des fondateurs de la logique moderne. Dans sa "Théorie de la science" de 1837, il essaie de fournir des fondements logiques à toutes les sciences, construites à partir d'abstractions, d'objets abstraits, d'attributs, de constructions, de démonstrations, de liens.

Son œuvre posthume "Les paradoxes de l'infini" a été admirée par un grand nombre d'éminents logiciens qui vinrent après lui, comme Charles Sanders Peirce, Georg Cantor et Richard Dedekind. Une grande partie du travail mathématique de Bolzano est restée inconnue jusqu'à ce qu'Otto Stolz redécouvre ses articles perdus et les republie en 1881.