Bernhard Bolzano, (γεννήθηκε στις 5 Οκτωβρίου 1781, Πράγα, Βοημία, Αυστριακός τομέας Habsburg [τώρα στην Τσεχική Δημοκρατία] - πεθαμένος 18 Δεκεμβρίου 1848, Πράγα), Βοημίας μαθηματικός και θεολόγος που παρείχαν μια πιο λεπτομερή απόδειξη για το διωνυμικό θεώρημα στο 1816 και πρότεινε τα μέσα διάκρισης μεταξύ πεπερασμένων και άπειρων τάξεων.
Ο Μπολζάνο αποφοίτησε από το Πανεπιστήμιο της Πράγας ως ιερέας το 1805 και διορίστηκε αμέσως καθηγητής φιλοσοφίας και θρησκείας στο πανεπιστήμιο. Εντούτοις, μέσα σε λίγα χρόνια, ο Μπολζάνο αποξένωσε πολλούς ηγέτες σχολών και εκκλησιών με τις διδασκαλίες του για τα κοινωνικά σπατάλη του μιλιταρισμού και την περιττότητα του πολέμου. Προέτρεψε μια πλήρη μεταρρύθμιση των εκπαιδευτικών, κοινωνικών και οικονομικών συστημάτων που θα κατευθύνουν τα συμφέροντα του έθνους προς την ειρήνη και όχι προς τις ένοπλες συγκρούσεις μεταξύ των εθνών. Με την άρνησή του να επαναλάβει τις πεποιθήσεις του, ο Μπολζάνο απολύθηκε από το πανεπιστήμιο το 1819 και εκείνο το σημείο αφιέρωσε τις ενέργειές του στα γραπτά του για κοινωνικά, θρησκευτικά, φιλοσοφικά και μαθηματικά θέματα.
Ο Μπολζάνο είχε προηγμένες απόψεις σχετικά με τη λογική, τις μαθηματικές μεταβλητές, τα όρια και τη συνέχεια. Στις μελέτες του σχετικά με τις φυσικές πτυχές της δύναμης, του χώρου και του χρόνου πρότεινε θεωρίες αντίθετες με εκείνες που πρότεινε ο Γερμανός φιλόσοφος Ιμανουήλ Καντ. Μεγάλο μέρος του έργου του παρέμεινε αδημοσίευτο κατά τη διάρκεια της ζωής του και δεν είχε μεγάλο αντίκτυπο μέχρι τα τέλη του 19ου και τις αρχές του 20ού αιώνα, όταν ορισμένα από τα συμπεράσματά του καταλήφθηκαν ανεξάρτητα.
Τα δημοσιευμένα έργα του Bolzano περιλαμβάνουν τους 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 τόμος. (1837, «Μια προσπάθεια για μια νέα παρουσίαση της λογικής»), και Paradoxien des Unendlichen (1851, «Παράδοξα του Άπειρου»).
