1

Os indivisveis e o infinito no trabalho de Bonaventura Cavalieri.

AUTOR: ANBAL PINTO
1

A procura pela explicao da natureza acompanha os homens desde pocas longnquas. A

ideia de que tudo teria um princpio era uma preocupao dos gregos antigos. Para conhecer a
base material das coisas, os antigos tentaram explicar como operava o princpio da natureza,
considerando duas possibilidades sobre a matria: que a matria teria uma constituio
homognea e contnua, ou que a matria era dividida em inmeras formaes.
O desenvolvimento da segunda concepo levou teoria atomista da matria. Para Zeno de
Elia (495 - 430 a. C.), se considerarmos qualquer uma das afirmaes anteriores, o
movimento considerado impensvel (inteligvel). Para tanto, escreveu alguns paradoxos: o
da Dicotomia e o da Flecha.
Para Aristteles (384-322 a. C.), o contnuo era composto por partes que podiam ser
divididas, divididas novamente e assim sucessivamente, sem fim. Dizia que se o infinito no
uma grandeza nem multiplicidade, mas uma substncia e no um acidente, deveria ser
indivisvel, porque s as grandezas e as multiplicidades so divisveis; mas se indivisvel, s
pode ser infinito. Aristteles no props uma teoria corpuscular, porm com base em alguns
de seus escritos, comentadores medievais desenvolveram a chamada teoria dos mnima
naturalia. Alguns comentadores medievais procederam conciliao entre a teoria do mnima
e o atomismo, porm as teorias possuem divergncias bsicas que vo alm do vocabulrio
utilizado: minimum e atomus.
O mtodo da Exausto de Eudoxo de Cnidos (390 338 a. C.), de 370 a. C., admite que uma
grandeza possa ser subdividida indefinidamente; sua base a proporo. Se fundamentando
no Livro X dos Elementos de Euclides, esse mtodo foi muito importante e se tornou modelo
grego nas demonstraes de clculos de reas e volumes, por ser muito rigoroso. Arquimedes
aplicava o seu mtodo e o provava utilizando o mtodo da Exausto. Este mtodo de
Arquimedes o fundamento de um dos processos essenciais do clculo infinitesimal.

Pontfice Universidade Catlica, doutorando, trabalho realizado no Programa de Estudos Ps-Graduados da

PUC-SP, sob a orientao do Prof. Dr. Jos Luiz Goldfarb, com bolsa CAPES.

A noo de infinito foi entendida pelos gregos antigos, na obra de Anaximandro (610547 a.C.), como aperon, ou seja, tudo aquilo que fosse indefinido, vago ou esmaecido, algo
sem fronteiras, sem determinao e por isso incerto. Portanto, algo sem limites e
indeterminado.
Somente no sculo XVII, as ideias de Arquimedes (287-212 a.C.) passaram a ser consideradas
e estudadas sistematicamente, sendo desdobradas, com a separao da noo do infinito
(restrito) que se tornou parte da matemtica e a noo de indefinido. Foram mantidas as
noes de infinito, probabilidade, espao e movimento, ainda com ambiguidades, mas
possibilitando a busca por caminhos para suplantar tais ambiguidades.
Estudos como os de Johannes Kepler (1571-1630), sobre infinitesimais, se apoiaram no
princpio de continuidade de Nicolau de Cusa, que defendia a infinitude do Universo, os
estudos de Galileu, afirmando que o contnuo composto de uma infinidade de indivisveis,
mas no estabelecendo um mtodo prtico para a manipulao dos indivisveis.
Bonaventura Cavalieri (1598-1647) procurou uma sistematizao racional do mtodo dos
indivisveis, possibilitou o estudo dos mesmos de forma indireta. Podemos afirmar que certo
grau de originalidade da teoria de Cavalieri est em no tomar posio sobre a composio do
contnuo e se contentar com a ligao indireta entre o contnuo e os tomos de grandeza.
Os estudos que abordam o pensamento de Bonaventura Cavalieri trazem expresses como:
prolixo e pouco claro (EVES, 1995: 425), obscuridade a toda prova (KOYR, 1991: 3l443) ou, edifica uma teoria com todas as sua peas (...) bases slidas (DE GANDT, 1986:
57). Estes aspectos contraditrios na avaliao dos historiadores, a respeito do trabalho de
Cavalieri, esto ligados falta de compreenso de seu trabalho. Os pontos de vista sobre a
natureza da indivisibilidade, suas demonstraes, a validao de seu famoso princpio,
geralmente so considerados como obscuros e, como tal, deixados na sombra.(CELLINI,
1996: 01).
Entretanto esses aspectos de obscuridade abordados esto diretamente ligados ao estilo, muito
particular, de Cavalieri escrever. Uma anlise mais profunda ou ainda a utilizao final de
seus mtodos no clculo de reas e volume comprova a validade de seu trabalho.

