Bernhard Bolzano, (născut la 5 octombrie 1781, Praga, Boemia, domeniu austriac Habsburg [acum în Republica Cehă] - a crescut la 18 decembrie 1848, Praga), matematician și teolog boem, care au oferit o dovadă mai detaliată pentru teorema binomului din 1816 și a sugerat mijloacele de a distinge între clasele finite și cele infinite.
Bolzano a absolvit Universitatea din Praga ca preot hirotonit în 1805 și a fost numit imediat profesor de filozofie și religie la universitate. Peste câțiva ani, însă, Bolzano a înstrăinat mulți lideri ai facultății și ai bisericii cu învățăturile sale despre risipa socială a militarismului și inutilitatea războiului. El a cerut o reformă totală a sistemelor educaționale, sociale și economice care să direcționeze interesele națiunii către pace și nu spre un conflict armat între națiuni. După refuzul de a-și recita credințele, Bolzano a fost demis din universitate în 1819 și, la acel moment, și-a dedicat energiile în scrierile sale despre chestiuni sociale, religioase, filozofice și matematice.
Bolzano a avut opinii avansate despre logică, variabile matematice, limite și continuitate. În studiile sale asupra aspectelor fizice ale forței, spațiului și timpului, el a propus teorii contra celor sugerate de filozoful german Immanuel Kant. O mare parte a lucrărilor sale a rămas nepublicată în timpul vieții sale și nu a avut un impact larg până la sfârșitul secolului al XIX-lea și începutul secolului XX, când o serie de concluzii au ajuns la ele în mod independent.
Lucrările publicate de Bolzano includ Der binomische Lehrsatz (1816; „The Binomial Theorem”), Rein analytischer Beweis (1817; „Pure Analytic Proof”), Functionenlehre (1834; „Functions Model”), Wissenschaftslehre, 4 vol. (1834; „Model științific”), Versuch einer neuen Darstellung der Logik, 4 vol. (1837; „O tentativă de o nouă prezentare a logicii”) și Paradoxien des Unendlichen (1851; „Paradoxurile infinitei”).
