ברנהרד בולזנו, (נולד ב- 5 באוקטובר 1781, פראג, בוהמיה, תחום הבסבורג האוסטרי [כיום בצ'כיה] - נפטר ב- 18 בדצמבר 1848, פראג), מתמטיקאי ותיאולוג בוהמי שהעניקו הוכחה מפורטת יותר למשפט הבינומי שב 1816 והציע את האמצעים להבחנה בין שיעורים סופיים ואינסופיים.
בולזנו סיים את לימודיו באוניברסיטת פראג ככומר מוסמך בשנת 1805 ומונה מיד לפרופסור לפילוסופיה ודת באוניברסיטה. עם זאת, תוך כמה שנים, בולזנו ניכר מנהיגי סגל וכנסיה רבים בתורתו על בזבוזם החברתי של מיליטריזם וחוסר הצורך במלחמה. הוא דחק ברפורמה מוחלטת במערכות החינוך, החברה והכלכלה שתכוון את האינטרסים של האומה כלפי שלום ולא לעבר סכסוך מזוין בין מדינות. לאחר סירובו לחזור על אמונותיו, בולצאנו הודח מהאוניברסיטה בשנת 1819 ובאותה נקודה הקדיש את מרצו לכתביו בנושאים חברתיים, דתיים, פילוסופיים ומתמטיים.
בולצאנו עמד על השקפות מתקדמות בנושא לוגיקה, משתנים מתמטיים, גבולות והמשכיות. במחקריו על ההיבטים הפיזיים של כוח, מרחב וזמן הוא הציע תיאוריות בניגוד לאלה שהציע הפילוסוף הגרמני עמנואל קאנט. חלק גדול מעבודותיו לא נפרסמו במהלך חייו ולא השפיעו רבות עד סוף המאה ה -19 ותחילת המאה העשרים, אז הגיעו מספר מסקנותיו באופן עצמאי.
יצירותיו שפורסמו של בולזנו כוללות את Der binomische Lehrsatz (1816; "משפט Binomial"), Rein analytischer Beweis (1817; "הוכחה אנליטית טהורה"), Functionenlehre (1834; "Model Functions"), Wissenschaftslehre, 4 כרך. (1834; "מודל מדעי"), Versuch einer neuen Darstellung der Logik, 4 כרך. (1837; "ניסיון להצגת היגיון חדש"), ו- Paradoxien des Unendlichen (1851; "פרדוקסים של אינסוף").
