Bernard Bolzano

Origem: Wikipédia, a enciclopédia livre.

Bernard Bolzano

Nascimento	5 de Outubro de 1781 Praga
Falecimento	18 de Dezembro de 1848 Praga
Nacionalidade	Boémia
Ocupação	Matemático

Bernhard Placidus Johann Nepomuk Bolzano (Praga, Boémia, actual República Checa, 5 de Outubro de 1781 - id., 18 de Dezembro de 1848) 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 muito 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, na Universidade de Praga, para leccionar como professor de religião. 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.

Segundo RUSNOCK, esta proibição teve a vantagem de fazer com que Bolzano, que passou a ser sustentado por amigos e por ex-alunos, produzir sua importante obra matemática. Embora Bolzano estivesse distante do grande centro científico de sua época (Paris), seus estudos científicos foram muito avançados para o seu tempo, nos fundamentos de vÁrios ramos da matemática, a saber, 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, antes de Georg Cantor, (conhecedor da obra de Bolzano e a quem seu Paradoxos do Infinito muito influenciou) (VER RUSNOCK) os conjuntos infinitos.