Você está na página 1de 11

Pontifcia Universidade Catlica de So Paulo

Tpicos da Histria e Filosofia da Matemtica


Professor: Dr. Fumikasu Saito
Adriana Tiago Castro dos Santos
Lia Corra da Costa

Leibniz e sua contribuio para a Matemtica


Introduo
Esta pesquisa tem o intuito de apresentar a grande contribuio de Gottfriend
Wilhelm Leibniz, filsofo alemo, racionalista que muito contribui na histria da
matemtica e histria da filosofia em vrios campos que abrange direito, matemtica,
fsica, lgica, tica e teologia. Abordaremos sua biografia, sua contribuio para a
matemtica como a criao do Clculo Infinitesimal, Sries Infinitas e as crticas de seu
trabalho buscando interaes com as apresentaes e discusses ocorridas em sala de
aula, apresentao do contexto histrico, a evoluo do processo da construo do
conhecimento,

situaes

possveis

de

revoluo,

transformao,

ruptura

ou

continuidade, mudana de paradigma e como vrias concepes de conhecimento


mobilizou diferentes pocas perdurando at o dia de hoje.
Durante as aulas foram discutidos temas referente questes relacionadas
existncia do ser, a construo do conhecimento e a busca da verdade, valores morais e
estticos, precisamente questes que permearam a Histria e a Filosofia da Matemtica
desde a poca de Plato e Aristteles. Estas discusses nos fizeram refletir sobre fatos,
descobertas de vrios sculos tais como: ideias a respeito da cincia, entes matemticos,
interpretao dos fenmenos, investigao, estatuto ontolgico e muitos outros.
um desafio argumentar sobre a filosofia da matemtica, pois existem
diferentes correntes filosficas na historia da matemtica, entretanto, iniciaremos
permeando o sculo XVII onde a matemtica tomou uma nova forma, dando origem a
um dos mais importantes ramos da matemtica, a Anlise Matemtica; surgiram
problemas que deram origem ao Clculo Diferencial.
A Geometria Analtica com a mistura de lgebra e geometria e o Clculo
diferencial e integral, deram um grande impulso ao desenvolvimento da matemtica,
1

cincia, que deu origem a novas teorias. Pesquisadores da poca tais como Newton,
Leibniz, Descartes, Pascal, Cavalieri, corajosamente se difundem em elabor-las
deixando se levar mais pela intuio do que por uma atitude racional no
desenvolvimento da cincia, neste sentido, percebemos a evoluo histrica da
matemtica.
A seguir apresentaremos a contribuio de um grande gnio universal do sculo
XVII que descobriu o teorema fundamental do clculo e desenvolveu grande parte da
sua notao, estabelecendo frmulas fundamentais da diferenciao.

Contexto Histrico

Sobressai no sculo XVII e XVIII, a ostentao da burguesia, a qual assumiu


uma caracterstica prpria de pensamento, tendendo para um processo que tivesse
imediata utilizao prtica. Com isso surgiu o Iluminismo ou era da razo, corrente
filosfica que props "a luz da razo sobre as trevas dos dogmas religiosos". O filsofo
Ren Descartes mostrou ser a razo a essncia dos seres humanos, surgindo a frase
"penso, logo existo". No aspecto poltico o movimento Iluminista expressou-se pela
necessidade do povo escolher seus governantes atravs de livre escolha da vontade
popular. Neste perodo que ocorreu a Revoluo Francesa em 1789.
O Mtodo Cientfico surgiu como uma tentativa de organizar o pensamento para
se chegar ao meio mais adequado de conhecer e controlar a natureza. J no fim do
perodo do Renascimento, Francis Bacon pregava o mtodo indutivo como meio de se
produzir o conhecimento. Este mtodo entendia o conhecimento como resultado de
experimentaes contnuas e do aprofundamento do conhecimento emprico. Por outro
lado, atravs de seu Discurso sobre o mtodo, Ren Descartes defendeu o mtodo
dedutivo como aquele que possibilitaria a aquisio do conhecimento atravs da
elaborao lgica de hipteses e a busca de sua confirmao ou negao.
A Igreja e o pensamento mgico cederam lugar a um processo denominado, por
alguns historiadores, de "laicizao da sociedade". Se a Igreja trazia at o fim da Idade
Mdia a hegemonia dos estudos e da explicao dos fenmenos relacionados vida, a
cincia tomou a frente deste processo, fazendo da Igreja e do pensamento religioso
razo de ser dos estudos cientficos.

Biografia