Quanto dificuldade de leitura e compreenso dos trabalhos de Cavalieri, Alexandre Koyr,

no livro Estudo da Histria do Pensamento Cientfico, afirma que:
deve-se admitir que todas as obras matemticas desta metade do sculo XVII so difceis de ler e
compreender, em virtude de sua linguagem arcaica e da ausncia de um simbolismo matemtico que
somente surgiria depois e ao qual estamos habituados. Ainda a aparente obscuridade de seu pensamento
deve ser considerada normal, pois um pensamento original sempre obscuro em seus primrdios. (...)
Nasce na obscuridade e at na confuso e da avana em direo clareza. Todas as pessoas do sculo
XVII (excetuando Galileu e Torricelli) escreviam mal. (KOYR, 1991: 327).

Entretanto, sob nosso ponto de vista, parece-nos que Cavalieri e outros autores do sculo
XVII escreviam de acordo com os dados e mtodos de que dispunham. O fato de Cavalieri
muitas vezes parecer repetitivo parece que estava ligado a sua preocupao em deixar bem
claras suas ideias, o que requer um cuidado maior de quem analisa sua obra. Lembremos que
as relaes entre a linguagem e o objeto eram outras.
Todas estas circunstncias levaram tradutores a expressar as ideias de Cavalieri, numa
linguagem que, na verdade, no era a sua, linguagem que foi desenvolvida a partir de
concepes diferentes das suas, portanto, descaracterizando seu pensamento e tornando o
mesmo difcil, medida que tentam simplificar seu pensamento. (KOYR, 1991: 327).
Estabelecer o que entendia por indivisveis e como aplicava em seu trabalho o grande
desafio para os estudiosos do pensamento de Bonaventura Cavalieri. Na verdade, em suas
demonstraes, observamos que Cavalieri no abordou diretamente os indivisveis; ele
utilizou expresses como todas as linhas da superfcie e todos os planos de um slido.
Cavalieri, em sua obra, faz com que a diferena entre a igualdade de figuras por superposio
e a igualdade de rea entre figuras de formas diferentes seja eliminada.
O Livro Geometria Indivisibulus Continuorum nova quadam ratione promota, publicado em
1635, est dividido em sete partes, sendo que o Livro I - Geometriae Cavalierii foi dedicado
s definies e a resultados preliminares e foi escrito, na verdade, aps os livros II a V.
No Livro II, Cavalieri afirma que os conjuntos formados por todas as linhas de uma figura e
por todos os planos de um corpo geomtrico so grandezas que podem ter relaes
determinadas com os conjuntos correspondentes de outra figura ou corpo. Quarumlibet
planarum figurarum omnes lineae recti transitus et quarumlibet solidorum omnia plana, sunt
magnitudines inter se rationem habentes, ou seja, a demonstrao estava baseada na

