Indução Finita & Pesquisa
Foi com Pierre de Fermat que se começou a pensar no uso da indução na matemática. Aos meados do século XVII, ele tenta demonstrar que todos os inteiros da forma seriam primos, considerado n inteiro e diferente de zero. Ele fez essa conta até n igual a 6 e reputou a todos que eram números primos.