Avançar para o conteúdo principal

Lógica proposicional

"Num artigo que escreveu sobre lógica proposicional, intitulado Recent work on the Principles of Mathematics, e publicado no International Monthly, vol 4 (1901), Bertrand Russell conseguiu combinar o humor com um rigor total, conforme evidencia a passagem que se segue:
'A matemática pura consiste inteiramente em afirmações do tipo: se tal e tal proposição é verdadeira de qualquer coisa, então uma outra proposição tal e tal é verdadeira dessa coisa. É essencial não analisar se a primeira proposição é realmente verdadeira, nem mencionar o que é o qualquer coisa de que é suposto ser verdadeiro... se a nossa hipótese é sobre qualquer coisa e não sobre alguém ou coisas mais particulares, então as nossas deduções constituem aquilo a que chamamos matemática. Por isso, a matemática pode ser definida como a disciplina em que nunca sabemos sobre o que é que estamos a falar, nem se o que estamos a dizer é verdadeiro.'"
Keith Devlin, Matemática : a ciência dos padrões,
Porto : Porto Ed., cop. 2002


Mensagens populares deste blogue

Visiokids: divulgar a ciência de modo informal e divertido

O programa infantil  Zig Zag , da RTP2, integra desde 23 de Setembro os episódios da série  Visiokids , que visa “divulgar a ciência de modo informal e divertido”.  ( Pode ler + )

The concept of universities

I have always liked the concept of universities as they were in Ancient Greece, where folks who had something cool to say would just come and say it. It wasn't about recognition; the impetus was the thought that you were resonating with ideas. Donald E. Knuth

Lire, c’est penser avec d’autres

Lire, c’est penser avec d’autres dans leurs textes, pour autant que leurs textes ne se referment pas sur eux-mêmes […] mais conduisent le lecteur à basculer dans un autre champ de réflexion, c’est-à-dire à poursuivre son questionnement dans un autre texte. Bruno Karsenti,  D’une philosophie à l’autre  :  Les sciences sociales et la politique des modernes , 2013