Leibniz (1646-1716) nasceu em Leipzig, onde aos quinze anos entrou na


Universidade e aos dezessete obteve o grau de bacharel. Aos vinte anos recusaram-lhe o
ttulo de doutor em direito pela pouca idade, nessa poca deixou a sua cidade e obteve
seu doutorado na Universidade de Altdorf em Nuremberg, onde recusou um posto de
professor de direito. Entrou no servio diplomtico, primeiro para o eleitor de Mainz,
depois para a famlia de Brunswick, e finalmente para os hanoverianos, a quem serviu
durante 40 anos.
O interesse de Leibniz pela matemtica resultou de uma misso diplomtica a
Paris em 1672. Na ocasio, ele teve a imensa felicidade de conhecer Christiaan Huygens
que lhe deu de presente uma cpia do seu trabalho sobre a oscilao do pndulo e deulhe aulas sobre os trabalhos de Barrow, Cavalieri, Pascal, Descarte e outros. Em 1673
uma misso poltica levou-o a Londres, onde comprou um exemplar das Lectiones
Geometricae de Barrow, encontrou Oldenburg e Collins, e tornou-se membro da Royal
Society.
Leibniz destaca o carter lgico-analtico da matemtica com sua clssica
diviso entre verdades de fato ou contingentes e verdades de razo, as quais no
poderiam ser negadas. Assim a matemtica poderia ser assumida como inteiramente
conceitual e simblica. Os postulados prprios da geometria era uma certeza moral,
devendo ser eventualmente demonstrada. As verdades matemticas jazem dormente na
mente humana e elas migraram pela vontade divina da prpria mente de Deus que no
criou a matemtica apenas na alma humana, mas tambm na natureza, desta forma, a
matemtica rege o mundo, tornando inteligvel. (SILVA, 2007)
Um ingrediente chave na inveno do clculo por Leibniz foi o seu interesse
pela lgica e linguagem, pois o levou a pensar profundamente sobre os processos
bsicos envolvidos e a elaborar uma notao que, atravs da captura de uma unidade
fundamental, tornou suas descobertas fcil de usar.

Contribuies para a matemtica

A inveno do Clculo de Leibniz

De todos os avanos matemticos do sculo XVII, a descoberta do clculo


talvez o mais impressionante (MANCOSU, 1996). As tcnicas do Clculo permite aos
matemticos a ponte de duas das principais reas de pesquisa em Matemtica: a
determinao das tangentes e o clculo de rea e volumes. A primeira refere-se ao
objeto do clculo diferencial e o segundo do clculo integral. O nascimento do Clculo
coincide com a busca da determinao das tangentes e o clculo de rea que so
inversas.
A maioria dos historiadores em matemtica atribui a Newton e Leibniz a criao
do Clculo, embora seus estudos fossem descobertos independentemente, Leibniz
publicou primeiro seus resultados em 1684 intitulado Nova Methodus pro Maximis et
Minimis e Newton publicou sua obra em 1987 denominado Princpia.
Os manuscritos de Leibniz traduzidos por de J. M. Chid, apresenta a notao de
Bonaventura Cavalieri
smbolo muito mais perspicaz

para todas as linhas de uma figura e depois introduziu o


e observou algumas de suas propriedades algortmicas.

Alerto para uma relao inversa entre soma e diferenciao, encontrar reas e
tangentes, Leibniz simbolizou a inversa da integral por d escrito como uma recproca
em razo dimensional. Desta forma, esta praticidade convenceu-o abandonar tais
consideraes e d como diferencial entrou para a matemtica.
Aps nove meses Leibniz foi capaz de ver como o seu clculo poderia enfrentar
o problema da tangente inversa de Debeaune, embora tenha se atrapalhado um pouco, o
seu evidente prazer em ir alm das observaes arrogante de Descartes que se deu o
trabalho de transcrever completamente compreensvel.
Seu trabalho foi publicado somente mais tarde e foi marcado por erros
descuidados, contudo, Leibniz teve o cuidado de enfatizar a generalidade dos seus
mtodos e a rotina do seu carter. Foi apresentada uma maneira de resolver problemas
geomtricos. O fruto de suas meditaes foi uma forma de calcular com o uso de
smbolos e foi ilustrado pela srie de problemas que ele abordou. Em poucas pginas, o
reinado da geometria foi questionado de uma forma que nem mesmo Descartes poderia
ter contemplado.

A notao para o clculo