possibilidade de igualar uma dada figura a uma parte de outra; assim, o conjunto das linhas da
primeira estar para o conjunto das linhas da segunda, na proporo da parte em relao ao
todo (CAVALIERI, 1653: 100).
Cavalieri no pretende formar somas dessas linhas e planos, bem ao contrrio, declara que o
conjunto de um nmero indefinido (infinito) de elementos indefinido por si prprio
(infinito) e, portanto, no pode relacionar-se entre si. Porm, Cavalieri acreditava que
qualquer que seja a opinio sobre o continuum, quer se admita que existam numa superfcie
s linhas, quer se admita que haja algo alm de linhas, no se pode deixar de reconhecer o
fato de que elas se acham em toda parte e que atravessando uma superfcie, encontramos
todas. (KOYR, 1991: 315).
Cavalieri possibilitou, com seu mtodo, uma liberdade maior no trabalho das propores entre
as figuras e no clculo das reas e volumes, atravs do estabelecimento de uma
correspondncia unvoca e recproca entre os elementos homlogos dos objetos de estudo, ou
seja, os indivisveis. Esta liberdade foi fundamental para potencializar perspectivas que
ocorreram posteriormente.
Os primeiros anos do sculo XVII foram caracterizados por estudos de aplicao de mtodos
infinitesimais para soluo de problemas de geometria e dinmica (KOYR, 1991: 315).. O
trabalho de Kepler, Stereometria doliorum vinorum (Geometria Slida dos Barris de Vinho,
1615), foi escrito a partir da anlise dos mtodos existentes para avaliar os volumes dos tonis
de vinho, comparados com os de Arquimedes. O mtodo volumtrico desenvolvido por
Kepler consistia em considerar os slidos como compostos de uma infinidade de elementos
infinitesimais, dispensando o mtodo de exausto.(BOYER, 1974: 223-4).
A noo do infinitamente pequeno, ou seja, o elemento constitutivo do objeto
geomtrico que tem, a despeito de sua infinita pequenez, tantas dimenses quantas o objeto
em questo (KOYR, 1991: 316), defendida por Kepler, no partilhada por Cavalieri, onde
o indivisvel no um infinitamente pequeno. O uso que faz Cavalieri do conceito mostra que
o indivisvel de um corpo uma superfcie, o de uma superfcie uma linha e o de uma linha
um ponto. O mtodo no se aplica comparao de linhas entre si ou necessita da possvel
diferena entre pontos.

Cavalieri no compe a linha com pontos e o plano com linhas, pois conhecia as discusses
medievais de compositione continui; portanto, sabia que tais afirmaes seriam impossveis.
Logo, as crticas feitas por Paul Guldin (1577-1643) e Gilles Persone de Roberval (16051675), afirmando que Cavalieri queria compor linhas com pontos, superfcies com linhas e
corpos com superfcies totalmente infundada, j que exatamente isto que ele se ope a
fazer e do que mais se orgulha ter evitado. (KOYR, 1991: 316). Roberval aplicou o mtodo
eficazmente e reclamou para si a autoria da inveno do mtodo. (EVES, 1991: 118-24).
Cavalieri no afirmou que os indivisveis no so formados por infinitesimais, mas
simplesmente que no necessrio considerar que o sejam. Ele pretendeu construir um
mtodo geral, utilizando as propores entre os planos ou slidos. Guldin acreditava na
matemtica clssica onde raciocnio e operaes eram efetuados apenas com elementos e
formas de que se sabe a origem e a real construo. Cavalieri, revolucionrio em sua poca,
tinha uma viso diferente: aceitava como suficientes para os seus prprios fins a possibilidade
lgica de determinadas construes.
Koyr afirma que o processo de pensamento de Cavalieri um processo analtico e no um
processo sinttico. (KOYR, 1991: 316). Cavalieri no parte do ponto, da linha ou do plano
para chegar, atravs de uma soma impossvel, linha, ao plano ou ao corpo. Na verdade,
Cavalieri parte do corpo, do plano e da linha para neles descobrir, como elementos
determinantes e at constitutivos, mas no componentes, o plano, a linha e o ponto.
Esses elementos constitutivos e determinantes so por ele atingidos, sem a utilizao de um
procedimento de passagem ao limite, diminuindo progressivamente, at o desaparecimento, a
dimenso a ser eliminada e a ser reconstituda, isto , achatando o corpo at torn-lo
infinitamente achatado, estreitando o plano at torn-lo infinitamente estreito e
encurtando a linha at torn-la infinitamente curta. Ao contrrio, esses elementos
indivisveis so encontrados por Cavalieri, cortando os objetos geomtricos em questo por
um plano ou uma reta que os atravesse. (KOYR, 1991: 316).
Bonaventura Cavalieri pretendia, com a utilizao dos indivisveis, no lugar dos infinitamente
pequenos, nos libertar da passagem ao limite, com suas dificuldades ou mais precisamente
suas impossibilidades lgicas, substituindo-a pela intuio geomtrica, cuja legitimidade no
parecia ser posta em questo.

