Re: [obm-l] Enquete epistemologica

["Johann Peter Gustav Lejeune Dirichlet" <peterdirichlet2003@xxxxxxxxx>]

Não sei bem qual é o problema com o modo de resolver problemas assim.
Desde muito tempo pessoas  não confiam no método de demonstração via
contradição.
E também tem pessoas que não apostam uma ficha no Axioma da Escolha.

Por ora estes são os únicos casos de `dúvida epistemológica' que lembro.


Em 15/03/08, arcguede@xxxxxxxxx<arcguede@xxxxxxxxx> escreveu:
>
>  É por aí, eu vi esta desconfiança do método indutivo da matemática vinda de
> um matemático russo (que me escapa a memória quem era), mas ele afirmava que
> deveria ser feito mais esforços para se provar teoremas por meios dedutivos.
> O assunto envolvia segurança de criptografia, acho que tá bem relacionado.
>  Mas concordo que o método indutivo matemático é diferente do científico em
> geral.
>  Mas que um tem o germe do outro, isso tem.
>
>  Maurício Collares escreveu:
>  Provas matemáticas que usam o método indutivo não são consideradas
> formais, eu acho. Tal fato é inclusive, motivo de diversas piadas que
> matemáticos contam sobre engenheiros (do tipo "vale para n = 1, vale
> para n = 2, então vale sempre").
>
> Vale lembrar, só pra constar, que a indução matemática não é, em si,
> uma manifestação do "método indutivo". A indução matemática tem esse
> nome porque serve para provar *dedutivamente* coisas conjecturadas a
> partir do "método indutivo" (i.e., supor que uma idéia vale para o
> caso geral porque ela vale para alguns casos particulares). Isso se
> reflete no fato de que, ao construir uma prova por indução matemática,
> você tem que conhecer de antemão o resultado final que deseja provar.
>
> --
> Abraços,
> Maurício
>
> PS: Eu estou estudando para ser engenheiro. Nada contra tal profissão :)
>
> On 3/14/08, albert richerd carnier guedes <arcguede@xxxxxxxxx> wrote:
>
>
>  Eu tava lendo por aí que alguns matemáticos são meio que cabreros com o
>  método indutivo por causa da idéia de que alguma hora o método pode
>  falhar, sendo assim, o método dedutivo é o verdadeiro modo de se chegar
>  a uma resposta segura e real dos problemas matemáticos.
>  Um tanto Popperiano, mas vá lá.
>  Alguém também sente esta desconfiança em relação ao método indutivo ?
>
> =========================================================================
> Instruções para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> =========================================================================
>
>
>
>


-- 
Ideas are bulletproof.

V

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================