Bernhard Bolzano, (född 5 oktober 1781, Prag, Böhmen, österrikiska Habsburg-domänen [nu i Tjeckien] - död 18 december 1848, Prag), bohemisk matematiker och teolog som tillhandahöll ett mer detaljerat bevis för den binomiala teorem i 1816 och föreslog sättet att skilja mellan ändliga och oändliga klasser.
Bolzano tog examen från universitetet i Prag som ordinerad präst 1805 och utsågs omedelbart till professor i filosofi och religion vid universitetet. Inom några år främjade emellertid Bolzano många fakultets- och kyrkledare med sin lärdom om det sociala slöseriet med militarism och krigens onödighet. Han uppmanade till en total reform av utbildnings-, sociala och ekonomiska system som skulle rikta nationens intressen mot fred snarare än mot väpnade konflikter mellan nationer. Efter att han vägrade att återvända sin tro, avskedades Bolzano från universitetet 1819 och vid den tidpunkten ägnade han sin energi till hans skrifter om sociala, religiösa, filosofiska och matematiska frågor.
Bolzano hade avancerade åsikter om logik, matematiska variabler, gränser och kontinuitet. I sina studier av de fysiska aspekterna av kraft, rymd och tid föreslog han teorier mot dem som den tyska filosofen Immanuel Kant föreslog. Mycket av hans arbete förblev opublicerad under hans livstid och hade inte stor påverkan förrän i slutet av 1800-talet och början av 1900-talet, då ett antal av hans slutsatser kom fram till oberoende.
Bolzanos publicerade verk inkluderar Der binomische Lehrsatz (1816; "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; ”Ett försök till en ny presentation av logik”) och Paradoxien des Unendlichen (1851; ”Paradoxes of Infinity”).
