[obm-l] RE: [obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Vale a "demonstração"?

2011-05-19 Por tôpico Paulo Santa Rita
: o Prof Socratico ! > Date: Thu, 19 May 2011 11:44:25 -0300 > Subject: [obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Vale a "demonstração"? > From: ralp...@gmail.com > To: obm-l@mat.puc-rio.br > > Olha, se alguem escrevesse este argumento numa prova, eu o aceita

[obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Vale a "demonstração"?

2011-05-19 Por tôpico Leonardo Moraes
Paulo, na minha opinião, o que você provou, no primeiro e-mail, é que a fórmula vale para k = 2 e k = 3. Assim, você não poderia estender isto para um k geral. Para aplicar o princípio da indução você teria que fazer os passos que todos descreveram anteriormente: provar para k = 1, supor válido p

[obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Vale a "demonstração"?

2011-05-19 Por tôpico Ralph Teixeira
Olha, se alguem escrevesse este argumento numa prova, eu o aceitaria uma demonstracao. Ou seja, concordo com o Paulo -- a inducao formal seria tao imediata, que para mim nao vale a pena escreve-la explicitamente. Ela nao acrescentaria nada NESTE CASO. "Pebolim." Abraco, Ralph 2011/5/1

[obm-l] RE: [obm-l] Re: [obm-l] Vale a "demonstração"?

2011-05-19 Por tôpico Paulo Argolo
Colegas, Minha preocupação aqui não é obter uma demonstração, mas somente indagar da validade do procedimento apresentado. Parece-me que tal procedimento é uma demonstração por indução, que abre mão da habitual formalidade, isto é, não explicita a base de indução e o passo indutivo. Os Colegas