Na Folha: a matemática é dedutiva ou indutiva?
Coluna de Marcelo Viana, diretor-geral do IMPA, na Folha de S.Paulo:
Os filósofos consideram dois tipos principais de raciocínio: dedução e indução. Os dois podem ser comparados do seguinte modo (bem simplificado!).
A dedução parte de afirmações gerais, as premissas, e, por meio de regras lógicas, chega a afirmações mais específicas, chamadas conclusões. Um exemplo simples, atribuído a Aristóteles (384 a.C.- 322 a.C.): Todo o homem é mortal. Sócrates é um homem. Logo, Sócrates é mortal”.
A indução vai no sentido contrário, partindo de casos particulares para chegar a regras gerais. Por exemplo, observando que os seres vivos conhecidos são formados por células, presumimos que o mesmo vale para todos os seres vivos.
A indução é a base da ciência experimental. Mas pode falhar: saber que as galinhas no meu quintal têm plumagem vermelha não garante que toda galinha no mundo é vermelha. Já a dedução é rigorosa: se as premissas são verdadeiras, a conclusão é necessariamente verdadeira. Mas isso é porque essa está contida naquelas, não trazendo nova informação.
E a matemática, como fica nesta discussão?
O raciocínio matemático é dedutivo por natureza: ele parte de certas afirmações, os axiomas, e, por meio de passos lógicos bem definidos, chega a novas afirmações, chamadas teoremas. É isso que torna a matemática uma ciência rigorosa.
Mas o raciocínio matemático também tem uma capacidade notável para produzir novo conhecimento. O teorema de Fermat afirma que a equação xn+yn=zn não tem soluções x, y, z inteiras positivas se o expoente n for maior do que 2. Ele é deduzido dos axiomas da álgebra, mas certamente não está contido nesses axiomas. É como se o teorema fosse criado (ou descoberto?) no ato da dedução.
O que o raciocínio matemático tem de especial para que seja ao mesmo tempo rigoroso, como a dedução clássica, e criativo, como a indução experimental?
A resposta está na indução matemática, o princípio segundo o qual se uma dada afirmação é verdadeira para o número 1, e se o fato de ser verdadeira para um dado número inteiro N acarreta que também é verdadeira para N+1, então essa afirmação é verdadeira para todos os inteiros positivos.
Leia a coluna na íntegra no site do jornal