Bernard Bolzano
Origem: Wikipédia, a enciclopédia livre.
Bernhard Placidus Johann Nepomuk Bolzano (Praga, actual República Checa, 5 de Outubro de 1781 - id., 18 de Dezembro de 1848) Matemático checo. Depois de estudar teologia, filosofia e matemática, foi ordenado sacerdote em 1805. Professor de religião em Praga e matemático, em 1820 foi proibido de exercer qualquer actividade académica por causa das posições críticas sobre as condicões sociais vigentes no Império Austro-húngaro. Os estudos científicos de Bolzano foram muito avançados para o seu tempo, nos fundamentos de varios ramos da matemática, a saber, a teoría das funcões, a lógica e a noção de cardinal. Depois de demonstrar o teorema do valor intermédio, deu o primeiro exemplo de uma função contínua não derivável sobre o 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 deducibilidade. Estudou, antes de Georg Cantor, os conjuntos infinitos.
[editar] Obra
