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 > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
