João, Para contribuir para essa discussão que você instaurou aqui, pergunto o seguinte: você poderia dar exemplo de uma prova comumente encontrada em livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais avançados, com qual você não esteja de acordo?
Muito obrigado se você tiver algo em mente que possa comentar. Em 17 de abril de 2013 22:01, Joao Marcos <botoc...@gmail.com> escreveu: > 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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
