ola desculpem-me pela intromissao aqui esta uma prova com a qual eu nao estou de acordo
http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm ela aparece em praticamente todos os textos que tratam do assunto sejam livros do ensino medio ou livros de calculo abracos P ---------- Original Message ----------- From: Tony Marmo <marmo.t...@gmail.com> To: Joao Marcos <botoc...@gmail.com>, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <logica-l@dimap.ufrn.br> Sent: Wed, 17 Apr 2013 23:57:23 -0300 Subject: Re: [Logica-l] the death of proofs > 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 ------- End of Original Message ------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l