Olás,
Eu ia escrever aqui essencialmente o que o Walter já disse sobre a
"definição" de distância, em todo o caso resta uma historinha
engraçada: um (bom) aluno de Geometria Euclidiana (axiomática,
disciplina que para um Lógico é uma delícia de ministrar) uma vez me
perguntou:
- Como eu provo que o comprimento do segmento de reta é a menor
distância entre dois pontos ?
- Pois é... Não se prova. ISSO É DEFINIDO ASSIM.
O menino arregalou os olhos em desespero e desilusão... Depois eu
ainda tentei salvar o dia do menino, falar em cálculo variacional,
pensar em comprimentos de curvas e pensar na curva que minimiza lá a
tal da integral e tudo, mas não teve jeito, o menino continou com o
desespero e a desilusão por todo o dia, hehe.
Atés,
[]s Samuel
PS: Claro que no contexto de Geometria Euclidiana elementar, não
existe "a menor distância", porque a distância é uma só, e definida de
modo consistente com o Teorema de Pitágoras, como Walter já observou.
Quoting logica-l-requ...@dimap.ufrn.br:
Enviar submissões para a lista de discussão Logica-l para
logica-l@dimap.ufrn.br
Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para
logica-l-requ...@dimap.ufrn.br
Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
logica-l-ow...@dimap.ufrn.br
Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."
----------------------------------------------------------------
Universidade Federal da Bahia - http://www.portal.ufba.br
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