Segundo King (1992), Leibniz tinha uma notvel habilidade para construir
notaes. Criou termos como abscissa, ordenada, coordenada, eixo de coordenadas e
funo.
A seguir, apresentaremos a notao desenvolvida por Leibniz encontrada em
The early manuscripts(CHILD,1919 p.80). Um entre alguns dos manuscritos datados
diariamente, enquanto pensava e se envolvia em suas construes mentais do clculo.

Figura 1- Curva
Fonte: (CHILD,1919, p. 78)

Seja

ento

Por isso, omn.y

entretanto

significa o mesmo como


, o mesmo

no ainda

como

Assim,

no

; desde que

ou

multiplicado por um que corresponde a um certo ; por isso,

Assim, outra forma provada que


=
, isto , =
portanto, temos um teorema que parece admirvel e que vai prestar um grande servio a
este novo clculo,ou seja,
o que

pode ser qualquer que seja; isto , se todos os

so

multiplicados por seus ltimos e assim por diante quantas vezes isso pode ser feito, a
soma de todos estes produtos ser igual a metade da soma dos quadrados, dos quais os
lados so a soma dos . Este um teorema muito fino, e no to bvio.

Outro teorema da mesma espcie :

, onde

considerado como um termo da uma progresso e


ou a ordem do correspondente a ele ou o

o nmero que expressa a posio

o nmero ordinal e a coisa ordenada.

Neste clculo, uma lei que rege as coisas da mesma espcie pode ser notada;
pois se

prefixado para um nmero ou proporo ou a algo indefinidamente

pequeno, ento uma linha produzida, tambm se uma linha, em seguida uma
superfcie, ou se a uma superfcie, em seguida um slido; e assim por diante at o
infinito para dimenses mais elevadas.
Ser til escrever

para obter

, de modo que

ou a soma de

.
Assim,

,e

A partir disso vai parecer que uma lei de coisas da mesma famlia devem sempre
ser notado, como til para eliminar os erros de clculos.
Se

dada analiticamente, ento l tambm dado; portanto se

assim tambm ; mas se

dado,

dado,

no dado tambm. Em todos os casos

.
Todos esses teoremas so verdadeiros para a srie em que as diferenas dos
termos suportam os prprios termos numa relao que menor que qualquer quantidade
atribuvel.

Se os termos forem afetados, a soma tambm afetada da mesma maneira, como


sendo uma regra geral, por exemplo,

, isto , se

um termo constante,

ele deve ser multiplicado pelo ordinal mximo, mas se ele no um termo constante,
ento impossvel lidar com isso, a menos que possa ser reduzido a termos em l ou
sempre que pode ser reduzido a uma quantidade comum, tais como um ordinal [...]

Dado e sua relao com x para encontra

Isso para ser obtido a partir do clculo contrrio, isto , suponha que
Seja

; ento assim como

significa uma soma, e


de

aumentar, ento

diminuir as dimenses. Mas

uma diferena. Dado , podemos sempre encontrar

ou , isto

. Da uma equao pode ser transformada em outra, apenas a partir da equao

ns podemos obter a equao c

E similarmente,

Em 1986 Leibniz publicou De geometri recndita et analysi indivisibilium


atque infinitorum que fundamente a abordagem leibniziana para o clculo integral. A
a idia central do clculo so os processos de diferenciao e integrao e o inverso do
outro, ou, mas geometricamente, a determinao de tangentes a uma curva dada e o
clculo da rea entre o eixo e a curva so problemas inversos. (MANCOSU, 1996)
Leibniz disse explicitamente

que

inspirao para

esta

descoberta

fundamental foi ter com ele, estudando as diferenas e somas de seqncias numricas.
Mancosu cita um exemplo para ilustrar o pensamento de Leibniz sobre esta
descoberta.
Considere uma sequncia finita

Apartir desta sequncia

podemos construir uma nova sequncia


. Podemos somar o

e obter

. Leibniz

extrapolou a propriedade de uma sequencia finita para uma infinita. Por exemplo a
somoa da srie

pode ser descrita por

reescrita como uma diferena

para

, e podendo ser

. No caso de uma soma infinita

temos:

.
Ao extrapolar para o infinito como

crescimento

tornou infinitamente

pequeno ou nula. Assim, a soma igual a 2. Quando consideramos um contexto


geomtrico, a ideia que Leibniz explanou sobre reas e tangentes so problemas
inversos.
7

Leibniz em 1694 explicou o conceito de diferencial sem nenhuma referncia


para quantidades infinitamente pequenas. Ele introduziu
finito, e

como um segmento fixo

como um segmento que satisfazendo a equao

Mancosu acredita que Leibniz parece ter evitado propositalmente o recurso


