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


Etiquetas:

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

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
Ler mais

Charting culture

Note:  This animation distils hundreds of years of culture into just five minutes. A team of historians and scientists wanted to map cultural mobility, so they tracked the births and deaths of notable individuals like David, King of Israel, and Leonardo da Vinci, from 600 BC to the present day. Using them as a proxy for skills and ideas, their map reveals intellectual hotspots and tracks how empires rise and crumble. The information comes from Freebase, a Google-owned database of well-known people and places, and other catalogues of notable individuals. The visualization was created by Maximilian Schich (University of Texas at Dallas) and Mauro Martino (IBM).
Ler mais