Bernardo Bolzano

(1781-1848) Matemático checo. Tras estudiar teología, filosofía y matemáticas, fue ordenado sacerdote en 1805. Profesor de religión en Praga y matemático aficionado, en 1820 las autoridades le prohibieron ejercer cualquier actividad académica a causa de su posicionamiento crítico con respecto a las condiciones sociales vigentes en el Imperio Austrohúngaro. Las inquietudes científicas de Bolzano resultaron muy avanzadas para su tiempo, preocupado como estaba por los fundamentos de varias ramas de la matemática, a saber, la teoría de las funciones, la lógica y la noción de cardinal. Tras demostrar el teorema del valor intermedio, dio el primer ejemplo de una función continua no derivable sobre el conjunto de los números reales. En el campo de la lógica, trató la tabla de verdad de una proposición e introdujo la primera definición operativa de deducibilidad. Así mismo estudió, con anterioridad a Jorge Cantor, los conjuntos infinitos.