o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a atenção para ele:
http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf "Computers are transforming the way mathematicians discover, prove and communicate ideas, but is there a place for absolute certainty in this brave new world?" Para tempos em que se discute abertamente se a noção de *rigor* em uma demonstração matemática "é só um ritual do qual os matemáticos gostariam de se livrar"... jm -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
