!
Guilherme Vieira
From: paulosantar...@hotmail.com
To: obm-l@mat.puc-rio.br
Subject: RE: [obm-l] Axioma ou teorema?
Date: Mon, 27 Sep 2010 12:07:20 +
Olá Guilherme e demais
colegas desta lista ... OBM-L,
Em tese, qualquer afirmação que seja um axioma em sistema formal pode vir a a
ser um
Olá Guilherme e demaiscolegas desta lista ... OBM-L,
Em tese, qualquer afirmação que seja um axioma em sistema formal pode vir a a
ser um teorema em outro e vice-versa. Portanto, não tem sentido perguntarse uma
afirmação qualquer, em si e desvinculada de um contexto, é um axioma ou teorema
...
Olá,
Acho que, por envoltórias, vc prova em GE que o menor caminho é a reta.
Q no fundo, é o que vc falou.
Abs
Felipe
--- Em sáb, 25/9/10, Tiago hit0...@gmail.com escreveu:
De: Tiago hit0...@gmail.com
Assunto: Re: [obm-l] Axioma ou teorema?
Para: obm-l@mat.puc-rio.br
Data: Sábado, 25 de
Outra forma de se ver isso esta no livro do Manfredo (Differential Geometry of
Curves and Surfaces). Esse resultado e provado na secao de geodesicas.
Date: Mon, 27 Sep 2010 04:10:21 -0700
From: luizfelipec...@yahoo.com.br
Subject: Re: [obm-l] Axioma ou teorema?
To: obm-l@mat.puc-rio.br
: luizfelipec...@yahoo.com.br
Subject: Re: [obm-l] Axioma ou teorema?
To: obm-l@mat.puc-rio.br
Olá,
Acho que, por envoltórias, vc prova em GE que o menor caminho é a reta.
Q no fundo, é o que vc falou.
Abs
Felipe
--- Em sáb, 25/9/10, Tiago hit0...@gmail.com escreveu:
De: Tiago hit0
Sim, Tiago, caminho quer dizer aqui uma curva qualquer (pode ser uma poligonal)
que vá de A até B.
Obrigado pelo comentário.
Muito obrigado, também, Joel.
Date: Sat, 25 Sep 2010 17:25:54 -0300
Subject: Re: [obm-l] Axioma ou teorema?
From: hit0...@gmail.com
To: obm-l@mat.puc-rio.br
Se
Fala Guilherme
Eu acho que tem dois jeitos de você definir as coisas. (1) com
geometria axiomática... aqueles negócios de plano de incidência, plano
afim, eu não entendo muito disso não, mas eu acho que nesse caso é um
axioma.
(2) você dizer que o comprimento de uma função contínua de um
Só para deixar claro, eu respondi achando que era outro Guilherme Vieira... :P
Aí eu deixei algumas coisas subentendidas que eu sabia que o Guilherme
que eu conheço iria entender, mas se alguma coisa não estiver clara,
por favor, avisa! :)
2010/9/26 Pedro Angelo pedro.fon...@gmail.com:
Fala
Se estiver falando de geometria euclidiana, não sei qual seria a definição
de caminho. Se caminho significar uma poligonal ligando A e B imagino que
isto siga da desilgualdade triangular, que até onde me lembro é provada sem
usar este fato.
Posso estar bastante enganado. ;-)
2010/9/25 Guilherme
9 matches
Mail list logo
