Bernhard BolzanoBorn 5 Oct 1781; died 18 Dec 1848 at age 67. Czech mathematician and theologian who made significant contributions to both mathematics and the theory of knowledge. He provided a more detailed proof for the binomial theorem in 1816 and suggested the means of distinguishing between finite and infinite classes. Bolzano helped to establish the foundations of analysis (for example, the Bolzano-Weierstrass theorem), attempted to elaborate mathematical method, and anticipated some basic ideas of Cantor's set theory. His major work, Wissenschaftslehre (1837), contains various contributions to logic and semantics concerning the relations of compatibility, derivability, and consequence, the deduction theorem, and the logic of classes, entailment, and probability.Name also spelled Bernard. |
