Re: [obm-l] Enquete epistemologica

["Maurício Collares" <mauricioc@xxxxxxxxx>]

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
=========================================================================