Bernard Placidus Johann Nepomuk Bolzano foi um matemático, teólogo e filósofo da antiga Boémia, que pesquisou também problemas ligados ao espaço, à força e à propagação de ondas.
Filho de um comerciante de artes católico, foi educado na Universidade de Praga. Depois de estudar teologia, filosofia e matemática, foi ordenado sacerdote da Igreja Católica em 1805, e foi designado para uma cadeira de filosofia da religião, recém criada para combater o ateísmo e as ideias oriundas da Revolução Francesa. Defendeu abertamente uma reforma educacional, proclamou os direitos da consciência individual sobre as exigências do governo austríaco, e discursou sobre os absurdos da guerra e do militarismo. Em 1819 foi proibido de exercer qualquer actividade académica por causa das posições críticas sobre as condições sociais vigentes no Império Austríaco e em 1824 foi obrigado, por pressão do Imperador Franz I da Áustria, a aposentar-se.
Foi no período de proibição, em que passou a ser sustentado por amigos e por ex-alunos, que Bolzano escreveu sua principal obra filosófica, o "Wissenschaftslehre" , que viria a influenciar o desenvolvimento da semântica moderna e que seria apontada por muitos como sendo a primeira obra a localizar as fontes do conhecimento humano na linguagem. Embora Bolzano estivesse distante do grande centro científico de sua época , seus estudos científicos foram muito avançados para o seu tempo, nos fundamentos de vários ramos da matemática, como a teoria das funções, a lógica e a noção de cardinal. Depois de demonstrar o teorema do valor intermediário, deu o primeiro exemplo de uma função contínua não derivável em nenhum ponto do conjunto dos números reais. No campo da lógica, estudou a tabela de verdade de uma proposição e introduziu a primeira definição operativa de dedutibilidade. Estudou os conjuntos infinitos, e no seu "Paradoxos do Infinito" lançou as bases para a construção da teoria dos conjuntos por Georg Cantor.
Wikipedia
✵
5. Outubro 1781 – 18. Dezembro 1848