Ainda, permitiu conservar as vantagens dos mtodos infinitesimais, como demonstrou Kepler,
a generalidade, marcha direta da demonstrao, to mais eficientes e rpidos do que o longo
circuito e o particularismo das provas de Arquimedes. (KOYR, 1991: 316-7). Sob a nossa
perspectiva, Cavalieri mostra uma forma no usual para o sculo XVII, mas que permite a
utilizao de um mtodo genrico para clculos que, muitas vezes, se mostram quase
impossveis quando feitos atravs dos mtodos utilizados por Arquimedes ou por Kepler, por
exemplo. Qualquer seja a crtica sobre a forma com que Cavalieri trabalha seu mtodo, no
invalida as solues finais de seus clculos.
O pensador em referncia demonstrava preocupao com o embasamento matemtico de sua
teoria. Podemos encontrar em correspondncias diversas, enviadas a Galileu Galilei (15641642), questionamentos ou solicitaes de ajuda ao seu mestre. Por exemplo, em carta de 15
de dezembro de 1621, onde disse a Galileu: (...) Atento continuamente ao estudo da
matemtica e demonstrando algumas proposies de Arquimedes, diferentemente dele, de
maneira particular a quadratura da parbola, me ocorreram algumas dvidas. Nesta carta,
Cavalieri escreveu sobre as definies de retas paralelas a um plano e planos paralelos a um
slido.
Em 16 de fevereiro de 1622, Cavalieri enviou uma nova carta a Galileu, onde dizia: no
obtive resposta de outras cartas enviadas, mas que isso deve estar ligado s ocupaes que o
mestre teria. Porm, Cavalieri juntou mesma concluses geomtricas tiradas para a
apreciao de Galileu. Em todas as correspondncias, Cavalieri discutia muitos aspectos do
trabalho de Arquimedes e as maneiras de chegar a sua teoria. Foram mais de cem
correspondncias, de que se tem conhecimento, enviadas a Galileu.
A utilizao do termo indivisveis na teoria de Cavalieri de forma reduzida, no aparece
escrita a palavra indivisveis, nas demonstraes ou nos raciocnios, mas apenas nos
comentrios e notas explicativas. Cavalieri utiliza expresses como (conjunto de) todas as
linhas da superfcie e todos os planos de um slido como correspondentes dos
indivisveis (DE GANDT, 1986: 37-8). Entretanto, quando o matemtico dizia todas as
linhas (omnes lineae) ou todos os planos (omnia plana) de uma figura geomtrica e os
chamava equivalentes a essa figura, no estava efetuando as somas dessas linhas ou desses
planos, ao contrrio, declara que o conjunto de um nmero indefinido (infinito) de elementos
, em geral, indefinido por si prprio (infinito) e que, portanto, tais conjuntos no se podem
relacionar entre si.

Nessa perspectiva, Cavalieri afirma que essa proposio no universalmente vlida e,

