Bernard Bolzano (5 octobre 1781 – 18 décembre 1848), de son nom complet Bernhard Placidus Johann Gonzal Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien né et mort à Prague. 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. Les parents de Bolzano étaient de pieux catholiques. Son père, Bernard Pompeius Bolzano, est né dans le nord de l'Italie et s'est installé à Prague où il a épousé Maria Cecilia Maurer, la fille d'un marchand praguois de langue allemande. Seuls deux de leurs douze enfants survécurent jusqu'à l'âge adulte. Bernard Bolzano entre à l'université de Prague en 1796 et étudie les mathématiques, la philosophie et la physique. En 1800, il décide de devenir prêtre, contre l'avis de son père. Il le devient en 1804. Il enseigne alors les sciences de la religion à Prague et consacre le reste de son temps aux mathématiques. Ses travaux portèrent essentiellement sur les fonctions, la logique et la théorie des nombres. Il est considéré comme l'un des principaux contributeurs à la logique telle qu'elle est…