Bernard Bolzano nasceu na República Checa em 1781. Estudou teologia, filosofia e matemática na Universidade de Praga e tornou-se sacerdote católico. Defendeu ideias progressistas e foi proibido de lecionar em 1819. Durante este período escreveu sua obra principal "Wissenschaftslehre". Morreu em 1848, tendo realizado contribuições importantes à lógica, teoria dos conjuntos e fundamentos da matemática.

1. Matemático mês de maio – Bernard Bolzano
Bernard (Placidus Johann Nepomuk) Bolzano nasceu em Praga, na
República Checa em 5 de outubro de 1781.
Filho de um comerciante de artes, profundamente católico, estudou
na Universidade de Praga. Depois de estudar teologia, filosofia e
matemática, foi ordenado sacerdote da Igreja Católica em 1805
tinha 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. Defensor de uma aberta 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 sentiu-se desde sempre 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 muito importante mas
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, nomeadamente, nos
fundamentos de vários ramos da matemática, como a teoria das funções, a lógica e a noção de
cardinal. Demonstrou o teorema do valor intermédio, é um teorema com grande significado na
determinação de valores específicos, nomeadamente zeros, de certas funções reais de variável real,
este teorema foi enunciado pela primeira vez em 1817. 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, escrevendo os "Paradoxos do Infinito" lançando as
bases para a construção da teoria dos conjuntos por Georg Cantor.
Morreu em 1848, 74 dias após ter feito 67 anos.
Nuno Miguel Ribeiro Sequeira Lopes – 5º C nº 53/14