Bernhard Bolzano Bohemian matemaatikko ja teologi

Bernhard Bolzano, (syntynyt 5. lokakuuta 1781, Praha, Böömi, itävaltalainen Habsburg-verkkotunnus [nyt Tšekissä] - kuollut 18. joulukuuta 1848, Praha), Böömin matemaatikko ja teologi, joka toimitti yksityiskohtaisemman todistuksen binomiomaisesta lauseesta 1816 ja ehdotti keinoja erottaa äärelliset ja äärettömät luokat.

Bolzano valmistui Prahan yliopistosta ordinaatiksi papiksi vuonna 1805 ja nimitettiin heti yliopiston filosofian ja uskonnon professoriksi. Muutaman vuoden kuluessa Bolzano kuitenkin vieraili monia tiedekuntien ja kirkkojen johtajia opetuksillaan militarismin sosiaalisesta tuhlauksesta ja sodan tarpeettomuudesta. Hän kehotti koulutus-, yhteiskunta- ja talousjärjestelmien kokonaisvaltaista uudistamista, joka johtaisi maan edut kohti rauhaa mieluummin kuin aseiden välisiä kansojen välisiä konflikteja. Kieltäytyessään tarkistamasta uskomuksiaan, Bolzano erotettiin yliopistosta vuonna 1819 ja omistautui energiansa kirjoituksiinsa sosiaalisista, uskonnollisista, filosofisista ja matemaattisista asioista.

Bolzano piti edistyneitä näkymiä logiikasta, matemaattisista muuttujista, rajoista ja jatkuvuudesta. Voiman, tilan ja ajan fyysisiä näkökohtia koskevissa tutkimuksissaan hän ehdotti teorioita, jotka ovat vastoin saksalaisen filosofin Immanuel Kantin ehdottamia teorioita. Suuri osa hänen työstään jäi julkaisematta elämänsä aikana, eikä sillä ollut suurta vaikutusta vasta 19. vuosisadan lopulla ja 20. vuosisadan alkupuolella, jolloin useat hänen päätelmistään tehtiin itsenäisesti.

Bolzanon julkaistuihin teoksiin kuuluvat Der binomische Lehrsatz (1816; ”Binomial Theorem”), Rein analytischer Beweis (1817; “Pure Analytic Proof”), Functionenlehre (1834; “Functions Model”), Wissenschaftslehre, 4 vol. (1834; ”tieteellinen malli”), Versuch einer neuen Darstellung der Logik, 4 osa. (1837; ”Yrittäminen logiikan uudessa esittelyssä”) ja Paradoxien des Unendlichen (1851; “Äärettömyyden paradoksit”).