História da Matemática

Sistemas de numeração e medição

Antes de a Matemática se constituir como disciplina, ela já existia como prática: contar rebanhos, medir terras e registrar o tempo exigiram, em civilizações distintas e sem contato entre si, a invenção de sistemas de numeração. Os egípcios desenvolveram um sistema decimal não posicional; os babilônios, um sistema sexagesimal posicional do qual ainda herdamos a divisão da hora em 60 minutos e do círculo em 360 graus. A historiografia é unânime em tratar essa pluralidade não como estágios de uma evolução única rumo a um sistema "correto", mas como soluções distintas para o mesmo problema prático — o de representar quantidade de forma estável e operável (BOYER; MERZBACH, 2012; EVES, 2004).

A adoção da numeração posicional de base dez, de origem indiana e depois difundida pelo mundo árabe até a Europa, foi um evento tardio e gradual, não uma descoberta pontual: conviveu por séculos com sistemas concorrentes, como os algarismos romanos e o ábaco. Um episódio menos conhecido, mas relevante para o próprio Cálculo, é o das frações decimais, sistematizadas por Simon Stevin — cuja obra já está catalogada na bibliografia do Cálculo I deste Laboratório — como alternativa às frações sexagesimais herdadas da tradição babilônica (BOYER; MERZBACH, 2012).

Tatiana Roque (2012) chama atenção para um risco historiográfico comum a esse tema: o de narrar a história dos sistemas de numeração como uma marcha linear de progresso, da suposta "primitividade" egípcia à suposta "maturidade" indo-arábica. Uma leitura crítica trata cada sistema como resposta situada a necessidades de cálculo, comércio, astronomia e administração próprias de seu tempo e lugar — postura que este núcleo adota também para os demais tópicos que se seguem.

Geometria, álgebra e trigonometria

A geometria grega antiga, consolidada nos Elementos de Euclides — já catalogado na bibliografia do Cálculo I —, estabeleceu um modelo de conhecimento matemático fundado na demonstração dedutiva a partir de axiomas e postulados, e não na medição empírica ou na autoridade. Esse modelo tornou-se paradigmático para a Matemática ocidental por mais de dois mil anos, e sua influência epistemológica é discutida com mais profundidade no Núcleo IV (Epistemologia da Matemática) deste eixo.

Paralelamente, a álgebra se desenvolveu por vias distintas: os problemas algébricos babilônicos, resolvidos por procedimentos retóricos sem notação simbólica; a sistematização de al-Khwarizmi no mundo árabe medieval, de onde herdamos o próprio termo "álgebra"; e, mais tarde, a álgebra simbólica europeia dos séculos XVI e XVII. Victor Katz (2009) e Howard Eves (2004) documentam como essa trajetória não foi de mera acumulação de técnicas, mas de sucessivas mudanças na própria noção do que contava como uma solução matemática aceitável — de uma construção geométrica a uma expressão simbólica manipulável.

A trigonometria, por sua vez, nasceu ligada à astronomia — no cálculo de cordas e ângulos por astrônomos gregos e depois indianos e árabes — antes de se autonomizar como ramo da Matemática voltado ao estudo de triângulos e funções periódicas. Struik (1987) situa esse desenvolvimento como um caso exemplar de como uma ferramenta de cálculo aplicado pode, com o tempo, tornar-se objeto de investigação matemática por si mesma.

Geometria analítica e desenvolvimento do Cálculo

A geometria analítica de René Descartes — cuja obra já integra a bibliografia do Cálculo I neste Laboratório — representa um marco: ao associar curvas a equações algébricas por meio de um sistema de coordenadas, Descartes uniu dois campos que a tradição grega mantinha separados, a geometria e a álgebra. Essa unificação forneceu a linguagem sem a qual o Cálculo, tal como veio a se constituir no século seguinte, dificilmente teria sido formulado (BOYER; MERZBACH, 2012).

O desenvolvimento do Cálculo por Isaac Newton e Gottfried Wilhelm Leibniz, na segunda metade do século XVII, é tratado pela historiografia contemporânea não como um insight isolado, mas como a convergência de um problema de longa data — o de determinar tangentes, áreas e taxas de variação — com uma notação e um aparato conceitual finalmente capazes de tratá-lo de modo geral. A célebre disputa de prioridade entre os dois matemáticos é, para Roque (2012), menos interessante do que o fato de terem chegado, por caminhos conceituais distintos, a um mesmo núcleo de resultados.