particularmente, que qualquer que seja a opinio que se tenha do continuum, a saber, que se
admita que no continuum (uma superfcie) s haja linhas, quer se admita que haja algo alm
de linhas, no se pode deixar de reconhecer o fato de que elas se acham em toda parte e que,
atravessando uma superfcie, todas podem ser encontradas.
Assim, Cavalieri considera que impossvel negar a equivalncia de uma determinada
superfcie (figura) a todas as suas linhas e contestar que a relao entre o conjunto de todas as
linhas de uma figura e o conjunto de todas as linhas de outra a mesma relao que se
estabelece entre essas prprias figuras. De outro modo, seria preciso negar a possibilidade de
comparar duas figuras entre si, o que seria absurdo. Para Cavalieri, essa verificao justiava
a utilizao dos indivisveis e permitia substituir o estudo das relaes entre as figuras pelo
estudo das relaes que subsistem entre seus elementos, porm com a condio de que
saibamos estabelecer uma correspondncia unnova e recproca entre os elementos.
principalmente para isso que serve o chamado mtodo da rgua comum (regula communis).
(KOYR, 1991: 317).
O termo regula definido por Cavalieri, para figura plana (fechada) ou corpo geomtrico,
como a reta, ou o plano, que so tangentes referida figura ou o mencionado corpo, num
ponto chamado topo (vortex). Paralelamente a essa regula, podem ter outras (inumerveis)
retas (ou superfcies planas) das quais uma nica (ou um nico plano) formar a tangente
oposta (tangens opposita). A figura ou corpo em questo se acham colocados e como que
encerrados entre duas retas ou dois planos paralelos. Se agora, atravs de duas tangentes
paralelas, passarem planos paralelos e se a partir do primeiro plano, o que se passa pela
regula, se fizer deslizar (correr, Cavalieri utiliza fluere) paralelamente a ele um plano mvel,
at que coincida com o plano que passa pela tangens opposita, ento, em seu transitus, o plano
mvel coincidir sucessivamente com todas as linhas da figura em questo e, por suas
interseces com elas determin-las- a todas. (CAVALIERI, 1653: 197-283).
Cavalieri afirma que (...) reduzir a relao entre a figura plana para as relaes entre
segmentos (cordas) e da relao entre figuras slidas para as relaes entre figuras planas
(seces plana) (CAVALIERI, 1653: praefatio). Esta idia bsica de Cavalieri se
assemelhava a de Arquimedes que, com seu mtodo, interpretou a figura plana e slida como
constitudas por uma srie de fios ou pesadas folhas entre elas paralelas, eram as realizadas
atravs do mtodo de exausto conhecido na Renascena.

Um aspecto a destacar no trabalho de Cavalieri o fato de:

Reconhecer que, se chegssemos a estabelecer uma relao constante e determinada entre os elementos
correspondentes dos conjuntos comparados, tal relao ligando, no diretamente, todos os elementos de
um conjunto a todos os elementos do outro, mas, de incio, cada elemento de um a cada elemento do
outro, teramos o direito de transpor ou de estender aos conjuntos, isto , as figuras em sua inteireza, a
relao verificada em seus elementos. (KOYR, 1991: 318).

Como determinar esses elementos correspondentes o principal problema do mtodo dos

indivisveis. Quando as figuras em questo possuem a mesma altura, basta coloc-las de
maneira conveniente entre retas paralelas, atribuindo-lhes a mesma regula e a mesma tangente
oposta. Assim, o plano mvel comum, por seu transitus, determina e coordena os elementos
correspondentes (KOYR, 1991: 318).
Considerando as posies sucessivas do plano mvel, em cada instante que corta no plano da
figura, uma certa linha reta e seu trao sobre a prpria figura, teremos o aggregatum ou
congeries (agregado) de todas as linhas. Os agregados so equivalentes para uma figura dada,
se mudar a direo do corte e mesmo se as reas forem iguais, embora as figuras sejam
diferentes (DE GANDT, 1986: 39-40). Deste caso mais simples, linha e plano, pode-se partir
para o caso de plano e corpo. Cavalieri abandona a igualdade e aborda diretamente o estudo
da proporcionalidade.
O matemtico demonstra que o nmero exato de linhas paralelas deixa de ser importante,
podendo ser comparadas ou manipuladas, sem que se saiba exatamente quantas so. Sendo
assim, pode-se estabelecer que:
a) se as reas de duas figuras planas so iguais, (os conjuntos de) todas as linhas dessas
figuras so iguais (livro II, teorema 2).
b) a proporcionalidade entre as figuras a mesma que entre os (conjuntos) de linhas
(livro II, teorema 3) (CAVALIERI, 1653: 99-195).
Basicamente, seria possvel afirmar que se quisermos conhecer a razo entre duas figuras
planas ou entre dois slidos, ser suficiente encontrar a razo que possuem os agregados de
todas as linhas dessas figuras, ou de todos os planos slidos. (DE GANDT, 1986: 42).

