É 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 <[EMAIL PROTECTED]> 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
=========================================================================