É importante notar, com Eves (2004), que o Cálculo do século XVII operava sem uma fundamentação rigorosa dos seus próprios objetos — em particular, do infinitésimo. Essa fragilidade lógica, tolerada por gerações de matemáticos em razão da fecundidade do método, é precisamente o que os desenvolvimentos discutidos no tópico seguinte viriam a enfrentar.

Conceitos de função, limite, derivada e integral

O conceito de função, hoje apresentado nos cursos de Cálculo como ponto de partida, é ele próprio uma construção histórica tardia. Nasceu ligado a relações entre grandezas variáveis e curvas, ganhou formulações sucessivas — a de Euler, no século XVIII, entre elas, já catalogada na bibliografia do Cálculo I — e só assumiu sua forma moderna, como correspondência entre conjuntos, com os trabalhos de fundamentação do fim do século XIX e início do XX (KATZ, 2009).

O rigor no tratamento do limite, da derivada e da integral é obra do século XIX, sobretudo de Augustin-Louis Cauchy — já catalogado na bibliografia do Cálculo I —, que substituiu a linguagem intuitiva dos infinitésimos por definições baseadas em desigualdades. Esse movimento de rigorização, ao qual se seguiram as contribuições de Dirichlet e outros sobre o próprio conceito de função, é o que permitiu transformar o Cálculo de um conjunto de métodos eficazes em uma teoria matemática com fundamentos explícitos (BOYER; MERZBACH, 2012).

Vale notar, seguindo Struik (1987), que esse processo de rigorização não foi uma correção menor de detalhes técnicos: ele redefiniu o que contava como uma demonstração aceitável em Análise, com consequências diretas para a forma como esses conceitos são hoje ensinados — tema retomado no Núcleo VIII (Conhecimento Matemático, Ensino e Aprendizagem) deste eixo.

Equações diferenciais, sequências e séries

As equações diferenciais surgiram como linguagem natural para os problemas de física matemática do século XVIII — do movimento dos corpos à propagação do calor —, antes de se consolidarem como um campo autônomo com métodos próprios de resolução. A obra de Joseph Fourier sobre a propagação do calor, já catalogada na bibliografia do Cálculo I, é um caso emblemático: sua tentativa de representar funções por séries trigonométricas gerou, ao mesmo tempo, um instrumento poderoso de cálculo e uma controvérsia matemática sobre a própria noção de função e de convergência (KATZ, 2009).

O estudo de sequências e séries infinitas, por sua vez, expôs de forma particularmente aguda a fragilidade lógica do Cálculo pré-rigoroso: séries divergentes eram manipuladas como se convergissem, e resultados contraditórios não tardaram a aparecer. Foi também nesse terreno que o programa de rigorização do século XIX, associado a Cauchy e depois a Dedekind — ambos já catalogados na bibliografia do Cálculo I —, encontrou parte de sua motivação mais concreta (BOYER; MERZBACH, 2012; EVES, 2004).

Formalização da Matemática

O movimento de formalização que atravessa a Matemática entre o final do século XIX e as primeiras décadas do século XX buscou fundamentar toda a disciplina sobre bases explícitas e livres de apelo à intuição geométrica ou física. A construção dos números reais por Dedekind, já catalogada na bibliografia do Cálculo I, e o projeto de fundamentação lógica da Aritmética empreendido por Gottlob Frege, também já catalogado, são dois marcos desse movimento — o primeiro voltado à Análise, o segundo à própria natureza lógica dos números (KATZ, 2009).

Esse programa de formalização não foi consensual nem linear: ele convive, na primeira metade do século XX, com debates entre correntes divergentes sobre os fundamentos da Matemática — questão retomada, em seus termos propriamente filosóficos, no Núcleo II (Filosofia da Matemática) deste eixo. Boyer e Merzbach (2012) e Roque (2012) descrevem esse período como um momento em que a Matemática, pela primeira vez de modo sistemático, tomou a si mesma como objeto de investigação rigorosa.

Do ponto de vista deste núcleo, o essencial é reter que formalizar não significa esvaziar de sentido histórico os conceitos formalizados: a definição rigorosa de limite, por exemplo, não apaga a longa trajetória de tentativa e erro que a precedeu — ela é o ponto de chegada, provisório como todo ponto de chegada em Matemática, de um processo que este núcleo procurou reconstituir.