Bonaventura Cavalieri afirma, no prefcio do stimo livro que fica a cargo dos leitores julgar
se o mtodo dos indivisveis desenvolvido nos anteriores seis livros to indubitavelmente
certo que convenha dignidade das matemticas. (CAVALIERI, 1653: 482).
Praefatio Geometriae in sex prioribus Libris, per eam quam indivisibilim methodum
non incongru appellamus, hactenus promatae, talis fuit, qualis hucusque videti potuit,
strutura, nec non talia, qualia iacta sent fundamenta. Illa quidem adeo firma, atque
inconcussa, esses dpocuit, ut velut adamantina summorum ingeniorum tamquam
arietum ictibus pulsata ne minimum quidem nutantia agnoscerentur. Hoc enim
Mathematicarum dignitati, ac summae certitudini, quam prae omnibus alijs humanis
scientiis, nemine philosophorum reclamente, ipse sibi vindarunt, mxime conuenire
manifestum est.) (CAVALIERI, 1653: 482).
A forma utilizada por Cavalieri foi considerada por filsofos e matemticos (j destacados
anteriormente, contemporneos como Paul Guldin e outros matemticos e historiadores)
obscura demais e mais dura do que na verdade deveria ser, pois possvel no considerar
todas as linhas ou todos os planos de uma figura e de um corpo para chegar prpria figura
ou ao prprio corpo, abreviando o raciocnio e chegar diretamente das linhas ou dos planos s
figuras e aos corpos. Para isso, decompem-se essas figuras ou corpos em redes semelhantes
de linhas ou planos paralelos equidistantes, em nmero indeterminado. As relaes entre os
elementos (indivisveis), assim determinados, de uma figura ou corpo e os elementos
correspondentes da outra permitem chegar as relaes entre s prprias figuras. (KOYR,
1991: 325-6).
Bonaventura Cavalieri buscou evitar os raciocnios infinitesimais (infinitamente pequenos,
passagem ao limite), substituindo-os por raciocnios com o finito. A operao fundamental de
seu mtodo consiste no estabelecimento de uma correspondncia unvoca e recproca entre os
elementos (indivisveis) homlogos dos objetos estudados.
O tratado de Cavalieri se expressa por: as figuras planas, colocadas entre duas paralelas, nas
quais quaisquer linhas paralelas quelas duas primeiras decompem segmentos iguais, so
iguais (KOYR, 1991: 325-6). A validade deste mtodo foi assegurada, para Cavalieri,
depois de ter obtido os mesmos resultados, mesmo em comparao s de Arquimedes,
Euclides e Kepler. No prefcio de seu livro, Cavalieri revelou o interesse, em seus estudos,
nos resultados alcanados Kepler no que se refere ao clculo do volume de slidos por

10

rotao. O nmero de slidos apresentado por Kepler foi um teste para o mtodo introduzido
por Cavalieri, uma vez que Kepler aplicou o mtodo a um nmero maior de planos e slidos e
assim fazendo, assegurou a validade do novo mtodo.(CAVALIERI, 1653: 45-55).
Podemos ento pensar uma regio, como sendo formada por segmentos ou "indivisveis" e
que um slido pode ser considerado como composto de regies que tm volumes indivisveis.
No entanto, para calcular uma rea, em vez de somar nmero infinito de linhas, comparamos
a superfcie com outra que tenha o mesmo nmero de linhas. O raciocnio utilizado por
Cavalieri segue o de Arquimedes, mas a diferena a maneira como os dois demonstraram
seu pensamento.
A teoria de Cavalieri nos permite determinar reas e volumes de figuras geomtricas com
maior rapidez. O mtodo dos indivisveis de Cavalieri foi muito criticado na poca, pois no
apresentava o rigor matemtico desejado. Bonaventura Cavalieri, em resposta s crticas
recebidas, publicou, em 1647, o livro Exercitationes geometricae sex, onde procurou deixar
mais detalhada sua teoria dos indivisveis e tentou dirimir as dvidas que sua teoria recebeu
ao longo dos anos. O livro transformou-se em fonte importante para os matemticos do sculo
XVII.
Concluindo, Cavalieri no afirma que um contnuo a soma dos indivisveis (pontos,
segmentos, panos ou slidos). Afirma que os conjuntos de planos de um slido esto
perfeitamente definidos e pensados, embora composto de infinitos elementos (definidos e
pensados) porque existem em todos os slidos e um determinado critrio nos permite dizer se
um item pertence ou no.
No sculo XVII, tal definio de multiplicidade infinita ainda no era conhecida ou
reconhecida. Podemos afirmar que esta definio levou dois sculos para ser tratada
matematicamente, aparecendo no trabalho de Bernard Bolzano (1781-1848), publicado
postumamente em 1850, o chamado Paradoxien des Unendlichen (Paradoxos do Infinito),
mostrando muitas propriedades importantes dos conjuntos infinitos.