a quantidades infinitamente pequenas, a fim de evitar possveis objees fundamentais.
E cita que, esta forma de introduzir o diferencial foi anmalo. Na maioria dos outros
artigos, Leibniz introduziu diferenciais diretamente como infinitamente pequenas quantidades.
Essa oscilao certamente contribuiu para uma grande confuso e, de fato, a noo
de diferencial estava no centro das discusses fundamentais sobre o novo clculo. No
entanto quantidades infinitesimais no

estavam

completamente

ausentes,

mesmo neste

artigo. Sua definio de recursos tangente apareceu como uma distncia infinitamente pequena
noo de uma curva como um polgono de lados infinitos.
Mancosu ressalta que ao pensar em uma curva como um polgono de lados infinitos
uma progresso da ideia de variveis. E salienta que as indeterminaes foram um instrumento
produtivo para o desenvolvimento do Clculo, e em alguns casos os resultados do clculo
diferencial so independentes das regras das diferenciais introduzidas por Leibniz em 1684.
Aponta a relevncia da necessidade de observar que
aplicar o operador

para obter

tambm uma varivel. Podemos

, a diferena da diferena.

As crticas sobre o Clculo de Leibniz


Leibniz sofreu vrias crticas sobre o seu trabalho. Cluver, um dos seus crticos
concentrou-se sobre a eliminao da diferencial que foi tratado como um zero, os seguidores de
Leibniz insistem na noo de incomparabilidade. O debate com Cluver foi insatisfatrio.
Contudo, Leibniz e Bernoulli esforaram em tentar abrir um dilogo. Mancosu afirma que
Cluver no teve habilidades tcnicas e intelectuais para requerer mudanas.

Mancosu ressalta que o telogo holands Bernard Nieuwentijt publicou em 1694


uma obra intitulada Considerationes circa analyseis ad quantitates infinite parvas
applicatae principia, ET calculi differentialis usum in resolvendis problematibus
geometricis. Tal publicao forou Leibniz em responder por meio de um artigo
publicado na Acta Eruditorum em 1695.

Alm de sua objeo inicial, Leibniz corretamente individualizou trs principais


pontos no ataque do Nieuwentijt.
A primeira foi o mtodo do clculo diferencial, Newton e Barrow cometem um
erro no tratamento de quantidades infinitamente pequenas como zero.
Segundo, o clculo de Leibniz no pode ser aplicado a funes exponenciais,
digamos funes da forma

Embora Nieuwentiijt aceita diferenciais de primeira ordem, ele rejeita os


diferenciais de ordem superior.
Considerando que o segundo desafio simplesmente tcnico, sendo a primeira e
a terceira objees so ditadas para Nieuwentijt pela inconsistncia bvia entre entre
estes principios e os principios baseados em seu Analysis Infinitorum.
A resposta de Leibniz para a primeira objeo mostra o profundo conflito entre
os dois sistemas matemticos. Considerando Nieuwentijt comea com a suposio de
que duas quantidades so iguais se suas diferenas zero.
Leibniz afirma que duas quantidades so iguais, no s quando a diferena
absolutamente zero, mas quando a diferena incomparavelmente pequena em
relao s quantidades de que a diferena.
Assim, quantidades

infinitesimais

no

tm

relao

no

sentido de

Euclides para quantidades finitas.


Embora na prtica sempre mais direta para operar com a eliminao
de quantidades
absurdum para

infinitesimais,
provar

pode-se usar
validade das

sempre uma Arquimedes reductio ad


provas

obtidas. Vemos

aqui usado

por Leibniz para a fundao do clculo infinitesimal, uma reduo para o reductio ad
absurdum dos antigos.(Mancosu, 1996)
O clculo infinitesimal til quando se trata de aplicar a matemtica
descrio dos fenmenos de fsica, no entanto no serve para definir a natureza das
coisas, afirmou Leibniz. uma nova verso das posies de Aristteles, apoiada agora
pelas novas tcnicas matemticas.
A impreciso existente na interpretao do significado do clculo infinitesimal
provocou as crticas no s de Berkeley, mas tambm de Nieuwentijt (1654-1718). As
crticas de Berkeley e Nieuwentijt tinham a sua justificao, mas eram inteiramente
negativas. Eram incapazes de fornecer uma fundamentao rigorosa do clculo, mas

inspiraram trabalhos construtivos posteriores (STRUIK, 1989). A fundamentao


