|
É 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: |