11

BIBLIOGRAFIA
Alfonso-Goldfarb, A. M.. O que Histria da Cincia. So Paulo: Brasiliense, 1994.
Alfonso-Goldfarb, A. M, Beltran, M. H. R., orgs. Escrevendo a histria da cincia:
tendncias, propostas e discusses historiogrficas. So Paulo: Educ/Fapesp, 2004.
Ameal, J. F. So Toms de Aquino. Porto: Tavares Martins, 4 ed., 1956.
Aristteles. Metafsica, Trad. Italiano: Giovanni Reali, Trad. Portugus: Marcelo Perine, So
Paulo: Ed. Loyola, 2002. Volumes II e III.
Aristteles. Fsica. Madrid: Editorial Gredos, 1998.
Aristteles. Categorias. Porto: Porto Editora, 1995.
Boyer, C. B. Histria da Matemtica. Trad. Elza F. Gomide. So Paulo: Edgard Blcher,
1974.
Cavalieri, Bonaventura. Geometria Indivisibulus Continuorum Noua quadam ratione
promota. Bolonha: Typographia de Ducijs, 1653.
Cellini, G. Gli indivisibili nel pensiero matemtico e filosfico di Bonaventura Cavalieri.
Peridico di matematiche storia, didattica, filosofia. Bologna, Fev/1966, Vol.
XLIV, srie IV, 01-21.
Cellini, G. Le dimostrazioni di Cavalieri Del suo principio. Peridico di matematiche
storia, didattica, filosofia. Bologna, Abr.,1966,Vol. XLIV, srie IV, 85-105.
Charles, C., Verger, J. Histria das Universidades. So Paulo: UNESP, 1996.
Chau, M. Convite Filosofia. So Paulo: Ed. tica, 1995.
Chau, M. Introduo Histria da Filosofia. So Paulo: Cia. Das Letras, Vol. 1, 2 ed.,
2002.
Costa, N. C. A. da. Ensaios sobre os fundamentos da lgica. So Paulo, Editora Hucitec,
1980.
De Gandt, F. Nascimento e Metamorfose de uma Teoria Matemtica: A Geometria dos
Indivisveis na Itlia (Galileo, Cavalieri, Torricelli). Cadernos de Histria e Filosofia
da Cincia, 1986, vol.10, pp. 27-59.
Debus, A. G. El Hombre y La Naturaleza en el Renacimiento. Mxico: Fondo de Cultura
Econmica, 1996.

12

