Bernhard Bolzano, (nascido em 5 de outubro de 1781, Praga, Boêmia, domínio austríaco de Habsburgo [atualmente na República Tcheca] - falecido em 18 de dezembro de 1848, Praga), matemático e teólogo boêmio que forneceu uma prova mais detalhada do teorema binomial em 1816 e sugeriu os meios de distinguir entre classes finitas e infinitas.
Bolzano se formou na Universidade de Praga como sacerdote ordenado em 1805 e foi imediatamente nomeado professor de filosofia e religião na universidade. Em questão de anos, no entanto, Bolzano alienou muitos líderes de faculdades e igrejas com seus ensinamentos sobre o desperdício social do militarismo e a desnecessidade da guerra. Ele pediu uma reforma total dos sistemas educacional, social e econômico que direcionasse os interesses da nação à paz, e não ao conflito armado entre as nações. Ao recusar-se a retratar suas crenças, Bolzano foi demitido da universidade em 1819 e, naquele momento, dedicou suas energias a seus escritos sobre questões sociais, religiosas, filosóficas e matemáticas.
Bolzano possuía visões avançadas sobre lógica, variáveis matemáticas, limites e continuidade. Em seus estudos sobre os aspectos físicos da força, espaço e tempo, ele propôs teorias contrárias às sugeridas pelo filósofo alemão Immanuel Kant. Grande parte de seu trabalho permaneceu inédito durante sua vida e não teve grande impacto até o final do século 19 e início do século 20, quando várias de suas conclusões foram tiradas independentemente.
As obras publicadas de Bolzano incluem Der binomische Lehrsatz (1816; "The The Binomial Theorem"), Rein analytischer Beweis (1817; "Pure Analytic Proof"), Functionenlehre (1834; "Functions Model"), Wissenschaftslehre, 4 vol. (1834; "Scientific Model"), Versuch einer neuen Darstellung der Logik, 4 vol. (1837; "Uma tentativa de uma nova apresentação da lógica") e Paradoxien des Unendlichen (1851; "Paradoxos do infinito").
