برنهارد بولزانو (ولد في 5 أكتوبر 1781 ، براغ ، بوهيميا ، مجال هابسبورغ النمساوي [الآن في جمهورية التشيك] - توفي 18 ديسمبر 1848 ، براغ) ، عالم رياضيات بوهيمي وعلم اللاهوت الذي قدم دليلاً أكثر تفصيلاً لنظرية ذات الحدين في 1816 واقترح وسائل التمييز بين الطبقات المحدودة واللامتناهي.
تخرج بولزانو من جامعة براغ ككاهن مرسوم في عام 1805 وتم تعيينه على الفور أستاذًا للفلسفة والدين في الجامعة. ومع ذلك ، في غضون سنوات ، عزل بولزانو العديد من قادة هيئة التدريس والكنيسة بتعاليمه عن الهدر الاجتماعي للعسكرة وضرر الحرب. وحث على الإصلاح الشامل للأنظمة التعليمية والاجتماعية والاقتصادية التي من شأنها توجيه مصالح الأمة نحو السلام بدلاً من الصراع المسلح بين الدول. عند رفضه التراجع عن معتقداته ، تم فصل بولزانو من الجامعة في عام 1819 ، وفي تلك المرحلة كرس طاقاته لكتاباته في المسائل الاجتماعية والدينية والفلسفية والرياضية.
احتفظ بولزانو بآراء متقدمة حول المتغيرات المنطقية والرياضية والحدود والاستمرارية. في دراساته للجوانب المادية للقوة والفضاء والوقت ، اقترح نظريات مضادة لتلك التي اقترحها الفيلسوف الألماني إيمانويل كانط. بقي الكثير من عمله غير منشور خلال حياته ولم يكن له تأثير واسع حتى أواخر القرن التاسع عشر وأوائل القرن العشرين ، عندما تم التوصل إلى عدد من استنتاجاته بشكل مستقل.
تشمل أعمال Bolzano المنشورة Der binomische Lehrsatz (1816 ؛ "The Binomial Theorem") ، Rein analytischer Beweis (1817 ؛ "Pure Analytic Proof") ، Functionenlehre (1834 ؛ "Functions Model") ، Wissenschaftslehre ، 4 مجلد. (1834 ؛ "النموذج العلمي") ، Versuch einer neuen Darstellung der Logik ، 4 مجلد. (1837 ؛ "محاولة عرض جديد للمنطق") ، و Paradoxien des Unendlichen (1851 ؛ "مفارقات اللانهاية").