Evans, G. W., Cavalieris Theorem in His Own Words. The America Mathematical
Monthly, December 1917, Vol. 10, 447-451.
Eves, H. Introduo Histria da Matemtica. Trad. H. H. Domingues. Campinas:
Ed.Unicamp, Campinas, 1995.
Eves, H. Two Surprising Theorems on Cavalieri Congruence. The College Mathematics
Journal, March 1991, Vol. 22, 118-124.
Galilei, G. Cincia e F. Trad. Carlos Arthur R. do Nascimento, So Paulo: Nova Stella,
1988.
Galilei, G. Dilogo sobre os dois mximos sistemas do mundo Ptolomaico e Copernicano.
Trad. P.R. Mariconda, So Paulo: Discurso Editorial, 2004.
Galilei, G. Duas novas cincias. Trad. L. Mariconda & P.R. Mariconda, So Paulo: Nova
Stella, [s.d .]
Galilei, G. O Ensaiador. Coleo Os Pensadores Livro XII - Bruno Galileu Campanella.
So Paulo: Ed. Abril, 1973.
Gillespie, C. C. Dictionary of Scientific Biography. New York: Charles Scribners Sons,
1980.
Giordani, M. C. Histria dos Sculos XVI e XVII na Europa. Petrpolis. Ed. Vozes, 2003.
Houaiss, A. Vilar, M. de S. Dicionrio Houaiss de lngua portuguesa. Rio de Janeiro:
Editora Objetiva, 2001.
Jones, R. F. Ancients and Moderns. New York: Dover, 1961.
Kirk, G. S., Raven, J. E., Schofield, M. Os Filsofos Pr-Socrticos. Lisboa: Ed. Fundao
Calouste Gulbenkian, 1994.
Koyr, A. Do Mundo Fechado ao Universo Infinito. Rio de Janeiro/So Paulo: Forense
Universitria, 2006.
Koyr, A. Estudos de Histria do Pensamento Cientfico. Rio de Janeiro/So Paulo:
Forense Universitria, 1991.
Kreimendahl, L. Filsofos do Sculo XVII Uma introduo. Trad. B. Dischinger., So
Leopoldo: Ed. Universidade Vale do Rio dos Sinos, 1999.
Kuhn, T. S. A estrutura das revolues cientficas. So Paulo: Perspectiva, 1975.

13

Kvasz, L. O Elo Indivisvel entre a Matemtica e a Teologia. Rever-Revista de Estudos da

Religio. Mar/2007, pp. 118-29.
Lindberg, D. C. Numbers, R. L. When Science and Christianity Meet. Chicago/London:
The University of Chicago Press, 1992.
Llorca, B., Villoslada, R. G., Montalban F. J. Historia de la Iglesia Catlica. Madrid: La
Editorial Catlica, 1960, 3 vols.
Meliujin, S. El Problema de Lo Finito y Lo Infinito. Mxico: Ed. Grijalbo, 1960.
Millikan, R. A. Evolution in Science and Religion. London: Oxford University Press, 1940.
Mondolfo, R. O Infinito no Pensamento da Antiguidade Clssica. So Paulo: Ed. Mestre
Jou, 1968.
Mora, J. F. Dicionrio de Filosofia. Trad. M. S. Gonalves, A. U. Sobral, M. Bagno & N.N.
Campanrio, So Paulo: Ed. Loyola, 2001. Tomo II. pp. 1502-1515
Morris, R. Uma Breve Histria do Infinito: Dos paradoxos de Zeno ao universo
quntico. Trad. M. L. X. A. Borges, Rio de Janeiro: Jorge Zahar, 1998. pp.67-72.
Rossi, P. A cincia e a filosofia dos modernos: aspectos da revoluo cientfica. So Paulo:
UNESP, 1992.
Rossi, P. Naufrgios sem espectador. A idia de progresso. So Paulo: Unesp. 2000.
Schmitt, C. B., Skinner Q., Kessler, E. The Cambrige History of Renaissance Philosophy.
Cambridge: University of Cambridge, 1988.
Struik, D. J. A Concise History of Mathematics. London: Dover, 1948.
Vernant, J. P. As Origens do Pensamento Grego. Rio de Janeiro: Difel. 2003.
Vita, Luis Washington. Momentos Decisivos do Pensamento Filosfico. So Paulo: Ed.
Melhoramentos, 1964.
Westfall, R. S. Science and Religion in Seventeeth-Century England. New Haven: Yale
University Press, 1958.
Westfall, R. S. The Construction of Modern Science, Mechanisms and Mechanics.
London/New York: Cambridge University Press, 1977.
Wilson, G. Os Grandes Homens da Histria. Trad. Edgard Sssekind de Mendona. So
Paulo: Cia. Editora Nacional, 1958.