2011/9/28 Francisco Antonio Doria <[email protected]>: > Pareced que tem um erro.
Mesmo? Onde, exatamente, Doria? JM Em tempo: obrigado, Valeria, pelo link ao comentário preciso do Tao. > 2011/9/27 Walter Carnielli <[email protected]> > >> Olá Marcelo, >> >> pois é, você se intitula "computeiro" e não filósofo, mas na >> verdade sua posição coincide totalmente com a de >> Wittgenstein, que achava esquisito `` o medo supersticioso e a >> reverência da contradição por parte dos matemáticos'' >> e fazia aquela pergunta famosa: ``Contradição. Porquê justamente >> este fantasma? `` >> >> [L. W. Bemerkungen über die Grundlagen der Mathematik (Remarks on the >> Foundations of Mathematics] >> >> De fato, a física e grande da matemática e da computação vão ficar >> exatamente onde estão hoje, para não falar da Economia... sucesso >> global para a Paraconsistência! >> >> E parece que é isso que o Nelson está revelando: "Q é consistente" >> e ao mesmo tempo "Q não é consistente", ou melhor, >> "Q é livre de contradição " e ao mesmo tempo "Q tem contradições", >> e essa é uma linda contradição! >> >> Abs, >> >> Walter >> >> > Informo que, qualquer que seja a veracidade dos teoremas de Nelson, a >> > engenharia, a física e a maior parte da matemática e da computação vão >> ficar >> > exatamente onde estão hoje. >> > >> > []s >> > >> > Marcelo >> > >> > -- >> > Marcelo Finger >> > Departamento de Ciencia da Computacao >> > Instituto de Matematica e Estatistica >> > Universidade de Sao Paulo >> > Rua do Matao, 1010 >> > 05508-090 Sao Paulo, SP Brazil >> > Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) >> > http://www.ime.usp.br/~mfinger -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
