Bernhard Bolzano, (nato il 5 ottobre 1781, Praga, Boemia, dominio austriaco degli Asburgo [ora nella Repubblica Ceca], deceduto il 18 dicembre 1848, Praga), matematico e teologo boemo che fornì una prova più dettagliata del teorema binomiale in 1816 e suggerì i mezzi per distinguere tra classi finite e infinite.
Bolzano si laureò all'Università di Praga come sacerdote ordinato nel 1805 e fu immediatamente nominato professore di filosofia e religione all'università. Nel giro di pochi anni, tuttavia, Bolzano alienò molte facoltà e dirigenti della chiesa con i suoi insegnamenti sullo spreco sociale del militarismo e sull'inutilità della guerra. Ha sollecitato una riforma totale dei sistemi educativi, sociali ed economici che avrebbe diretto gli interessi della nazione verso la pace piuttosto che verso conflitti armati tra le nazioni. Al suo rifiuto di ritrattare le sue convinzioni, Bolzano fu licenziato dall'università nel 1819 e a quel punto dedicò le sue energie ai suoi scritti su questioni sociali, religiose, filosofiche e matematiche.
Bolzano aveva una visione avanzata di logica, variabili matematiche, limiti e continuità. Nei suoi studi sugli aspetti fisici della forza, dello spazio e del tempo, ha proposto teorie contrarie a quelle suggerite dal filosofo tedesco Immanuel Kant. Gran parte del suo lavoro è rimasto inedito durante la sua vita e non ha avuto un grande impatto fino alla fine del XIX e all'inizio del XX secolo, quando alcune delle sue conclusioni sono state raggiunte in modo indipendente.
Le opere pubblicate di Bolzano includono Der binomische Lehrsatz (1816; "The Teorema binomiale"), Rein analytischer Beweis (1817; "Pure Analytic Proof"), Functionenlehre (1834; "Functions Model"), Wissenschaftslehre, 4 vol. (1834; "Modello scientifico"), Versuch einer neuen Darstellung der Logik, 4 vol. (1837; "Un tentativo in una nuova presentazione della logica"), e Paradoxien des Unendlichen (1851; "Paradossi dell'infinito").
