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 + )

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

Um evento totalmente episódico

«Ninguém pode garantir que um evento totalmente episódico não contenha em si uma força capaz de algum dia transformar-se, inesperadamente, na causa de eventos futuros.» Milan Kundera