Bernhard Bolzano, (nascut el 5 d'octubre de 1781, Praga, Bohèmia, domini dels Habsburg austríacs [ara a la República Txeca] - augmentat el 18 de desembre de 1848, Praga), matemàtic i teòleg bohèmic que van proporcionar una prova més detallada del teorema binomial a 1816 i va suggerir els mitjans per distingir entre classes finites i infinites.
Bolzano es va graduar a la Universitat de Praga com a sacerdot ordenat el 1805 i va ser nomenat immediatament professor de filosofia i religió a la universitat. En qüestió d’anys, però, Bolzano va apartar a molts líders de professors i esglésies amb els seus ensenyaments sobre el malbaratament social del militarisme i la innecessitat de la guerra. Va instar a una reforma total dels sistemes educatius, socials i econòmics que orientessin els interessos de la nació cap a la pau, més que cap al conflicte armat entre les nacions. A la seva negativa a recapacitar les seves creences, Bolzano va ser destituït de la universitat el 1819 i en aquell moment va dedicar les seves energies als seus escrits sobre qüestions socials, religioses, filosòfiques i matemàtiques.
Bolzano va oferir visions avançades sobre lògica, variables matemàtiques, límits i continuïtat. En els seus estudis sobre aspectes físics de la força, l'espai i el temps, va proposar teories contra les que va suggerir el filòsof alemany Immanuel Kant. Bona part de la seva obra va romandre inèdita durant la seva vida i no va tenir un gran impacte fins a finals del segle XIX i principis del XX, quan es van arribar a diverses conclusions de manera independent.
Els treballs publicats de Bolzano inclouen Der binomische Lehrsatz (1816; “El teorema binomial”), Analtischer Rein Beweis (1817; “Pure Analyic Proof”), Functionenlehre (1834; “Functions Model”), Wissenschaftslehre, 4 vol. (1834; “Model científic”), Versuch einer neuen Darstellung der Logik, 4 vol. (1837; “Un intent d’una nova presentació de la lògica”) i Paradoxien des Unendlichen (1851; “Paradoxes de l’infinit”).