rigorosa do clculo s viria a ser elaborada dois sculos depois.
Nos sculos XVIII e XIX os matemticos, para alm de desenvolverem os
mtodos do clculo infinitesimal, tentaram fundamentar rigorosamente esses mtodos.

Consideraes Finais
Percebemos que as formas de pensar sobre o mundo e o universo ganharam
novos rumos ao longo do sculo XVII, o conhecimento deixou de ser religioso e passou
a ser de mbito racional e cientfico, surgiram diferentes concepes de ver o mundo e
forma filosfica de pensar. Observamos o surgimento de uma movimentao de
conhecimento, pressupostos filosficos, modelos que possibilitaram discusses,
evolues, revolues, retificaes e rigor, que de alguma maneira contriburam para a
construo do conhecimento, desenvolvimento da cincia e principalmente para a
matemtica, nesse contexto, experincia, razo e mtodo cientfico so apresentados
como formas de impetrar conhecimentos em diferentes facetas.
A esses aportes apontemos alguns filsofos como Scrates (470 a.C. 399.C),
Plato (428 a 347 a.C.), Aristteles (384a.C - 322 a.C.), Euclides (360a.C.-295a.C),
Arquimedes (287a.C-212), Galileu Galilei (1564-1642), Isaac Newton (1643-1727),
Leibniz Gottfried (1646-1716), Rousseau, Jean- Jacques (1712-1778), Auguste (17981857), Russell, Bertrand (1872-1970),

Gaston (1884-1962), Popper (1902-1994) e

Kuhn (1922-1996), com seus talentos e dedicao se destacaram em nossa histria.


No que diz respeito a esta pesquisa conclumos que Leibniz contribuiu de forma
significativa para a evoluo da Matemtica principalmente no que diz respeito ao
simbolismo, a criao do Clculo Diferencial e Integral, notaes, sries infinitas,
tringulo harmnico, tringulo diferencial.
A lgica Moderna iniciou-se com Leibniz no sculo XVII e utilizou a metafsica
como um meio poderoso que permitisse alcanar o mesmo grau de rigor que tinha
alcanado a Matemtica. Pensamos em reconstruir o percurso desses acontecimentos
permeando livros, textos cientficos, atentando a evoluo, a forma apresentada e ao
contedo; preocupamos minuciosamente com os detalhes. Percebemos que h muito a
ser explorado, seja no contexto filosfico, matemtico, inseridos no social ou cultural na
poca onde culminaram as grandes ideias.

10

importante lembrar que h muito para ser pesquisado quando se trata do


contexto histrico das contribuies da matemtica, mas temos plena certeza que
comeamos a dar o nosso prprio passo em busca desse conhecimento.

Referncias
BOYER, C. B., Clculo / Carl B. Boyer: Traduo Hygino H. Domingues. Tpicos de
Histria da Matemtica para uso em sala de aula; volume 6. So Paulo: Atual, 1992. p.
44-50.
_____, Carl. Histria da Matemtica. 2 edio. So Paulo. Edgard Blucher, 1996.
CHILD J. M. The early mathematical Manuscripts of Leibniz, translated from the
latin texts published by Immanuel Gerhardt. Londo: The open Court publishing
company, 1920.
FAUVER J; GRAY J.(Org). Leibniz and his followers In: The history of
Mathematics: A Reader; London: Macmillan, 1987 p. 425 - 445.
MANCOSU, P. Leibnizs Differential Calculus and its opponents. In: Philosophy of
Mathematics and Mathematical Practice in the seventeenth century . New York:
Oxford, 1996. p. 151-177.
KING A. C. Leibniz In: Clculo/ Carl B. Boyer Tpicos de histria da Matemtica
em sala de aula. Traduo Hyfino H. Domingues. volume 6 So Paulo: Atual, 1992 p.
44-50.
STRUIK, D.J., Histria Concisa das Matemticas, Lisboa: Gradiva, 1989, p. 186.
SILVA, J. J da. Filosofias da Matemtica. So Paulo: Ed. UNESP/FAPESP, 2007.
Mello J. L. Pedagogia em Foco disponvel em
http://www.pedagogiaemfoco.pro.br/met03.htm acesso em 20/11/2011.
Leibniz disponvel em http://www.leibnizbrasil.pro.br/leibniz-vida.htm acesso em
20/11/2011.
http://www.consciencia.org/malebranche-spinoza-e-leibniz-evolucao-da-filosofia-dedescartes. Acesso em 26/11/2011.
http://fatosmatematicos.blogspot.com/2010/07/o-triangulo-harmonico-de-leibniz.html.
Acesso em 29/11/2011.

11