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

The best computer programs

"... The best computer programs are the ones in which the computer itself "disappears," in which you work directly on the problem without having to be aware of the computer." Donald Norman. in The Psychology of Everyday Things. -Basic Books, 1988, p. 180.