A Vida Matemática de Bernard Bolzano. Nasceu a 5 de outubro de 1781

Bernard Placidus Johann Nepomuk Bolzano nasceu em Praga, actual República Checa em 5 de outubro de 1781.  Faz hoje 231 anos após o seu nascimento. Bolzano foi um matemático.

Filho de um comerciante de artes, profundamente 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 com apenas 24 anos.

Foi designado para ministrar uma cadeira de ciência da religião 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 ficou proibido de exercer qualquer actividade académica por causa das suas posições críticas sobre as condições sociais vigentes no Império Austríaco. Em 1824 foi obrigado, por pressão do Imperador Franz I da Áustria a reformar-se.

Bolzano sempre se sentiu atraído pela metodologia da ciência e da matemática, em especial pelo cálculo e pela lógica. Foi no período desta proibição que Bolzano escreveu a sua principal obra filosófica, o "Wissenschaftslehre" (Doutrina da Ciência). Esta foi uma época conturbada uma vez que passou a ser sustentado por amigos e por ex-alunos.  Contudo, viria a influenciar definitivamente o desenvolvimento da semântica moderna. Esta 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, situado em Paris, os seus estudos científicos eram 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 valorrintermédio, 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. 

Morreu em 1848, 74 dias após ter feito 67 anos.