A única maneira de corrigir nossos raciocínios é torná-los tão palpáveis quanto os dos matemáticos, de modo que possamos achar nosso erro num relance. E, quando houver disputas entre as pessoas, poderemos simplesmente dizer: calculemos!, sem mais delongas, para ver quem tem razão. — Leibniz, A arte da descoberta (1685) Leibniz era advogado, diplomata e filósofo. Passou a vida vendo discussões que não terminavam nunca, entre religiões, entre países, entre escolas filosóficas. Um matemático, por outro lado, não discute se $2+2$ é 4: faz a conta. E se os raciocínios pudessem ser calculados como números?