A "demonstração" faz uso de figuras. Já vi muito disso por aí. O que fazer com esses professores? O que foi apresentado não passa de uma justificativa heurística. D
------------------------------------------------------ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause ------------------------------------------------------ Em 19/04/2013, às 15:37, Julio Stern <[email protected]> escreveu: > Petrucio: > Voce tem toda a razao, > pois este texto nao Prova coisa alguma. > Para comeco de conversa, > de que Distancia se esta falando, > qual a Metrica, ou qual o Grupo de Invariancia. > Se se explicitar uma destas respostas, > fica obvio oq eh que se veve demonstrar... > ---Julio > > > ---------------------------------------- >> From: [email protected] >> To: [email protected]; [email protected]; [email protected] >> Date: Fri, 19 Apr 2013 15:34:29 -0200 >> Subject: Re: [Logica-l] the death of proofs >> >> 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 <[email protected]> >> To: Joao Marcos <[email protected]>, Lista acadêmica brasileira dos >> profissionais e estudantes da área de LOGICA <[email protected]> >> 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 <[email protected]> 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 >>>> [email protected] >>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>>> >>> _______________________________________________ >>> Logica-l mailing list >>> [email protected] >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> ------- End of Original Message ------- >> >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
