UNIVERSIDADE FEDERAL DE MATO GROSSO

INSTITUTO DE EDUCAO
PROGRAMA DE PS-GRADUAO EM EDUCAO
MESTRADO EM EDUCAO
LINHA DE PESQUISA: EDUCAO EM CINCIAS E MATEMTICA

GESLANE FIGUEIREDO DA SILVA SANTANA

PIERRE BOUTROUX E A REVOLUO NA MATEMTICA MODERNA

CUIAB
2011

GESLANE FIGUEIREDO DA SILVA SANTANA

PIERRE BOUTROUX E A REVOLUO NA MATEMTICA MODERNA

Dissertao apresentada ao Programa de PsGraduao em Educao do Instituto de

Educao da Universidade Federal de Mato
Grosso, como exigncia parcial para obteno
do ttulo de MESTRE EM EDUCAO,
rea de Concentrao: Teorias e Prticas
Pedaggicas da Educao Escolar, Linha de
Pesquisa Educao em Cincias e Matemtica,
sob orientao do Professor Dr. MICHAEL
FRIEDRICH OTTE.

CUIAB
2011

DISSERTAO APRESENTADA COORDENAO DO PROGRAMA DE PSGRADUAO EM EDUCAO DA UFMT

GESLANE FIGUEIREDO DA SILVA SANTANA

Banca Examinadora:

_______________________________________________
Profa. Dra. Tnia Maria Mendona Campos
Examinadora Externa (UNIBAN)

_______________________________________________
Profa. Dra. Gladys Denise Wielewski
Examinadora Interna (UFMT)

_______________________________________________
Prof. Dr. Michael Friedrich Otte
Orientador (UFMT)

Ao meu esposo, minha famlia e meu

orientador, sem eles nada disso seria possvel.

AGRADECIMENTOS

Ao meu Deus, pai obrigado por soprar em meu jardim e por tudo
mais.
Ao Professor Dr. Michael Otte, por compartilhar o seu mundo
comigo, por todos os ensinamentos, pelo entusiasmo e paixo em
relao ao nosso trabalho, pelo carinho e por todos os bombons.
Professora Dra. Tnia Campos, por atender ao convite para
participar da Banca Examinadora.
Professora Dra. Gladys Wielewski, pelo acompanhamento e
orientao.
Professora Dra. Luzia Palaro, pelo incentivo e orientao antes e
durante o curso de mestrado.
Aos Professores Me. Vincius, Dra. Andria, Dr. Srgio, Dra. Marta,
pelas discusses, pelos livros e pela amizade.
Aos Professores Dr. Geraldo e Dr. Igor, pela ajuda para o meu
ingresso no curso de mestrado.
Ao Programa de Ps-Graduao em Educao da UFMT, e em
particular a Mariana, Luza e Jeison.
CAPES, pela bolsa, sem a qual seria difcil a realizao desta
investigao.
Aos colegas de mestrado: Izolda, Eliana, Kcio, Gilvane, Vanessa,
Edna, Aparecida, Izabel, Leonardo, Daltron, Adriani e Aparecido,
pela amizade, carinho e ajuda com artigos e burocracias do
programa.

Aos colegas do doutorado: Demilson, Alexandre, Raul e Humberto,

pelas correes e discusses que foram de fundamental importncia
para a concluso desta dissertao, em especial ao Demilson e
Alexandre pela amizade.
toda a minha famlia e amigos, e em particular a Angelita (tia),
Gilberto (tio), Lerice (av), Jaime (av), Nair (tia), Ftima (tia),
Daniel (tio), Sandra (amiga), Damaris (amiga), que mesmo estando
longe no deixaram de me ajudar.
Aos meus irmos em Cristo, Vital e Maria, por todo carinho. .
Juslei e Elenilson (meus maninhos) Adriely e Greyson (meus filhos
do corao) pelo apoio e visitas nos momentos em que eu precisava
de um descanso.
Aos meus queridos pais, Nildo e Lindinalva, pela amizade, amor e
por minha formao.
Ao meu amado esposo, Jackson, pelo amor, amizade e encorajamento
ajudando-me a chegar at aqui.
A todos aqueles que contriburam direta ou indiretamente para que
este trabalho se tornasse realidade.
Meu carinho
A Autora

Para aprofundar os conceitos matemticos, assim como para

estudar os problemas da vida, necessrio que o esprito se
violente, necessrio faz-lo, querendo ou no, entrar em um
molde, que no feito para receber uma realidade refratria.

Pierre Boutroux.

O fato matemtico independente do vesturio lgico ou algbrico

sobre o qual ns procuramos represent-lo. De fato, a ideia que
temos mais rica e mais plena que todas as definies que
podemos dar, que todas as formas ou combinaes de signos ou de
proposies pelas quais nos possvel exprimi-la.

Pierre Boutroux.

RESUMO

A revoluo na Matemtica Moderna foi apresentada e analisada, por Pierre Boutroux (18801922), de forma peculiar, em sua obra escrita em 1920, o L'idal scientifique des
mathmaticiens: dans l'antiquit et dans le temps modernes. O matemtico Pierre Boutroux
foi filsofo e historiador da Matemtica, ele nasceu na Frana e era filho do filsofo mile
Boutroux (1845-1921), e ainda sobrinho de Jules Henri Poincar (1854-1912), um importante
filsofo, matemtico e fsico francs. importante destacar que os escritos de Boutroux
seguiram as ideias de Poincar. Nosso principal objetivo, nesta dissertao, estudar o
referido livro de Boutroux, que no possui traduo na lngua portuguesa, e extrair deste,
importantes contribuies para a Educao Matemtica, alm de estudar um relevante perodo
da histria e filosofia da Matemtica, situado no incio do sculo XX, no qual tem-se o
princpio da evoluo da Matemtica Moderna. Em sua obra, Boutroux, conta a histria da
Matemtica no se preocupando apenas com a vida e obra dos matemticos ou somente em
contextualiza-l na histria da humanidade, mas descreve esta histria delineando quais
pensamentos e correntes filosficas moveram as pesquisas dos matemticos em cada poca.
Desta forma, o autor se prope a escrever sobre a evoluo dos conceitos e ideias ao longo da
histria da Matemtica. O seu trabalho se torna muito rico, porque faz o leitor meditar acerca
da evoluo dos conceitos matemticos o levando a refletir sobre as prticas do professor em
sala de aula e ainda o impelindo a pensar a respeito do processo de formao do
conhecimento. Em 1908, Boutroux iniciou sua carreira de professor e quando escreveu seu
livro, tambm estava preocupado com a Educao Matemtica e os desafios que o professor
encontrava para ensinar. O autor divide a Histria da Matemtica em perodos e os classifica
entre sinttico e analtico. Historicamente a discusso sobre analtico e sinttico bem antiga,
pois est ligada formao do conhecimento, ela se encontra at mesmo nos escritos de
Aristteles (384 a.C.-322 a.C.). No sculo XVIII esta discusso recebeu ateno especial na
Crtica da Razo Pura de Immanuel Kant (1724-1804), que classificou o conhecimento
matemtico como sinttico a priori. Boutroux, de certa forma, concorda com Kant, pois
afirma que at no sculo XIX a pesquisa Matemtica era sinttica. Ocorre ento uma
revoluo e ruptura, na qual a Matemtica, enquanto pesquisa, torna-se analtica. O fio
condutor para este acontecimento foi o conceito de funo. At o fim do sculo XVIII, vrios
tipos de funes matemticas foram estudas e usadas para as construes de teorias da fsica e
da qumica. Mas ainda no existia um conceito geral que explicasse o que era uma funo
matemtica. Durante o sculo XIX a Matemtica do ensino superior evoluiu tendo como fio
condutor o desenvolvimento do conceito da funo e pelas mos de matemticos como
Fourier (1772-1837), Cauchy (1789-1857), Riemann (1826-1866), Borel (1871-1956),
Lebesgue (1875-1941), Poincar (1854-1912) e outros. No incio do sculo XX a reforma da
didtica da Matemtica idealizada por Felix Klein (1849-1925), teve como slogan o conceito
de funo. Deste modo, a definio do conceito de funo que at hoje gera dificuldades, foi
vista como soluo para a Educao Matemtica no sculo XX. Boutroux acreditava que,
diferentemente da pesquisa, o ensino da Matemtica no sculo XX ainda era sinttico e
deveria torna-se analtico. Com esse estudo espera-se contribuir com a Educao Matemtica.

Palavras-chave: Histria da Matemtica. Filosofia da Matemtica. Epistemologia. Histria

da Educao. Histria do conceito de funo matemtica.

ABSTRACT

The profound revolution in Modern Mathematics which began around 1800 was presented
and analyzed by Pierre Boutroux (1880-1922), in a peculiar way, in his work written in 1920,
L'idal scientifique des mathmaticiens: dans l'Antiquit et dans le temps modernes. The
mathematician Pierre Boutroux was also a philosopher and historian of Mathematics. He was
born in France as the son of the philosopher mile Boutroux (1845-1921), and the sister of
Jules Henri Poincar (1854-1912). The writings of Boutroux followed the ideas of Poincar,
which is important to note. Our main objective in this dissertation is to study Boutroux book,
which has no translation in Portuguese, and draw from this, important contributions to
Mathematics Education, in addition to studying a relevant period of history and philosophy of
mathematics. In his work, Boutroux, tells the story of mathematics but not concerned only
with the life and work of mathematicians or just contextualizes the history of humanity there,
but describes this history outlining what thoughts and philosophical currents moved the
research of mathematicians at particular period . Thus, the author outlines the evolution of
mathematical concepts and ideas throughout the history of Mathematics. His work is very
rich, because the reader think about the evolution of the leading mathematical concepts, and
to reflect on the practices of the teacher in the classroom and still takes to think about the
process of knowledge formation. In 1908, Boutroux began his teaching career and when he
wrote his book, was also concerned with Mathematics Education and the challenges that
teachers. The author divides the history of Mathematics in periods confronted according to the
analytic/synthetic distinction. Historically the discussion thus distinction is very old, it relates
to the generation of knowledge, it is even to be found in the writings of Aristotle (384 BC-322
BC). In the eighteenth century this thread has received special attention in the Critique of Pure
Reason by Immanuel Kant (1724-1804), who classified mathematical knowledge as synthetic
a priori. Boutroux somewhat agrees with Kant, because he says that even in the nineteenth
century Mathematics was synthetic research. Then there occurred a revolution and disruption,
in which Mathematics became analytical. The common thread for understanding this event
was the concept of function. Until the late eighteenth century, various types of mathematical
functions were studied and used for the construction of theories of physics and chemistry. But
there was still no general distinction and concept nobody lonew to explain what a
mathematical function is. During the nineteenth century Mathematics in higher education has
evolved as if guided by the development of the concept in function in the hands of
mathematicians such as Fourier (1772-1837), Cauchy (1789-1857), Riemann (1826-1866),
Borel (1871-1956), Lebesgue (1875-1941), Poincare (1854-1912) and others. Felix Klein
(1849-1925) reform of Mathematics Education was organized around thus concept of
function. Thus, the definition of function that creates difficulties today, was seen as a solution
for Mathematics Education in the early twentieth century. Boutroux believed that unlike
research, the teaching of Mathematics in the twentieth century was still synthetic and should
become analytical. With this study we hope to contribute to Mathematics Education.

Key-words: History of Mathematics. Philosophy of Mathematical. Epistemology. History of

Education. History of the concept of Mathematical function.

SUMRIO

INTRODUO ................................................................................................................... 12
CAPTULO I ....................................................................................................................... 18
O LEGADO DE BOUTROUX: O IDEAL CIENTFICO DOS MATEMTICOS .................. 18
1.1

BIOGRAFIA DE PIERRE BOUTROUX ............................................................... 18

1.2

PANORAMA DO LIVRO: O IDEAL CIENTFICO DOS MATEMTICOS........ 20

1.3 A HISTRIA DAS CINCIAS E AS GRANDES CORRENTES DO

PENSAMENTO MATEMTICO .................................................................................... 22
1.4

A CONCEPO HELNICA DOS MATEMTICOS ......................................... 25

1.5

A CONCEPO SINTTICA DOS MATEMTICOS......................................... 27

1.6

O APOGEU E O DECLNIO DA CONCEPO SINTTICA ............................. 29

1.7

O PONTO DE VISTA DA ANLISE MODERNA ............................................... 32

CAPTULO II ...................................................................................................................... 63
BOUTROUX: O HOMEM E A CINCIA EM SUA POCA .............................................. 63
2.1

A CINCIA NA POCA DE PIERRE BOUTROUX (1880-1922) ........................ 63

2.2 O PRINCPIO DE CONTINUIDADE E O PROBLEMA DA GENERALIZAO

NA CINCIA DA MODERNIDADE............................................................................... 65
2.3 A DISTINO ENTRE O PROCESSO ANALTICO E SINTTICO NA
FORMAO DO CONHECIMENTO FUNDAMENTADA POR KANT ....................... 73
2.4 A DISTINO ENTRE ANALTICO E SINTTICO NA MATEMTICA
MODERNA SEGUNDO BOUTROUX ............................................................................ 80
CAPTULO III .................................................................................................................... 83
A EDUCAO E A TRANSFORMAO DA EDUCAO MATEMTICA NO
SCULO XIX...................................................................................................................... 83
3.1 INTRODUO: FATOS QUE EVIDENCIAM A REVOLUO E A RUPTURA
NA MATEMTICA ALTERCADA POR BOUTROUX ................................................. 83
3.2

A REVOLUO INDUSTRIAL E A EDUCAO ............................................. 84

3.3 HUMBOLDT (1767-1845): A UNIO DA PESQUISA E DO ENSINO NA

ALEMANHA ................................................................................................................... 86
3.4 GERSTELL: A GRANDE EXPLOSO NA PRODUO MATEMTICA NA
ALEMANHA ................................................................................................................... 88
3.5

DIRICHLET (1805-1859): O PENSAMENTO CONCEITUAL NA MATEMTICA90

3.6 FELIX KLEIN (1849-1925): A DISCUSSO ENTRE MATEMTICA PURA E

APLICADA NA EDUCAO MATEMTICA NA ALEMANHA ................................ 91
3.7 DURKHEIM (1858-1917): O PROBLEMA DO CONHECIMENTO CIENTFICO
SE TORNA A LUPA CENTRAL DO CONHECIMENTO .............................................. 95
CAPTULO IV .................................................................................................................... 98
A

HISTRIA

DA

ANLISE

NO

SCULO

XIX

COMO

HISTRIA

DO

DESENVOLVIMENTO DA NOO DE FUNO MATEMTICA ............................... 98

4.1

OS VRIOS SIGNIFICADOS DO TERMO FUNO NOS DIAS ATUAIS ....... 98

4.2 HISTRIA DA FUNO DE LEIBNIZ AT EULER: O PERODO DA

DICOTOMIA ................................................................................................................. 100
4.3

A TRANSFORMAO DE IDEIA DA FUNO DURANTE O SCULO XIX102

4.4

A TEORIA DA INTEGRAO DE CAUCHY E RIEMANN LEBESGUE .... 108

CONSIDERAES .......................................................................................................... 113

REFERNCIAS BIBLIOGRFICAS ................................................................................ 119

12

INTRODUO

Pierre Boutroux (1880-1922) em sua obra LIdal sientfique des mathmaticiens:

dans lantiquit et dans les temps modernes, escrita em 1920, discorre sobre a natureza da
Matemtica Moderna, de forma simultnea, em termos matemticos, histricos e
epistemolgicos. Seu trabalho, neste sentido, uma preciosidade rara e desconsidera que no
sculo XVII houve uma grande revoluo cientfica na Matemtica.
Boutroux olha para Plato, Euclides, Newton, Leibniz e Descartes e afirma que eles,
em suas pesquisas matemticas trabalharam utilizando a mesma viso da Matemtica e o
mesmo mtodo, e ainda mais, ele classifica o mtodo destes matemticos como sinttico, ou
seja, sua perspectiva sobre a distino entre analtico e sinttico epistemolgica e no
fundamentalista ou ontolgica. Leibniz, por exemplo, caracterizou as proposies
matemticas como verdadeiras em todos os mundos possveis e disso concluiu que a
matemtica pura analtica, ou seja, ele fez uma caracterizao ontolgica e no
epistemolgica. Boutroux, assim como Kant e alguns lgicos modernos como Frege e Peirce,
adotou uma perspectiva epistemolgica e concluiu que toda a Matemtica antes de 1800 foi
sinttica.
Pierre Boutroux no tem por propsito apenas narrar a histria da Matemtica ou
destacar acontecimentos e relatos sobre a vida e as obras dos matemticos e tambm no
conta esta histria procurando associ-la apenas ao contexto histrico. Mas intenta
desenvolver um livro sobre a histria e filosofia da Matemtica, quer descobrir quais ideias,
pensamentos e correntes filosficas impulsionaram os matemticos a realizarem suas
pesquisas.
Professor, matemtico, historiador e filsofo francs intuicionista, esse foi Boutroux,
filho do filsofo mile Boutroux (1845-1921) e sobrinho de Jules Henri Poincar (18541912) que foi um importante matemtico, fsico e filsofo intuicionista. Boutroux iniciou seu
trabalho como professor em 1908 em Poitiers, tambm trabalhou na Universidade de
Montpellier, Universidade de Nancy em Princeton nos Estados Unidos e no Collge de
France.
O perodo no qual Boutroux est inserido, na virada do sculo XIX para o sculo XX,
marcado por uma enorme produo na Matemtica. Neste tempo iniciaram-se os congressos

13

matemticos internacionais que procuravam discutir assuntos relacionados Matemtica

enquanto pesquisa e ensino.
A Revoluo Industrial gera a necessidade de uma grande demanda de profissionais
qualificados em Matemtica (engenheiros e matemticos) com isto iniciou-se um crescimento
enorme de atividades matemticas nas universidades e nas escolas politcnicas.
Com a Revoluo Industrial, grandes massas so atradas para as reas urbanas e aos
poucos se torna prioridade que estas pessoas recebam alguma instruo para saberem
manusear as mquinas etc. Um tempo mais e germinam os primeiros movimentos para que
todos recebessem educao, especialmente as classes mais baixas, e ainda, que esta educao
fosse de responsabilidade do estado e gratuita.
O objetivo desta pesquisa, estudar a revoluo na Matemtica Moderna altercada por
Pierre Boutroux em sua obra LIdal sientfique des mathmaticiens: dans lantiquit et dans
les temps modernes, escrita em 1920.
Neste mbito os problemas que nos desafiam so: Quais so as contribuies de Pierre
Boutroux para a compreenso da evoluo da Matemtica fundamentada no final do sculo
XIX e incio do sculo XX? Por que Boutroux afirma que houve uma revoluo e ruptura na
Matemtica no incio do sculo XIX?
A presente dissertao est dividida em quatro captulos, os quais so apresentados a
seguir por meio de um breve resumo.
O captulo I intitulado O legado de Boutroux: o ideal cientfico dos matemticos,
procura apresentar Pierre Boutroux e a sua obra ao leitor, para tanto, mencionado um
pequeno resumo da biografia de Boutroux.
Para estudar sua obra e entender seus principais anseios e expectativas, apresenta-se
um resumo de sua introduo A histria das cincias e as grandes correntes do pensamento
matemtico, onde Boutroux esclarece que seu objetivo estudar as grandes correntes que
influenciaram os matemticos de cada poca.
O autor divide seu trabalho em cinco captulos. Esta pesquisa apresenta uma resenha
dos captulos I, II e III, pois so relevantes para a compreenso do quarto captulo que
constitui-se o foco principal deste estudo. Quanto ao quinto captulo, sua essncia encontra-se
no desenvolvimento de toda a dissertao. E devido importncia do trabalho de Boutroux e
seu fascinante desenvolvimento das ideias, apresenta-se a traduo integral do captulo IV O
ponto de vista da Anlise moderna, sem cortes, sem comentrios, simplesmente em sua
integra, proporcionando ao ledor a oportunidade de viajar durante a sua leitura, de forma que

14

o mesmo no venha se prender apenas s consideraes redigidas nesta dissertao, mas que
possa ampliar sua viso em relao tese de Boutroux.
No primeiro captulo A concepo helnica dos matemticos, Boutroux, discorreu
sobre os pensadores gregos como Plato, Aristteles e Euclides, e classificou a Matemtica
produzida por eles, como sendo sinttica e ainda assegurou que havia uma harmonia prestabelecida entre o objeto e o mtodo.
No seu segundo captulo A concepo sinttica dos matemticos, ele destaca Newton,
Leibniz e Descartes (1596-1650), considerando-os como matemticos que desenvolveram um
clculo e uma lgebra sinttica. Para Boutroux os trs trabalharam usando o mesmo mtodo, o
sinttico.
No terceiro captulo O apogeu e o declnio da concepo sinttica, Boutroux afirma
que quando os mtodos algbrico-lgicos j no conseguiam explicar tudo, ento surgiram os
limites dos mtodos que dominaram a Matemtica at o final do sculo XVIII. O grande
problema apareceu no momento em que os pensadores comearam a compreender que os
conceitos matemticos so essencialmente indeterminados ou vagos e por consequncia se
encontram em oposio aos conceitos da lgica e da lgebra.
Ento ficou claro que no existia um sistema de conceitos elementares e bem
determinados que pudesse integrar todos os conceitos possveis, de tal forma que fosse
concebvel sempre combin-los de modo a torn-los cada vez mais complexos, como at
ento os matemticos haviam trabalhado.
Finalmente o mais importante o quarto captulo O ponto de vista da Anlise
moderna. Neste, Boutroux relatou sobre a evoluo da Matemtica Moderna no incio do
sculo XIX, onde ocorre uma revoluo e ruptura na Matemtica que deixa de ser sinttica e
torna-se analtica. O objetivo dos matemticos passa a ser aprender e forar um objeto que lhe
resiste como, por exemplo, um problema que aparentemente no tem soluo. Assim, no se
buscava fazer um trabalho belo, mas somente chegar a um resultado desejado, empregando
para isso os meios e os artifcios mais variados. A pesquisa cientfica no era como outrora
apenas consequncia de uma contemplao passiva, mas era uma indstria ativa que utilizava
todos os processos gerados pelos progressos dos mtodos algbricos e lgicos que se
colocavam a disposio dos matemticos ela ainda ganhava inspirao dos novos campos de
matematizao como o eletromagnetismo e a termodinmica.
No Captulo II, desta dissertao, denominado Boutroux: o homem na sua poca, o
foco no apenas oferecer o contexto do desenvolvimento da cincia at a poca de
Boutroux, o texto diz muito mais e procura relembrar as turbulncias do princpio da

15

continuidade entre o racionalista Leibniz e o empirista Hume, porm estes fatos so escritos
baseando-se nos comentrios do filsofo Cassirer.
Desde a poca de Leibniz, Hume, Kant, uma pergunta que j inquietava era: como o
homem aprende? E para fundamentar esta discusso apresenta-se tambm, nesta dissertao,
as contribuies de Kant, que na verdade foi a confluncia entre racionalistas e empiristas.
Kant afirmava que o conhecimento no se desenvolve apenas do modo como os racionalistas
e os empiristas pregavam, mas ele acreditava que o conhecimento tem duas fontes, a saber,
intuies e conceitos.
Seguindo esta trajetria histrica, que obviamente no ocorreu de forma linear, os
modernos continuaram esta discusso, contudo a pergunta foi: como ocorre a generalizao na
cincia? Ento se desenvolve neste trabalho o enredo desta indagao com as contribuies de
Piaget e do intuicionista Poincar, o tio de Boutroux. Destaca-se nesta discusso a doutrina
intuicionista, corrente que emergiu da obra A Crtica da razo pura de Kant, e na qual
Boutroux est inserido.
Boutroux afirma que no final do sculo XIX ocorreu uma ruptura na pesquisa
matemtica, antes ela era totalmente sinttica e aps se torna analtica. Mas os mtodos
analtico e sinttico, ao longo da histria, j ganharam muitas definies, porm as grandes
discusses foram desencadeadas por Kant, por isso, veio a importncia de escrever sobre a
distino entre analtico e sinttico fundamentada por Kant, para somente depois discorrer
sobre a distino entre analtico e sinttico definida por Boutroux, encerrando assim o
captulo II.
O Captulo III A Educao e a transformao da Matemtica no sculo XIX, percorre
pelo contexto da educao no sculo XIX na Frana e Alemanha, partindo da Revoluo
Industrial e suas consequncias para a Educao. Na Alemanha o ministro da educao
Humboldt (1767-1845) iniciou um projeto procurando unir pesquisa e ensino, ele foi
impulsionado pelo movimento da Revoluo Francesa. A partir de ento so instaladas mais
universidades, o que gerou uma exploso de matemticos na Alemanha. Gerstell escreveu um
artigo intitulado A grande exploso na produo matemtica na Alemanha, onde destacou o
grande nmero de matemticos neste perodo comparado ao pequeno nmero em outros
tempos anteriores.
Destaca-se ainda o desenvolvimento do pensamento conceitual na Matemtica e o
matemtico alemo Dirichlet (1805-1859) que trouxe valiosas contribuies neste sentido.

16

Na Matemtica o pensamento conceitual substitua clculos cegos, como indicava

Boutroux, sinalizando a importncia da intuio intelectual e a preocupao com os conceitos
da Matemtica.
Felix Klein (1849-1925) iniciou a discusso entre a matemtica pura e a aplicada na
Educao Matemtica na Alemanha. Seu objetivo foi realizar uma reforma na educao da
Alemanha, ele trabalhou intensamente com propostas que tratavam da mudana do ensino
secundrio para o superior, tendo como slogan o conceito de funo.
A revoluo da Matemtica, que ocorreu no sculo XIX, registrada por Boutroux,
perceptvel tambm na sociedade em geral. Nos escritos do socilogo mile Durkheim, o
homem no sculo XIX deixa de ser o centro da Educao e as grandes preocupaes da
cincia passaram a estar inseridas dentro do prprio ensino e do conhecimento.
No Captulo IV, A histria da Anlise no sculo XIX como histria do
desenvolvimento da noo de funo matemtica, destaca-se a importncia do conceito de
funo. Para Boutroux o conceito de funo matemtica um dos mais importantes
conceitos da anlise moderna (BOUTROUX, 1920, p. 164, traduo nossa). Constata-se que
o desenvolvimento do conceito de funo no sculo XIX foi marcado por duas influncias
diferentes.
Primeiro, libertou-se do estreito conceito de funo analtica, no sentido de Leibniz
(1646-1716), Euler (1707-1783) e Lagrange (1736-1813), e reconheceu a importncia
fundamental da continuidade de uma funo. Em segundo lugar, o conceito de funo foi
estendido das funes de um ponto at as funes cujos argumentos foram os conjuntos,
como por exemplo, reas. Desde Bernoulli (1667-1748), era comum definir a integrao como
o reverso da diferenciao. Assim, a integral indefinida foi considerada como o conceito
fundamental e o clculo integral como apndice do clculo diferencial.
Fourier (1768-1830) foi o primeiro a mudar essa viso e para o desenvolvimento das
funes mais gerais em sries de Fourier, foi necessrio um olhar mais detalhado no
significado do conceito da integral definida. Por isso, Riemann (1826-1866) comeou sua
famosa dissertao de habilitao, questionando o significado do conceito de integral.
Lebesgue (1875-1941) seguiu a obra de Riemann considerando a integral definida como um
caso especial do termo de medida ou medio em geral.
Ento, historicamente, partiu-se das funes contnuas, as quais foram essenciais para
Fourier, Cauchy e Riemann at chegar s funes gerais de conjuntos que levaram a uma
axiomatizao da teoria da medida de Lebesgue.

17

Ao escrever esta dissertao a inteno no foi construir um fio vermelho ou uma

linha, na qual o leitor possa desde a introduo at as consideraes segui-l, e sendo desta
forma totalmente conduzido em sua leitura por um nico caminho.
O desejo inteiramente reverso e est definido nas palavras de Bicudo ao apresentar o
livro de Michael Otte O formal, o social e o subjetivo:
Ele pensa com imagens, maneira de uma aquarela. Como se tivesse diante
de si um espao em branco e ali colocasse borres de tinta, aparentemente
jogados, os quais, trabalhados em forma e cor, compem o quadro. O texto
construdo por ele tambm assim: suas ideias so lanadas em termos opostos e,
ento, o texto construdo como uma estrutura entre essas ideias. [...] Antes, so
aquarelas que podem tocar o leitor, levando-o a construir seus prprios
significados (in OTTE, 1993, p. 8, 9).

Como esse trabalho tambm multidisciplinar devido s exigncias postas na obra de

Boutroux, o pensamento no texto no se apresenta de forma linear, conduzindo o leitor a uma
compreenso interpretativa, levando-o a concluir um nico pensamento. Por isso, no uma
estrutura que surge segundo uma lgica sequencial e linear, contudo avana por saltos, em
busca de compreenses mais iluminadoras e abrangentes.
Desenvolvendo assim, uma investigao onde o ledor possa ir alm do que foi possvel
propor em palavras. Por isso, pode ser factvel, ao terminar cada captulo ou cada subttulo,
ter-se a impresso de quebra, ruptura em um dado momento, e em outro, sentir que as ideias
esto to entrelaadas que parece impossvel separ-las.
A obra de Boutroux repleta de deslumbramentos e vises nicas, contudo a
fascinao primria de seu trabalho como o autor desenvolve o seu texto, utilizando uma
metodologia totalmente diferenciada. Percebe-se em toda a obra trs perspectivas
devidamente combinadas: a Filosfica, a Matemtica e a historiogrfica. nesta combinao,
to bem ajustada e interligada, que encontra-se a raridade da obra de Boutroux.
Esta dissertao foi desenvolvida procurando seguir os passos de Boutroux,
dedicando-se com perseverana para fazer uso da mesma metodologia utilizada por Boutroux.

18

CAPTULO I
O LEGADO DE BOUTROUX: O IDEAL CIENTFICO DOS MATEMTICOS

1.1 BIOGRAFIA DE PIERRE BOUTROUX

O matemtico e tambm filsofo e historiador da Matemtica Pierre Lon Boutroux

nasceu em seis de dezembro de 1880 em Paris, na Frana e faleceu em quinze de agosto de
1922.
Provindo de uma famlia de grandes intelectuais, seu pai mile Boutroux (1845-1921),
foi um famoso filsofo espiritualista da cincia e historiador da filosofia francesa, enquanto
sua me Aline Catherine Eugnie Boutroux era a irm mais nova de Jules Henri Poincar
(1854-1912) que foi um importante matemtico, fsico e filsofo. Outro membro de destaque
foi seu primo Raymond Poincar que foi presidente da Frana durante a Primeira Guerra
Mundial (BOYER, 1968, p. 418), e foi um importante membro da Academia francesa.
Boutroux foi educado em Paris, na cole Normale Suprieure e recebeu sua
licenciatura com a tese, que foi publicada pela Universidade de Paris, L'imagination et les
Mathmatiques selon Descartes (A imaginao e os matemticos de acordo com Descartes),
logo aps foi nomeado professor de Matemtica na Universidade de Montpellier. Em 1908 se
tornou professor de Clculo Integral em Poitiers, onde ocupou uma cadeira por doze anos, de
1908 a 1920, entretanto, passou a maior parte de sua vida profissional em outras instituies.
Em 1909 trabalhou como professor visitante na Universidade de Nancy, onde
apresentou palestras no Collge de France, sobre funes que so as solues de equaes
diferenciais de primeira ordem.
Logo aps foi para os Estados Unidos, onde ocupou a cadeira matemtica em
Princeton no perodo de 1913 at 1914 e se tornou presidente do departamento de graduao
em Matemtica em 1914. Porm, quando eclodiu a Primeira Guerra Mundial Boutroux
retornou para a Frana a fim de se juntar ao exrcito.
Boutroux serviu o exrcito francs durante a guerra. No final da guerra ele no
retornou aos Estados Unidos, mas decidiu ficar na Frana. Em 1920 se demitiu do cargo que

19

ocupava em Poitiers e aceitou o cargo de professor de Histria da Cincia no Collge de

France. Infelizmente veio a falecer em 1922 sendo ainda bem jovem com 41 anos. Muitos
historiadores da cincia sentiram pela sua morte (OCONNOR; ROBERTSON, 2000a).
O trabalho de Boutroux na Matemtica consiste principalmente em alargar e esclarecer
o trabalho de outros pensadores, em particular de Paul Painlev (1863-1933), Poincar e
mile Picard (1856-1941). Ele trabalhou com funes multiformes e juntamente com
Painlev sobre as singularidades de equaes diferenciais. Embora, os seus trabalhos nestas
reas tenham trazido uma considervel contribuio, Boutroux se destacou mais no campo da
histria e da filosofia da Matemtica. Nesta linha, o autor publicou um trabalho extremamente
importante Les Principes de l'analyse mathmatique (Os Princpios de Anlise Matemtica),
em dois volumes, um em 1914 e o outro em 1919. Sobre este trabalho Calinger escreveu que
estes volumes contm uma viso abrangente de todo o domnio da Matemtica, na segunda
dcada do sculo XX, tanto como um corpo de conhecimento quanto como um modo de
pensamento. Boutroux parte da gama de tpicos dos nmeros racionais para uma anlise do
conceito de uma funo. luz do mtodo histrico usado pelo autor, ele poderia ter melhor
intitulado o livro por "Uma anlise da evoluo do pensamento matemtico (CALINGER
apud OCONNOR; ROBERTSON, 2000a).
Contudo o trabalho mais importante de Boutroux o L'idal scientifique des
mathmaticiens dans l'antiquit et dans les Temps Modernes (O Ideal Cientfico dos
Matemticos na Antiguidade e nos Tempos Modernos). Sua tese principal neste trabalho
analisar a ruptura que ocorreu no sculo XIX, a passagem de um ideal sinttico a uma
concepo analtica da Matemtica. Nesta obra, Boutroux defende a unidade da histria da
cincia argumentando que esta s pode ser compreendida quando considerada como um todo
e no por exames detalhados das peas. Ele esclarece que no existe uma nica forma de
abordagem de um problema, mas a prpria natureza do problema que sugerir a melhor
maneira de abord-lo.
Boutroux produziu uma edio das obras de Blaise Pascal (1623-1662), que foi
publicada a partir de 1908, com uma segunda edio aps a sua morte em 1929. Boutroux
tambm contribuiu para produzir um volume sobre as obras cientficas e filosficas de
Poincar. Em outro trabalho estudou sobre a dinmica desenvolvida antes de Isaac Newton
(1643-1727) e que foi melhorado por Pierre Duhem (1861-1916), e ainda fez uma anlise do
trabalho de Paul Tannery (1843-1904) que foi publicada em 1938, dezesseis anos aps a
morte de Boutroux (OCONNOR; ROBERTSON; 2000a).
Suas principais obras so:

20

L'imagination et les Mathmatiques selon Descartes (A imaginao e os matemticos de

acordo com Descartes) 1900;
Sur quelques proprits des fonctions entires (Sobre algumas propriedades das funes
inteiras) 1903;
uvres des Blaise Pascal publies suivant lordre chronologique avec documents
complmentaires introductions et notes par Lon Brunschvicg et Pierre Boutroux. (Obras
de Blaise Pascal publicada em ordem cronolgica com documentos complementares,
introdues e notas por Lon Brunschvicg e Pierre Boutroux) 1908;
Leons sur les fonctions dfinies par les quations diffrentielles Du premier ordre
professes au Collge de France (Lies sobre as funes definidas por equaes
diferenciais de primeira ordem, professada no Colgio de Frana) 1908;
Les Principes de lanalyse mathmatique expos historique et critique (Os Princpios de
Anlise Matemtica, a apresentao e a anlise histrica (2 volumes) 1914 e 1919;
LIdal scientifique des mathmaticiens: dans lantiquit et dans les temps modernes (O
Ideal Cientfico dos Matemticos: na Antiguidade e nos Tempos Modernos) 1920;
Les mathmatiques (Os matemticos) 1922;

1.2 PANORAMA DO LIVRO: O IDEAL CIENTFICO DOS MATEMTICOS

O trabalho mais importante de Boutroux a sua obra escrita em francs no ano de

1920, L'idal scientifique des mathmaticiens: dans l'antiquit et dans le Temps Modernes (O
Ideal Cientfico dos Matemticos: na Antiguidade e nos Tempos Modernos), que foi traduzida
para o alemo em 1907, porm no possui traduo na lngua portuguesa. Est escrita em 274
pginas e apresenta o seguinte sumrio:

INTRODUO
A histria da cincia e as grandes correntes do pensamento matemtico.

I.
II.
III.

CAPTULO I
A concepo helnica dos matemticos
A cincia contemplativa;
Os diferentes aspectos da matemtica grega;
O estudo das grandezas matemticas;

21

I.
II.
III.

CAPTULO II
A concepo sinttica dos matemticos
Origem, objeto e mtodo da lgebra;
A lgebra cartesiana;
A sntese infinitesimal

I.
II.
III.

CAPTULO III
O apogeu e o declnio da concepo sinttica
A sntese algbrico-lgica;
Os limites da lgica;
Os limites da lgebra;

I.
II.
III.

CAPTULO IV
O ponto de vista da anlise moderna
A evoluo da Anlise Matemtica no sculo XIX;
A objetividade dos fatos matemticos;
A doutrina intuicionista;

I.
II.
III.

CAPTULO V
A atual misso dos matemticos
Os matemticos e a filosofia;
A direo das pesquisas;
O ensino da Matemtica; (BOUTROUX, 1920, p. 273, 274, traduo nossa).

Nesta obra o Boutroux procura descrever as grandes correntes do pensamento

matemtico. Seu trabalho consistiu em pesquisar como as grandes descobertas matemticas
foram conduzidas e qual o significado destas para as prximas pesquisas que viriam.
Boutroux acredita que na histria da Matemtica aconteceram duas revolues, porm ele
atribui maior nfase segunda revoluo, onde houve tambm uma ruptura ocasionando a
transformao da matemtica sinttica para a analtica.
O trabalho de Boutroux consistiu, em grande parte, em registrar os fatos histricos que
ocorreram na Matemtica e que eram contemporneos a sua poca. Este perodo foi visto por
ele como um momento de transio de um ideal sinttico a uma concepo analtica da
Matemtica.
Para Boutroux um pesquisador trar um ensinamento precioso se luz de sua
experincia, ele interpretar as ideias ou as diferentes fases do pensamento cientfico
realizando um estudo histrico, pois por meio deste estudo, tm-se maiores possibilidades de
descobrir os fundamentos e a direo do pensamento cientfico.
O mesmo pensamento pode ser observado por Cournot (1801-1877) quando escreveu:
s a observao dos fatos histricos podemos ensinar corretamente como a renovao
gradual das ideias resulta da substituio imperceptvel de uma gerao por outra
(COURNOT apud SAINT-SERNIN, 1998, p. 69). A histria da Matemtica contm algumas
descontinuidades e algumas rupturas; mas o imenso trabalho desempenhado pela lembrana e

22

pelo esquecimento lhe proporcionam movimentos que se assemelham aos das mars, com
avanos, recuos e retornos (SAINT-SERNIN, 1998, p. 69).
Esta pesquisa traz o CAPTULO IV da obra de Boutroux traduzido integralmente para
a lngua portuguesa. Enquanto a Introduo, Captulo I, Captulo II e Captulo III, apresenta
uma resenha.

1.3 A HISTRIA DAS CINCIAS E AS GRANDES CORRENTES DO PENSAMENTO

MATEMTICO

A seguir, realizou-se um resumo, constituindo-se uma produo sucinta dos pontos

mais importantes da introduo Lhistoire des sciences et le grands courants de la pense
mathemtique, do trabalho de Boutroux O ideal cientfico dos matemticos.
Na cincia em geral para se determinar as caractersticas essenciais do
conhecimento cientfico necessrio primeiramente estudar quais pensamentos
produziram-na. Esta verdade se verifica principalmente na Matemtica pura, pois esta
no , nem guiada pela experincia, nem suscitada pelos acontecimentos da vida. Depende
mais de qualquer outra disciplina de inveno e dos conceitos de seus criadores.
Para tanto, procura-se responder as seguintes perguntas: Qual a ideia que o
matemtico faz sobre a sua cincia? Quais so as ideias? Quais so os princpios que guiam
suas atividades? Qual o farol que orienta suas pesquisas?
Mas as respostas para estas indagaes no podem ser encontradas nas metafsicas de
profisso e muito menos nos escritos metafsicos filosficos dos matemticos. Pois se tratam
de questes exclusivamente concernentes gnese e ao desenvolvimento da cincia.
As buscas para as solues destes questionamentos devem ter incio nos trabalhos dos
tcnicos puros. Contudo, o problema persiste, pois estes tcnicos fornecem poucas
contribuies em seus escritos. Na realidade eles se esforam em apresentar as teorias
completamente concludas, de modo que em suas obras omitem retratar o caminho do seu
pensamento, se preocupam apenas em apresentar as concluses de suas pesquisas com as
demonstraes justificadas de tal forma que suas concepes e os princpios da pesquisa
permanecem impenetrveis aos seus sucessores aparentando assim como os gemetras de
certas escolas antigas, que estes grandes inventores querem esconder ao comum o segredo de
seu poder.

23

Contudo, o verdadeiro mistrio, deveria se dissipar, pois atualmente tem-se acesso aos
trabalhos dos matemticos e ainda pode-se perguntar diretamente a eles.
No entanto, nem mesmo os matemticos mais qualificados conseguem responder as
estas questes, pois lhes necessrio um grande esforo de abstrao e de reflexo para tratlas de uma maneira objetiva e destac-las da massa das observaes banais.
Ento destes fatos surgem outras indagaes: porque os matemticos, em particular,
hesitam tanto em formular ou expressar suas ideias norteadoras em termos gerais? Ser que
eles desconfiam destas ideias? Observando que as ideias tm seu lado forte na criao de
novos conhecimentos, mas tm tambm seu lado fraco porque so imprecisas e oferecem
desvantagens se mostrando mais como uma fraqueza, que os matemticos no querem
mostrar?
Os cientistas so levados a temerem os perigos da viso filosfica antes mesmo de
reconhecerem as suas dificuldades e logo procuram preservar-se destas dvidas.
Todavia, mesmo que nada impea o homem da cincia afastar-se das discusses,
sobre a origem e a natureza da matria que ele estuda e ainda que no seja obrigado a ter uma
opinio sobre as controvrsias metafsicas, ele poder ignorar qualquer princpio. Mesmo que
este no seja um princpio filosfico, ou ainda extra-cientfico ser em todo caso extratcnico.
Na verdade o cientista e, sobretudo o matemtico precisa de uma inteno ou meta e
uma viso geral para guiar suas pesquisas. Tambm claro que a atividade intelectual do
cientista, ou seja, todo o seu esforo de uma vida inteira concentrada sobre os objetos mais
imateriais e mais distantes das preocupaes correntes da humanidade, exige um ponto de
apoio, um suporte estimulante, que no pode ser outra coisa alm das ideias gerais que so
descritas nesta obra L'idal scientifique des mathmaticiens dans l'antiquit et dans les temps
modernes .
Sem dvida, no fcil determinar exatamente os fundamentos da crena dos
cientistas. Como qualquer conquistador, o homem da cincia tentado a acreditar em sua
estrela. O cientista sente que impossvel fazer trabalhos de valor sem ser talentoso e idealiza
conscientemente esta obscura noo de dom at produzir uma espcie de inspirao. E ento
se percebe porque ele no tem que fazer regras objetivas, concepes sistemticas para
conduzir e para justificar seu trabalho. Ele se dirige pelo instinto, acreditando que no homem
inspirado as descobertas emergem sob os seus passos sem que saibam como e nem o porqu.
Frequentemente dizem que no momento em que menos se espera, quando se est muito aflito,
vagueando e considera-se definitivamente perdido, a verdade se revela bruscamente a seus

24

olhos. Nessas condies os progressos da cincia no poderiam se explicar por um milagre

perpetuamente renovado.
Os matemticos raramente vo expressar seus pensamentos desta maneira extrema.
Estas convices intuitivas que se busca, neste texto, pr em palavras existem apenas no
estado de tendncias de sentimentos. Contudo, no verdade que tais sentimentos so,
frequentemente, analisados de modo imperfeito e que eles incitam o homem a agir e manter
seus esforos?
Seja o que for e de pouca importncia, o que se quer atribuir para esses recantos da
alma cientfica que tem-se apresentado sob traos bem finos com a finalidade de torn-los
mais claros, uma coisa certa, quase impossvel determinar por investigaes as concepes
que dirigem as pesquisas cientficas; essas concepes tornam-se aquelas que inspiram os
princpios da ao e da vida, so combinadas por elementos pessoais para que possam ser
estudadas objetivamente. Incidentemente esta observao esclarece uma aparente contradio
que pode explicar as atitudes de certos cientistas. De um lado, eles se declaram indiferentes a
toda teoria da cincia, acreditando que a viso filosfica no poderia ter nenhuma repercusso
sobre os trabalhos tcnicos. E, por outro lado, se mostram to agregados s suas prprias
ideias sobre a cincia que suportam com dificuldade v-las serem colocadas em questo.
As condies indispensveis para as suas atividades cientficas so, efetivamente,
essas ideias s quais no lhes so atribudas nenhum valor cientfico. Os matemticos tm
medo de que a anlise leve a afetar as fontes de sua energia. Sentimento muito natural e muito
respeitvel, mas que mostra como necessrio ser prudente quando se busca interpretar certas
testemunhas, ou seja, alguns cientistas.
Deve-se cuidar para no atribuir s observaes registradas aqui um sentido que no
possuem. Pelo fato que difcil aos cientistas em um trabalho cientfico analisar a gnese de
suas ideias, mas seria absurdo concluir que o julgamento do cientista deveria ser recusado nas
discusses relacionadas aos princpios da cincia. Deve-se reconhecer, ao contrrio, que a
complexidade e a sutileza das questes debatidas exigem que sejam tratadas por homens que
estudam a cincia a fundo e que so capazes de pratic-la pessoalmente. Mas os especialistas,
quando entram em uma discusso, devem cuidadosamente evitar serem, ao mesmo tempo,
juiz e jri, pois no h condies de sair temporariamente de si mesmo. Isto suspeito de
parcialidade, pois o especialista pode limitar-se a descrever sua prpria experincia. Contudo
ele trar ao contrrio um ensinamento precioso se luz desta experincia, ele interpretar as
ideias ou diferentes fases do pensamento cientfico.

25

Para o estudo dos problemas enunciados acima, existe um nico mtodo e este mtodo
o mtodo histrico. Os depoimentos individuais dos cientistas so quase sempre
demasiadamente subjetivos e raros em relao ao perodo passado, apenas resta tentar agrupar
os depoimentos, de maneira a compensar a insuficincia de cada um deles, pela considerao
do todo e pela comparao de uns com os outros. Assim a histria da cincia, sendo bem
estudada oferece as melhores possibilidades para se descobrir os fundamentos e a direo do
pensamento cientfico.

1.4 A CONCEPO HELNICA DOS MATEMTICOS

Neste item apresenta-se uma resenha que sintetiza os fatos similares e fundamentais
para a melhor compreenso do captulo II A concepo helnica dos matemticos, da obra O
ideal cientfico dos matemticos de Boutroux.
Enquanto os matemticos do Oriente, disse Boutroux, foram guiados pelo utilitarismo
e estavam interessados apenas na Matemtica aplicada, os Gregos retornaram aos princpios
fundamentais e consideraram os problemas em termos abstratos e pelo pensamento puro
(BOUTROUX, 1920, p. 32-33, traduo nossa).
Para se considerar as frmulas numricas e as figuras geomtricas como objetos de
uma cincia rigorosa e completamente racional (BOUTROUX, 1920, p. 34-35, traduo
nossa), deve-se respeitar as ideias e estas representaes como objetos verdadeiros da
Matemtica.
Um objeto concreto poderia ser azul e branco, mas o azul nunca poder ser branco.
Esta a lei da no-contradio, sobre a qual est fundada a Matemtica pura, onde as
verdades so verdadeiras apenas no universo das ideias puras. Por isso, Plato afirmou que
natural que os que no esto capacitados a compreender pensem que essas ideias nada
significam. Fora da utilidade prtica, estes no vem nestas cincias nenhuma outra vantagem
digna de ateno (PLATO, 1997, p. 241).
Para Boutroux (1920) isso, de fato, caracterizava uma cincia contemplativa que no
se importava com os problemas pragmticos do uso, da aplicao e do desenvolvimento da
cincia, mas concentrava-se, exclusivamente, nos problemas da fundamentao. Por isso, a
geometria grega limitava-se s construes e para isto admitia um nmero finito de passos em
cada construo e tambm permitia somente o uso de compasso e rgua como instrumentos.

26

Na cincia dos nmeros, segundo Boutroux, existia um contraste entre a logstica,

como foi chamada e a aritmtica, a primeira se preocupava com as grandezas e com as
operaes numricas aplicadas, j a segunda apresentava-se como uma cincia puramente
especulativa (BOUTROUX, 1920, p. 68, traduo nossa).
Outra caracterstica da matemtica grega mostra-se mediante da nfase nas provas
lgicas que eram consideradas indispensveis, como critrio da verdade. Existia um
parentesco indisputvel entre a lgica de Aristteles e a geometria de Euclides
(BOUTROUX, 1920, p. 53, traduo nossa). Mas isso parecia, para Boutroux, ser uma
evoluo contra o trabalho de Plato e contra o jogo livre das ideias. De fato houve duas
pocas na Matemtica grega que se diferenciaram pela noo de prova. Para Boutroux (1920)
enquanto num primeiro perodo a epagoge ou induo foi admitida como mtodo de prova,
logo aps uma prova deveria ser estritamente dedutiva.
Durante a primeira fase da matemtica grega havia uma prova que consistia em
mostrar ou em fazer visvel a verdade de uma indicao. Este era o mtodo epagoge. Esta
primeira fase foi seguida por uma fase apagoge ou dedutiva. Durante esta fase a evidncia
visual foi rejeitada e a matemtica grega transformou-se em um sistema dedutivo
(KOETSIER, 1991, p. 180, traduo nossa). A prova epagoge primeiramente verifica e a
prova apagoge generaliza no sentido em que o significado de uma indicao avaliado em
relao a um sistema inteiro de indicaes.
Epagoge traduzido geralmente como a induo, mas no exatamente deste modo
que se desenvolve o pensamento neste trabalho, mas na realidade faz-se uso de apenas um
indivduo como prototpico uma espcie para toda. Induo um mtodo de generalizar, de
um conjunto de indivduos para uma espcie geral. Para Russell fcil entender que uma
proposio como todos os homens so mortais no pode ser deduzida de fatos empricos. Pois
mesmo conhecendo todos os seres humanos e, sobretudo que so mortais no suficiente.
Precisaramos ainda saber que os homens que conhecemos so todos os homens possveis
(RUSSEL, 1949). Aristteles escreve no que diz respeito ao epagoge:
O exame da semelhana til tanto para os argumentos indutivos como para
os raciocnios hipotticos, bem assim como para a formulao de definies. til
para os argumentos indutivos, porque por meio de uma induo de casos
individuais semelhantes que pretendemos por em evidncia o universal; e isso no
fcil quando ignoramos os pontos de semelhana. til para os raciocnios
hipotticos porque, entre semelhantes, de acordo com a opinio geral, o que
verdadeiro de um tambm verdadeiro dos demais (ARISTTELES, 1987, p. 21).

27

Para Boutroux (1920) em contraste com Pitgoras e Plato os lgicos se ocupavam

com a estrutura e a didtica da cincia.

1.5 A CONCEPO SINTTICA DOS MATEMTICOS

A seguir redigi-se uma resenha do captulo II A concepo sinttica dos matemticos,

contido no livro de Boutroux O ideal cientfico dos matemticos. Com a inteno de
descrever os aspectos considerados relevantes desta passagem.
Em analogia com a histria da cultura ocidental, que provm de duas fontes diferentes,
o helenismo grego de um lado e a cultura judaico-arbica do outro lado, a Matemtica dos
tempos modernos tambm surgiu da confluncia de duas tradies, a da Grcia e da ndia e
Arbia (BOUTROUX, 1920, p. 81, traduo nossa).
As novas caractersticas que se destacaram, na concepo sinttica, so as seguintes:
um interesse pelos processos algortmicos e pela lngua simblica que econmica e facilita a
velocidade das operaes. Simon Stevin (1548-1620) introduziu, por exemplo, o sistema
decimal de numerao. Depois o prximo grande passo para a lgebra deve-se a Franois
Vieta (1540-1603) e principalmente a Descartes (1596-1650). A matemtica cartesiana um
claro exemplo de como o homem avana pela construo de mecanismos ou sistemas que
aumentam suas capacidades e possibilidades de fazer coisas anteriormente impossveis.
Imagine, por exemplo, o sistema de transporte antes da construo das rodas.
A lgebra um sistema formal e multifuncional desse tipo, onde a sintaxe mais
importante que a semntica. Mas, at o sculo XIX a lgebra era considerada uma linguagem
analtica, como Condillac (1714-1780) havia definido.

Condillac fala no de uma lgebra matemtica, mas de uma lgebra

universal, como uma linguagem geral, analtica, capaz de analisar estrutura e
relaes entre quaisquer objetos em qualquer campo de conhecimento. A lgebra
uma linguagem que privilegia as relaes (CORRA, 2008, p. 55).

Este formalismo apresentava uma desvantagem, pois trazia a dificuldade para se

generalizar e a Matemtica sem as possibilidades de generalizar no passa de um jogo de
xadrez.

28

Neste contexto, surge a obra de Descartes como revolucionria, a sua interpretao

geomtrica no apenas criou uma nova fsica base de uma definio do mundo em termos de
grandezas geomtricas e um novo mtodo de uma fora e universalidade at ento
desconhecido na Matemtica, mas tambm abriu a possibilidade de mudar as regras da
lgebra (BOUTROUX, 1920, p. 104-107, traduo nossa).
Neste tempo perguntava-se, por exemplo, se o produto algbrico deveria ser sempre
comutativo. O clculo vetorial e a lgebra linear surgiram quando pensadores como
Grassmann criaram o produto vetorial anti-comutativo. Outro exemplo a criao de novos
nmeros atravs da interpretao geomtrica dos nmeros imaginrios, que recebeu
importantes contribuies de Johann Carl Friedrich Gauss (1777-1855).
Boutroux no acreditava que os procedimentos da anlise de Newton e Leibniz
trouxeram um aspecto radicalmente novo, nesse quadro da matemtica algbrica. Pois ele
tinha em mente a historiografia tradicional da Matemtica, que se preocupava em explicar o
desenvolvimento matemtico relacionado noo de infinito.
A Matemtica era denominada geralmente como a cincia do infinito. Ento, pode-se
perguntar: por que Boutroux deixou Descartes e Leibniz no mesmo barco? Para Boutroux,
no h uma diferena essencial a ser observada entre a lgebra finita de Descartes e a lgebra
do infinito de Leibniz. Em suas palavras:
Assim nos parece que a oposio verdadeira entre a obra de Leibniz e da
Descartes reside em partes entre palavras. Estas duas obras, na realidade procedem
de uma concepo prpria, ou seja, a concepo sinttica da cincia. Quais so,
portanto exatamente as caractersticas que se distinguem uma da outra? aqui que
se faz necessrio observar para no confundir as vises filosficas de dois
pensadores com suas ideias propriamente matemticas. Sobre a natureza e a
objetividade dos conceitos cientficos, sobre os princpios mecnicos e da filosofia,
sobre as condies do conhecimento matemtico e sobre o papel da intuio [...].
Descartes e Leibniz tm doutrinas, diferentes. Mas estas doutrinas que excedem
infinitamente o campo onde se move a Matemtica do sculo XVII e do nosso
prprio tempo no tm exercido influncia direta sobre a construo de seus
sistemas algbricos. Estes sistemas distinguem-se principalmente atravs das
circunstncias tcnicas que trabalham, pois um trabalha sobre combinaes infinitas
e o outro sobre o finito. Mas isto , do ponto de vista tcnico, uma diferena
essencial? Como a lgebra cartesiana, a de Leibniz se apia sobre a representao
geomtrica de funes em relao aos eixos das coordenadas; um e outro estudam
praticamente as mesmas operaes e raramente estudam os problemas da resoluo
de certas equaes; um e outro procedem em combinao de sinais algbricos e tm
por consequncia e por base, um sistema de escrita simblica. (BOUTROUX, 1920,
p. 126-128, traduo nossa).

O autor ainda explica que:

29

O clculo de sries no do ponto de vista tcnico de uma outra natureza

diferente do clculo algbrico elementar; somente no nos conduz diretamente a
tarefa, porque nos fornece o que buscamos de uma maneira aproximada. Mas a ideia
de aproximao quase to antiga, como recordamos, quanto geometria e a
aritmtica grega no tem nada a ver com o dinamismo. A menos que, entretanto,
no se queira admitir que a existncia do fato matemtico obtido por aproximao
o prprio resultado desta aproximao. Mas esta uma viso que o prprio Leibniz
no adotou (BOUTROUX, 1920, p. 128, traduo nossa).

O ltimo ponto de vista apareceu somente quando Cantor (1845-1918) definiu os

nmeros reais como sries convergentes de nmeros racionais. A ideia no era mais para
aproximar-se de uma determinada quantidade, mas para estabelecer um novo tipo de nmero,
por meio de um conjunto de nmeros elementares, ou seja, os objetos so construdos e no
dados independentemente da atividade. Ento, por exemplo, tornou-se desnecessrio pensar
nesta construo em termos de medio de uma quantidade pr-determinada. No ltimo ponto
de vista, por exemplo, poderia ser o tradicional um, como um nmero real, um frao decimal
etc., contudo de modo algum seria uma determinao aproximar-se dessa quantidade. Os
construtivistas, como Kronecker (1823-1891), tambm tentaram fundamentar a srie contnua
de nmeros reais, em uma ltima anlise sobre os inteiros, dizendo que estes nmeros so
regras ou leis, que efetivamente determinam cada termo em uma infinita sequncia para este
fim. Cantor, porm, argumenta que Kronecker nunca poderia fornecer a quantidade de
smbolos e descrever completamente os nmeros reais, pois este conjunto no enumervel
(CANTOR, 1980, p. 384), ou seja, as construes de Cantor so indistintas e baseadas em um
uso livre de quantificadores, e isso causou os paradoxos de Russel.
A essencial descontinuidade ou revoluo assim surgiu, de acordo com Boutroux,
junto com a introduo do infinito atual ao pensamento matemtico.

1.6

O APOGEU E O DECLNIO DA CONCEPO SINTTICA

Neste subttulo descreve-se uma anlise crtica e breve do captulo III, do livro L'idal
scientifique des mathmaticiens: dans l'antiquit et dans le temps modernes.
No incio do captulo III, Boutroux apresenta um resumo do desenvolvimento da
Matemtica at o sculo XVIII:
Os resultados obtidos pelos algebristas do sculo XVIII eram propriamente
para justificar a robusta confiana que estes pensadores tinham na excelncia de seu

30

mtodo. A lgebra elementar saindo do perodo das tentativas tinha claramente

reconhecido a extenso exata do seu poder e havia fixado seus processos. O clculo
de derivadas, integrais e o clculo de sries tinham sido codificados e formaram
desde ento um conjunto bem ordenado e do mesmo modo preciso como a lgebra
propriamente dita. A geometria cartesiana aperfeioando cada vez mais seu
mecanismo tinha decididamente suplantado os mtodos gregos da demonstrao. A
mecnica se constituiu como cincia analtica tomando a geometria como modelo.
Mesmo onde os clculos algbricos pareciam obrigados a ceder aos outros
processos, era ainda o esprito e o ponto de vista da lgebra que dirigia o
pensamento dos matemticos. Podemos perceber isto, considerando a histria da
geometria, a qual se mostra neste ponto de vista particularmente instrutiva
(BOUTROUX, 1920, p. 132-133, traduo nossa).

Boutroux afirma que mesmo os mtodos da geometria projetiva no sentido de Poncelet

(1788-1867) e Von Staudt (1798-1867) so nada mais do que uma lgebra disfarada
(BOUTROUX, 1920, p. 135, traduo nossa), pois estas geometrias no tratam de figuras e
suas caractersticas, mas sim de relaes e estruturas relacionais e introduzem noes como
varivel e funo na geometria.
Quando Boutroux escreve que o mtodo de Poncelet nada mais do que o mtodo da
lgebra aplicado num objeto diferente do clculo (BOUTROUX, 1920, p. 136, traduo
nossa) ele mostra que este mtodo na verdade o mtodo axiomtico no sentido de Peano
(1858-1932) e Hilbert (1862-1943) que apareceu explicitamente e claramente apenas no final
do sculo XIX.
No sculo XIX tambm surgem os limites dos mtodos algbrico-lgicos que
dominaram a Matemtica at o final do sculo XVIII. O problema consistia no fato que os
conceitos matemticos so essencialmente indeterminados ou vagos e por isso eles esto em
oposio aos conceitos da lgica e da lgebra. No existe um sistema de conceitos
elementares e bem determinados que consiga constituir todos os conceitos possveis em
termos de combinaes que se tornam cada vez mais complexas. Boutroux escreve ainda:
Vamos perceber mais precisamente esses fatos atravs de um exemplo: vamos considerar um
dos mais importantes conceitos da anlise moderna, o conceito de funo matemtica
(BOUTROUX, 1920, p. 164, traduo nossa). O conceito de funo para Boutroux foi o
maior agente responsvel pelo declnio da concepo sinttica.
O problema da definio desse conceito foi muito discutido. Otte afirma que:

[...] Na prpria Matemtica se revelava a necessidade de avanar alm das

concepes do sculo XVIII e resolver a conexo entre o conceito de funo e sua
representao simblica ou descrio estrutural. Lobatschewskj (1793-1856), por
exemplo, escreve, em 1834: A definio geral exige que uma funo de x seja um
nmero para cada x dado, e que ela varie progressivamente com x. O valor de uma
funo pode ser dado por uma expresso analtica, ou por uma condio que fornea
um meio de verificar todos os nmeros e escolher um entre eles; finalmente, pode

31

existir dependncia, mas permanecendo, todavia desconhecida. Digno de nota nesta

descrio definitria, e apenas aparentemente suprflua, a enumerao das
diferentes modalidades, pelas quais uma correspondncia funcional poderia ser dada.
O problema de relativizao dos meios pela introduo do conceito da funo se
expressa tambm, claramente, na forma como Felix Klein cita Dirichlet (18051854). Se para cada valor de x num intervalo associado, por qualquer meio [o
grifo meu], um certo valor y, ento y deve ser chamado uma funo de x. Que o
conceito deve ser caracterizado apenas por uma relao input-output, ou seja, que
sua identidade seja vista no fato de que aos inputs ou argumentos iguais
correspondem outputs ou valores da funo iguais, trouxe muitas dificuldades e malestar na matemtica ao longo de todo o sculo XIX. Hermann Hankcl (1839-1873)
escreveu em 1870, aps apresentar a definio dc uma funo geral: Esta definio
puramente nominal, que a seguir chamarei de definio de Dirichlet, [...] no
suficiente para as necessidades da anlise, pois funes desse tipo no possuem
propriedades gerais, e assim so suprimidas todas as relaes de valores funcionais
para diferentes valores do argumento. Esta concepo conceitualmente abstrata de
funo, que acabamos de citar, transforma de incio o prprio conceito num objeto
completamente desconhecido, pois funes que so idnticas numa certa rea dc
input podem ser bem diferentes em outras. De certa forma, no possvel antecipar
o comportamento futuro de uma tal funo, ou seja, antecipar o resultado de sua
aplicao a argumentos nos quais ela ainda no foi aplicada (1993, p. 231-232).

As diferentes definies apresentadas neste trecho em relao ao conceito de funo

ratificam a ideia de Boutroux, para ele o grande responsvel pelo declnio da concepo
sinttica foi o conceito de funo.
Devido importncia do captulo IV intitulado: O ponto de vista da Anlise moderna,
de Boutroux, apresenta-se neste prximo tpico a traduo integral do mesmo, objetivando
que o ledor tenha condies de realizar uma leitura mais clara das ideias de Boutroux.
Esta obra ainda no possui traduo na lngua portuguesa, na margem direita o leitor
perceber um nmero que corresponde ao nmero da pgina original da obra L'idal
scientifique des mathmaticiens: dans l'antiquit et dans le temps modernes. Esta marcao
ir auxili-lo a fazer uma leitura mais dinmica, pois sempre que desejar poder consultar a
obra original, sem grandes dificuldades para encontrar as pginas correspondentes.
Todas as citaes no rodap, as palavras grifadas e em itlico, bem como as frases
entre parnteses e entre hfens so correspondentes as do autor, conforme original. A seguir a
traduo:

32

1.7

O PONTO DE VISTA DA ANLISE MODERNA

CAPTULO IV

O PONTO DE VISTA DA ANLISE MODERNA

I. - A evoluo da Anlise Matemtica no sculo XIX

Seguindo o desenvolvimento do pensamento matemtico depois da Grcia antiga 181

at o incio do perodo contemporneo, vimos predominar 1 sucessivamente dois pontos
de vista, duas tendncias diferentes.
No incio o pensador se limitava a constatar. Ele observa ao seu redor, dizia
Plato no com seus olhos, cuja viso rude e limitada aos objetos sensveis, mas com
uma capacidade de perceber intelectualmente, que corresponde ao esprito, e que lhe
permite aprender as verdades matemticas essenciais. Deste modo foram percebidas as
harmoniosas propriedades do mundo dos nmeros e do mundo das figuras, tambm 182
aquelas de grandeza mensurveis, nas quais operam as snteses da quantidade e da
figura, a reunio da aritmtica e da geometria.
Com a difuso da lgebra, contudo, realiza-se uma mudana. A cincia que era
contemplativa se faz construtiva. Esta revoluo resulta em um mtodo e num ponto de
vista inteiramente novo.
Compor, a partir de elementos simples, a unio cada vez mais complexa e
construir assim das peas, sua prpria indstria, o edifcio da cincia, esta parecia ser a
tarefa do matemtico da em diante. A faculdade criativa do cientista encontrava-se a tal
ponto exaltada, dentro deste novo perodo, que, do modo como era, logo se transformou
em seus prprios objetivos. Deixando aos prticos o cuidado de interpretar e utilizar
1

Diz-se que as tendncias que buscamos coexistem sempre em oposio, em qualquer grau, nos perodos de
grande atividade matemtica, no somente em cientistas de escolas diferentes, mas frequentemente em um
mesmo indivduo. Quando ento ns distinguimos nos tempos estas tendncias, vemos simplesmente dizer que
tal ou tal dentre elas responsvel em um momento em dar e caracterizar o ideal cientfico de uma poca.

33

suas teorias, o matemtico da escola algebrista atribui menos valor s teorias

construdas a aos resultados adquiridos que ao mtodo pelo qual se realiza. Seu objetivo
principal no mais conhecer novos fatos, mas aumentar seu poder criativo e seus
recursos para aperfeioar seus procedimentos.
Contudo, at mesmo o progresso da matemtica algbrica causou o surgimento
de certas dificuldades e ocasionou uma reao. Antes mesmo que esta matemtica
tivesse terminado de desenvolver seus mtodos e de construir sobre as bases lgicas
rigorosas o edifcio da cincia (o que ocorreu, aproximadamente, por volta da primeira
metade do sculo XIX) uma ligeira indisposio se manifestou.
Tentando entender a concepo algbrica da Matemtica, penetrando to
profundamente como possvel ao seu princpio, ns tnhamos chegado ao seguinte: a 183
Matemtica ideal se reduz a uma sntese algbrico-lgica, esta se faz, essencialmente,
base de regras que so arbitrrias. Ora, por diversas razes, os matemticos do fim do
sculo XIX no podiam mais concordar, com esta frmula.
bem evidente, primeiramente, que o matemtico no constri conhecimento
dentro do vazio. Para ele importante que suas teorias sejam aplicveis geometria e
fsica. Ora, as necessidades destas cincias obrigam o cientista a estudar relaes
matemticas que no se reduzem apenas a combinaes algbricas, h muito mais que
isto. No prprio interior da Anlise Matemtica, ns podemos realizar progressos e
chegar ao fundo dos conceitos que estudamos apenas se transcendemos um pouco os
limites da lgebra. Acrescentamos que para justificar e hierarquizar as teorias, para
discutir as hipteses sobre as quais elas so fundadas, para aperfeio-las e enriqueclas, ns devemos necessariamente usar outras operaes do esprito do que a pura e
simples combinao lgica.
Encontramo-nos forados a conceder a isso muito mais que o triunfo da nossa
faculdade de combinao lgica. Sentindo a possibilidade de construir fictcias cincias
infinitamente variveis e observando suas definies e postulados arbitrrios, nos
encontramos paralisados por excesso prprio de nossa potncia. Ns compreendemos
que uma escolha necessria entre as inmeras construes que ns podemos realizar.
E por isso, das duas partes das quais se compem ordinariamente o trabalho da
Matemtica. seleo de ideias e demonstraes, a primeira toma novamente um
importante papel em relao segunda.
Estas so as observaes que representam um resumo dos estudos que fizemos 184
nos captulos anteriores. Mas at agora elaboramos apenas uma concluso negativa: elas

34

nos mostraram que a concepo sinttica dos matemticos deveria ser abandonada. Para
saber se esta concepo foi substituda por outra, com novas ideias diretoras e se novos
princpios de pesquisa se desenvolveram dentro do esprito dos cientistas, temos que
analisar mais de perto o padro atual da Matemtica.
Isto que nos aparece primeiramente quando comparamos a Matemtica de nosso
tempo com aquela da poca anterior, a extraordinria diversidade e o aspecto
imprevisto das vias e dos rodeios onde esta cincia est empregada, esta desordem
aparente dentro da qual ela executa suas marchas e contramarchas so as suas operaes
e mudanas de frente contnuas. A bela unidade que Euclides tinha dado geometria e
que Descartes queria conferir para a lgebra parece irremediavelmente perdida. E isto
que um observador do movimento cientfico hoje mais tentado a admirar no trabalho
de um matemtico, no a harmonia dos resultados, nem a segurana e a simplicidade
do mtodo, mais antes de tudo o engenho, a flexibilidade que o matemtico deve a todo
instante implantar para atingir seus fins.
Consideremos por exemplo a teoria das equaes algbricas de grau n:

(I)

O problema fundamental que estas equaes colocam buscar as resolues.

Ora, sabe-se que no incio do perodo moderno este problema se encontrava
comprometido em um impasse. Todos os esforos feitos pelos algebristas para resolver 185
as equaes de grau superior a 4 tinham lamentavelmente encalhado. O fracasso, cujo
qual, podia se surpreender quando acreditava-se na onipotncia da lgebra, os modernos
explicam facilmente. O que significa afinal resolver uma equao, no sentido da
lgebra elementar? Isto , por definio, encontrar uma expresso algbrica das razes
como uma funo dos coeficientes da equao. Ora correto afirmar que se pode
efetuar sobre os coeficientes de uma equao, qualquer combinao de operaes
algbricas que fornea as razes da equao2? A priori, evidentemente, no existe
nenhuma razo para que isto ocorra e quanto a possibilidade acidental para as equaes
dos quatro primeiros graus no podemos concluir nada. De fato, a proposio seguinte,

que faz observar Leibniz ao seu amigo Tschirnhaus, que fazia esforos desesperados para transformar as
equaes gerais de quinto e do sexto grau em equaes suscetveis de serem resolvidas.

35

apresentada por Gauss, foi demonstrada com todo rigor pelo matemtico noruegus
Abel3: impossvel representar as razes da equao geral de quinto grau

em termos de expresses algbricas dos coeficientes.

Este teorema de Abel encerrava definitivamente uma questo debatida por muito
tempo. Havia encerrado, entretanto, como se poderia esperar, o captulo da cincia que
trata da resoluo de equaes? Foi o contrrio que aconteceu. A plena proposio em 186
questo foi estabelecida, a teoria das equaes, graas ao trabalho de Evariste Galois 4 e
do prprio Abel, repercutiria em novas direes e teria uma importncia maior como
jamais teve. Foi suficiente para ele transmitir este impulso de modificar o enunciado do
problema posto, e atacar de lado a dificuldade que ele no podia abordar de frente.
Em vez de procurar uma expresso algbrica das razes das equaes, ele se esfora em
isolar certas famlias ou classes de equaes tais que as razes das equaes de uma
mesma classe se exprimem por meio de frmulas algbricas em funo umas das outras:
assim todas as equaes de uma classe seriam - si ele resolve uma - resolvidas ao
mesmo tempo, fato do qual o matemtico tira consequncias mais interessantes e teis
do que aquelas que poderia conduzir o clculo efetivo dos valores das razes. Adotando
um ponto de vista um pouco diferente, ainda se poderia perguntar quais so os nmeros
que seriam necessrios associar aos nmeros ordinrios (nmeros racionais e
nmeros calculveis por radicais) para que as razes de equao possam ser exprimidas
por frmulas algbricas, por meio dos nmeros ordinrios e dos nmeros adjuntos.
Desta forma bem imprevista, que foi dada aos problemas das equaes que nasceu
uma teoria extremamente fecunda.

187

O estudo do problema da integrao nos sugere observaes semelhantes.

Sabe-se que o clculo das integrais definidas

Determinao da Impossibilidade da resoluo algbrica das equaes gerais que passam do quarto grau (1826)
[Obra. De Abel, Ed. Sylow-Lei, t. I,p.66].
4
A memria fundamental de Galois (morto aos vinte anos em 1832) que foi publicado em 1846 no Jornal do
Liouville: Memria sobre as condies de resoluo das equaes por radical. As vias que conduziram as
descobertas de Galois haviam sido preparadas por Lagrange, Abel, Cauchy. Estas descobertas continuaram em
outros trabalhos de Hermite, Jordan, Klein e de novos autores analistas. Ct. M. Winter, o Mtodo na Filosofia
das Matemticas, p. 146 e seq.

36

s pode ser efetuado em termos da lgebra elementar quando os polinmios so de grau

1 ou 2 (n igual a 1 ou 2). Se n maior que 2, este clculo torna-se to impossvel como
a resoluo de uma equao algbrica de quinto grau. Reconhecendo-se esta
impossibilidade, precisa-se renunciar ao estudo mais profundo das integrais y e z nas
quais n tem-se o valor 3? De modo algum, porque se descobriu uma espcie de atalho
que permite penetrar no corao de suas propriedades. Quando z igual a integral

x inversamente uma certa funo de z, que se chama p(z). Ora constata-se que esta
funo fcil de construir e goza de propriedades extremamente notveis. Ela pertence
famlia das funes elpticas que so parecidas com as funes trigonomtricas, mas
que so, entretanto, mais gerais e a isso, se deve nossa maior dificuldade. Em vez de
atacar diretamente a integral que fornece o valor de z, poder-se-ia tentar entender as
propriedades da funo p(z). Constata-se por outro lado, que a integral definida

188

encontra-se como uma funo (funo elptica) de z, que pode ser considerada como
conhecida quando se conhece p(z); mas geralmente, a teoria das funes elpticas
permite estudar as integrais de todas as funes de x que so funes racionais de x e
dependem de um polinmio em x do terceiro ou do quarto grau 5.
Quando, nas integrais y e z acima, o grau n superior a 4, o mtodo das funes
elpticas recusa seus servios. Estamos excedendo os limites de seu campo de ao. Mas
isto no um problema, tomemos outro caminho nos desviando ainda mais.
Retornemos ao estudo das integrais y e z, contudo, no mais diante da considerao de

Integrais de fora
onde R uma funo racional de duas quantidades x e u e onde
como polinmio em x do terceiro ou quarto grau.

37

uma funo, de uma varivel p(z), mas ao estudo simultneo de funes de vrias
variveis, funes de um tipo notvel, ditas funes abelianas.
Agora, se deixarmos o captulo das integrais definidas e passarmos s equaes
diferenciais um dos contedos mais importantes da Anlise Moderna ns veremos
se multiplicar e se diversificar cada vez mais os mtodos de pesquisa.
Tem-se estudado com sucesso certos tipos de equaes diferenciais, pertencentes
famlia das equaes lineares, mais nesta ordem de ideias chega-se em um ponto no
qual parece no haver mais progresso. O que poderia ser feito? Pesquisando-se em uma
parte das matemticas extremamente afastada das equaes diferenciais surge um novo
instrumento do clculo: a funo automorfo, fuchsiana ou kleineana6, cuja definio 189
repousa sobre a teoria de grupos de substituies e que generaliza uma funo particular
deparando-se com um problema relativo ao das funes elpticas.
Na teoria das equaes diferenciais no-lineares, aparecem dificuldades maiores
ainda, tornando todo progresso impossvel; porque, alm de se ter uma pequena parte
desse nmero de equaes imediatamente integrveis, em outras, nenhuma propriedade
conhecida aparece. Mas nesta floresta fechada, se apresenta uma pista inesperada.
Constata-se que h uma estreita correlao entre os diversos caracteres cientficos das
equaes diferenciais e a natureza de seus pontos singulares. Desta ideia Sr. Painlav
retira uma classificao de equaes diferenciais que ele conduz a notveis descobertas.
Estes exemplos, escolhidos entre muitos outros, sero, sem dvida, suficientes
para fazer ressaltar a variedade de pontos de vista que caracterizam a matemtica
contempornea. Quanto mais observamos, mais nos impressionaremos com a
abundncia de recursos disponveis. Porm, constataremos, ao mesmo tempo, que esta
riqueza tem por consequncia certa ausncia de ordem e de coerncia. As teorias
parecem mal delimitadas, se cruzam e sobrepem-se umas sobre as outras, so
introduzidas de uma maneira abrupta sem razes aparentes, depois so abandonadas e
depois novamente retomadas sem que se saibam os princpios que presidem a sua 190
formao e a sua conexo.
De um lado, resulta que o plano do edifcio matemtico no aparece claramente
e, por outro lado as regras, que gerenciam o trabalho de pesquisa, os mtodos que
permitem a cincia se desenvolver parecem ser mais contingentes e incertos.

A existncia das funes foi demonstrada por Henri Poincar em 1881. Poincar estudava uma srie de
artigos, as propriedades as quais elas gozam e as aplicaes que se pode fazer estudando as equaes diferenciais
lineares.

38

Isto nos chama a ateno s reflexes, muitas vezes citadas, feitas por Galois que
pronunciou, por volta de 18307, inspirado pela experincia de sua breve e brilhante
carreira matemtica:
De todos os conhecimentos, sabe-se que a anlise pura a mais
imaterial, a mais eminentemente lgica, e a nica que no exige nada das
manifestaes dos sentidos. Muitos concluem da que a Anlise a mais
metdica e a mais bem ordenada. Mas isto um erro [...]. As pessoas que
consideram a Matemtica como sinnimo de algo regular se surpreendero
bastante. Todavia, aqui como em geral, a cincia uma obra do esprito
humano, que muito mais destinada a estudar do que a conhecer, a buscar do
que a encontrar a verdade. Entendemos que um esprito que teria a fora de
perceber com um s lance a totalidade das verdades matemticas [...] poderia
deduzi-las regularmente e instintivamente de uma maneira regular e de
acordo com os mtodos uniformes [...]. Mas as coisas no so assim, a tarefa
do pensador mais penosa e, portanto mais bela, o progresso da cincia
menos regular: a cincia progride por uma sria de combinaes onde o acaso
tem um papel importante; a vida da cincia no orgnica, mas semelhante
quela dos minerais que crescem por justaposio. Isso se aplica no somente
a cincia que resultante do trabalho de uma srie de cientistas, mas tambm 191
s pesquisas particulares de cada um deles. Os analistas queriam disfarar,
em vo, pois eles no deduziam, mas combinavam, comparavam e quando
chegavam a verdade, certamente, a alcanavam por meio de desvios e por
acaso.

O mtodo de pesquisa descrito aqui por Galois , como se v, o mtodo

experimental. Para superar os obstculos que barraram o caminho da lgica, o analista
usa recursos, que so, em geral, to artificiais quanto os do fsico ou do naturalista.
Se o matemtico encontra-se, assim, obrigado a utilizar vrios meios para
conduzir suas pesquisas, pelo menos, ele sabe com toda preciso desejvel o que est
procurando ou para onde quer ir?
A concepo sinttica da cincia era como foi visto anteriormente conduzida
pela ideia de que as teorias matemticas podem ser construdas arbitrariamente,
contanto que elas obedeam a certas regras formais e convencionais. Usando sua
liberdade o matemtico, naturalmente, comea estudando as teorias fceis, quer dizer,
aquelas s quais a linguagem da lgebra se adapta perfeitamente. Mas se estas teorias
no so suficientes devemos mant-las at que ponto, e em qual sentido temos que
super-las?
Poderia se responder que o matemtico ser guiado na sua marcha pelo desejo de
chegar aos resultados interessantes e fecundos. Tanto na Matemtica, como na Fsica,
o sucesso que justifica a pesquisa e que determina a tarefa final. Mas, o que
7

Manuscritos em papiros inditos de Galois, publicado por J. Tannery. Boletim de Cincias matemticas. 1906,
p.259-60.

39

exatamente o sucesso? Pois est claro, que se ns permanecemos nos domnios da

Anlise pura, o sucesso no se manifesta como na fsica, em termos de uma 192
conformidade at certo ponto grande da teoria com os dados da experincia.
De fato, o matemtico no conhece nenhum princpio, nenhum critrio objetivo
que lhe permita decidir se vale ou no a pena dispens-lo para poder construir uma
teoria. Ele , para dirigir sua atividade, forado a contar com sua perspiccia e a sua
inspirao, esperando que lhe surja uma nova viso. mile Borel8 escreve:
O que necessrio e esta uma ideia feliz, se ter a introduo de tal
noo que permite agrupar os fatos conhecidos e em seguida descobrir novos
fatos [...]. A inveno propriamente dita, a inveno verdadeiramente frtil
consiste, tanto na Matemtica como nas outras cincias, em descobertas com
um ponto de vista novo para classificar e interpretar os fatos.

Observa-se que a tarefa do matemtico esta longe de ser claramente traada e

envolve embaraos em que o inventor, frequentemente, parece encontrar-se. Se as
observaes que temos apresentado so corretas, poder-se-ia buscar explicar estes
embaraos por dois motivos diferentes e primeira vista, totalmente opostos. O
matemtico moderno tomado de surpresa, porque dispe de um poder criativo muito
grande; podendo construir uma infinidade de teorias, podendo se orientar por uma
infinidade de direes, ele nem sabe qual escolher. Mas permanece igualmente
embaraado, porque, os conceitos e as propriedades que estuda resistem aos seus
esforos e curvam-se apenas imperfeitamente a sua vontade; ele sente que os conceitos 193
no so uma construo totalmente sua, no podendo mais igualmente ao algebrista do
sculo XVIII considerar a cincia como sendo o resultado puro e simples de suas
construes.
Esta ltima observao pe em destaque uma caracterstica geral, um trao que
revela claramente a obra do matemtico contemporneo e que caracteriza bem a
fisionomia desta obra em relao s especulaes dos antigos gemetras e dos
algebristas.
Entre a concepo grega da Matemtica e a contrria concepo dos algebristas
sintticos havia uma semelhana. Tanto uma como a outra pressupe certa harmonia
pr-estabelecida entre a tarefa e o mtodo da cincia matemtica, entre os objetos que
esta cincia pesquisa e os procedimentos que lhes permite atingir estes objetos.

Lgica e intuio em Matemtica, Revista de Metafsica, maio 1907, p. 281.

40

Assim, na geometria euclidiana servem as mesmas belas e harmoniosas

propriedades que so pesquisadas tanto como objetos como instrumentos para pesquisar
outras propriedades mais remotas; todo teorema ao mesmo tempo um objeto e um
instrumento de pesquisa.
Semelhantemente, em toda a cincia algbrica os objetos estudados, unicamente
compostos ou agregados aos elementos, no contm nem mais e nem menos que os seus
prprios elementos e o fim que possuam se encontram, por consequncia, determinado
pelos meios que empregam em seu trabalho. Assim, por exemplo, depois de haver
estudado algebricamente as curvas do segundo grau (ou sees cnicas) Descartes,
convida-nos a elevar progressivamente as curvas cada vez mais compostas (grau cada
vez mais elevado). O problema assim exposto e moldado na forma sobre a qual opera- 194
se a composio algbrica, prope-se a estudar, entre todas as curvas, aquelas que
correspondem as equaes polinomiais e as considera na mesma ordem, segundo as
quais, as equaes correspondentes procedem umas das outras. Semelhantemente,
quando se define a funo analtica transcendente como a soma de uma srie
convergente, procura-se constituir uma teoria onde objeto e instrumento de
demonstrao se fundem um no outro, pois objetivo dado ao clculo de sries
exatamente o estudo das propriedades destas expresses.
Se voltarmos nosso olhar para a cincia contempornea, ento o que veremos? A
harmonia da qual falamos est quase completamente desaparecida. Quando nos
proposto um problema impossvel prever quais so os procedimentos
frequentemente muito indiretos que permitem a resoluo. Inversamente, qualquer que
fosse a familiaridade em relao aos mecanismos de sua arte, o matemtico nem sempre
percebia com clareza em quais problemas ele deveria aplicar esta arte. Segue que, hoje
em dia, este no necessariamente o mesmo homem que era, na Matemtica, um
inventor original e um hbil tcnico. Parece que as caractersticas, que o faziam um
inovador perspicaz apto para descobertas e o outro um mestre de demonstrao,
cessaram e j no so as mesmas.
Em outros termos, um dualismo se manifesta no seio da matemtica pura. As
tcnicas de provas, por um lado, deveriam satisfazer a certas condies determinadas e
possuir certas caractersticas prprias, que so as mesmas que pusemos em destaque nos
dois captulos precedentes (porque, no que concerne demonstrao, o ideal da escola
algebrista e sinttica em nada foi mudada pelas geraes modernas). Mas, por outro 195
lado, os fatos que a Matemtica estuda atualmente parecem depender de condies

41

diferentes quelas das demonstraes. No apenas porque estes fatos no so resultados

de combinaes algbricas, mas porque esto em contraste com a lgebra e se deixam
encaixar apenas imperfeitamente nas suas frmulas algbricas. Os progressos realizados
pela Anlise parecem que s podem ser adquiridos ao preo de uma luta, cuja marcha
incerta e a sada sempre duvidosa.

II. - A objetividade dos fatos matemticos

Para explicar as caractersticas e as tendncias das matemticas contemporneas,

fomos conduzidos a empregar certas expresses, as quais nos haviam servido, quando
ns considervamos a Matemtica grega, mas, estudando o perodo algbrico da cincia
temos a todo possvel procurado evit-las. Falamos de conceitos, de objetos
matemticos ou de fatos matemticos. Expresses convenientes, mas ambguas. Deveria
ser atribudo a elas apenas um valor metafrico, ou pode-se, ao contrrio, empregandose do ponto de vista da cincia atual dar-lhes uma significao precisa e positiva?
Independentemente do que se pense a respeito desta questo, em todo caso, h
um ponto que parece certo, se estas expresses existem nas frmulas e nas dedues
matemticas de conceitos objetivos, estes conceitos no so de origem emprica.
Observe que no fizemos nenhuma aluso, no curso desta obra, s doutrinas que por
vrios motivos e com argumentos diversos, tm buscado fundar o sistema das 196
matemticas sobre os dados experimentais. Mesmo que estas doutrinas tenham um
grande papel no desenvolvimento das ideias filosficas, elas no parecem ter influncia
de uma maneira notvel ao pensamento dos matemticos. Os fundadores da cincia
grega ficaram afastados o mximo possvel do empirismo. Descartes, Leibniz, eram do
mesmo modo opostos ao empirismo. Os algebristas puros, por outro lado,
permaneceram fiis aos princpios de sua arte, se desinteressavam da natureza dos
elementos que combinavam, de modo que eles no tinham interesse em tomar partido
entre o empirismo e as doutrinas contrrias. Quando enfim, no fim do sculo XIX,
certos matemticos tm apresentado tendncias filosficas que buscam traar um ponto
de vista cientificamente rigoroso, em relao questo da origem dos conceitos
matemticos, isto foi para refutar ao que parece definitivamente a doutrina dos
empiristas.

42

No temos necessidade de reproduzir os argumentos j foram elaborados contra

esta doutrina, argumentos aos quais os matemticos do nosso tempo, quase que,
unnimes a aderiram. Estes argumentos encontraram-se expostos notadamente nas obras
filosficas de Henri Poincar. Consideremos, como admitido, que os conceitos
matemticos no so emprestados do mundo sensvel, onde jamais se encontram
perfeitamente realizados; eles tambm no so um produto de abstrao, porque so
livres de todas as caractersticas que formam nossa percepo dos objetos reais; enfim,
as proposies matemticas no poderiam ser olhadas como objetos em um sentido
emprico da palavra, porque nenhuma experincia fsica poderia jamais demonstrar a
verdade ou a falsidade de seus postulados.
Sem dvida, no possvel concluir, contudo, que a nossa cincia Matemtica 197
seja independente da experincia. Depois de Henri Poincar, ao contrrio, a maior parte
de nossas teorias em ltima anlise determinada por consideraes de origem
experimental. Mas, isto no ocorre em razo de uma necessidade fundamental e sim
unicamente por motivos acidentais. A fim de obter uma Matemtica que possa ser
aplicvel aos estudos da Fsica e que, por outro lado, seja de acordo com as condies
comuns ao conhecimento humano, ns devemos entre uma infinidade de sistemas de
postulados teoricamente possveis escolher estes e no aqueles, e nossa escolha guiada
pela experincia de nossos sentidos; mas esta no a escolha que deveria conferir aos
postulados e aos conceitos de nossa cincia uma caracterstica de objetividade.
Nota-se, como nesta teoria da cincia certos pensadores podem arrastar-se para a
doutrina neo-nominalista que Sr. Edouard Le Roy9 tem desenvolvido, h vinte anos, em
uma srie de notveis artigos. Sr. Le Roy defendeu-se de ser nominalista, e esta
qualificao no convm, de fato, sua filosofia; mas ele no deveria se surpreender ao
ver que esta caracterizao foi aplicada na sua concepo das cincias matemticas e
fsicas. Seguindo uma frmula de Le Roy, Henri Poincar 10 tem discutido longamente
em O cientista cria o fato. Em outro lugar disse: que os fatos so talhados pelo esprito
na matria amorfo do dado11. A cincia racional no se d a tarefa de responder a 198
uma necessidade exterior que j se encontra pronta e escondida na realidade; sua misso
fabricar a prpria verdade, que ela pesquisa 12. No que concerne, especialmente, a
Matemtica ela resultante inevitvel dos postulados anteriores admitidos nos
9

Henri Poincare tem pronunciado, quanto a ele, em termos categricos contra a doutrina no-nominalista.
Cincia e filosofia, Revista de Metafsica, 1899 e 1900.
11
Revista de Metafsica, 1899, p.517.
12
Ibdi. p. 559.
10

43

discursos; ela parece superficial quando os postulados que a determinam no so

explicitamente desempenhados13. O que h basicamente em um fato matemtico a
atividade regular do esprito do mesmo modo que esta trabalha para o estabelecimento
do discurso.
Interpretada literalmente esta tese seria apenas uma forma particularmente
explcita e categrica da mesma natureza que resulta da concepo algbrico-sinttica
da cincia a qual ns escrevemos acima. Os argumentos dos pensadores e os fatos sobre
os quais se guiam estes argumentos so nada mais que uma combinao artificial de
elementos moldados por nosso esprito. A cincia inteiramente obra do homem que
permite dar gnese das teorias uma explicao pragmtica muito mais absoluta que
esta, cujo Henri Poincar havia feito a interpretao. O fato cientfico escreve Sr. Le
Roy14 no a realidade, como ela aparece para nossa intuio imediata, mais uma
adaptao do real aos interesses da prtica e as exigncias da vida social.
Doutrina perfeitamente coerente e de onde se obtm uma definio muito clara
da cincia a qual satisfez numerosos cientistas. Mas o destino desta doutrina est ligado,
se no nos enganamos, ao das concepes e das vises cientficas, a qual em um 199
captulo precedente ns constatamos a insuficincia. As razes que nos faz acima
renunciar em considerar a Matemtica como um vasto sistema algbrico-lgico,
deveriam igualmente nos impedir de v-la como uma construo convencional, uma
simples criao do esprito humano. A doutrina nominalista no saberia explicar nem
mesmo sobre a caracterstica indeterminada da natureza insondvel dos conceitos
matemticos, nem sobre o vestgio da incompletude, nem sobre a impotncia que as
teorias nos do para alcanar o seu propsito e muito menos ainda saberia explicar sobre
a deformidade da harmonia, ou seja, sobre a oposio que temos levantado entre o
objeto de pesquisa do matemtico e os mtodos que ele utiliza.
verdade que se o nominalismo no exatamente preciso pelo menos a doutrina
pragmatista fornece uma explicao fcil do papel capital que desempenha a escolha na
edificao das teorias matemticas; isto , diz-se, que graas a uma srie de escolhas
sucessivas entre vrias construes possveis que obtemos uma cincia adaptada s
nossas necessidades prticas. Mas ao reportar-se a isto, que acima temos dito, a respeito
das condies na qual se exerce a escolha do matemtico, constata-se que esta
explicao no o suficiente para todos os porqus. A escolha intervm no somente na
13
14

Revista de metafsica, 1900, p. 45.

Art. cit., Revista de Metafsica, 1889, p.379.

44

determinao das definies e dos postulados, mas tambm e especialmente, nas teorias
as mais derivadas e as mais elevadas das matemticas (que so aquelas onde a estrada a
seguir a mais incerta). Ora, pode-se pensar que os postulados aqueles de Euclides,
por exemplo so escolhidos com a inteno de constituir uma cincia cmoda e
prtica, no se saberia apoiar a mesma tese aos propsitos de teorias que de nenhum
modo podem ser relacionadas aos fatos experimentais. No prprio do matemtico
que uma teoria abstrata possua um valor prprio e que seja solidamente conveniente 200
fora das aplicaes nas quais ela pode dar lugar. Como, por consequncia, fazer
depender deste valor a discriminao que nos permite perceber utilitrias
consideraes?
Se a Matemtica tem-se adaptado at certo ponto s condies experimentais,
este fato no em virtude de suas propriedades intrnsecas, mas por causa de
circunstncias contingentes. Mostrar que uma cincia relativamente simples permite
explicar os fenmenos da natureza. Este um acaso feliz que poderia no se apresentar.
Se o sistema solar, no lugar de ser isolado se encontrasse prximo de estrelas grandes e
numerosas, cuja atrao sobre o nosso mundo viria a aproximar-se quela do sol, o
estudo do movimento da terra por intermdio das equaes e da mecnica racional
tornar-se-ia praticamente impossvel.
Principalmente, quando se sustenta que a nossa cincia cmoda e adaptada
s nossas necessidades, este fato tanto devido a um acordo da cincia com a
experincia que os pragmticos nominalistas tm em vista, quanto ao fato que antes de
tudo, a cincia conforme a natureza de nosso esprito e bem adaptada s condies nas
quais se exerce nossa atividade intelectual. Neste sentido, a tese pragmatista nos
parece ser desmentida pelas concluses que j discorremos. Ns reconhecemos que o
matemtico visa constituir uma cincia que seja to cmoda quanto possvel; mas
constatamos igualmente que esta no foi atingida ou mais exatamente, que apesar de sua
potncia e riqueza a matemtica cmoda no poderia nos ser suficiente. O melhor
mtodo matemtico adaptado as nossas necessidades intelectuais , com efeito,
indubitavelmente, aquele da lgebra. Ora, ns cremos que existe contradio entre as 201
exigncias deste mtodo e certas especulaes que se impem ao esprito do
matemtico.
Assim, estamos atribuindo uma importncia cada vez maior a este conflito
interior cincia matemtica, ao qual buscamos acima pr em evidncia, conflito que

45

os matemticos profissionais talvez no precisem explicar, mas ao qual eles tm, em

muitas ocasies, um sentimento muito ntido e muito vivo.
Ora, existe uma observao notvel, se ao invs de concentrarmos nossa viso
no Sr. Le Roy sobre as teorias matemticas, porque no consideramos o conjunto de sua
doutrina para encontrarmos nesta a indicao de um conflito analgico. Sr. Le Roy
admite, tambm que o esprito humano no age livremente, mas que ele comprimido
em suas criaes e obrigado a dar conta das necessidades que lhe so desconhecidas.
Ele pensa como ns, que h um desacordo irredutvel entre a matria e o instrumento de
nosso conhecimento. Mas Sr. Le Roy coloca de uma maneira diferente da nossa o corte
que divide o domnio do conhecimento discursivo dos dados objetivos. Para Sr. Le Roy
a cincia inteira pertence ao primeiro domnio e a filosofia sozinha tem o privilgio de
entrar em contato com a realidade e com dado primitivo. Sem dvida h nos fatos um
resduo misterioso de objetividade 15. Sem dvida, se o conhecimento humano por um
lado construo, ele o , por outro lado, recorte, retaliao de uma matria. Mas a
cincia, ocupa-se somente da retaliao caracterstica de seu ponto de vista, no
considerando esta matria. Esta a crtica filosfica que cabe a ela resgatar. Ora, 202
quando observamos rigorosamente as condies nas quais trabalham os matemticos
modernos somos conduzidos, assim como eles foram a uma concluso diferente. Com
efeito, esta luta do esprito com uma matria rebelde, que descreve Sr. Le Roy e depois
Sr. Bergson, se manifesta, no somente no exerccio do conhecimento filosfico, mas no
prprio seio dos matemticos puros. E esta a distino feita por Sr. Le Roy que
como a separao que a opinio comum costumeiramente faz entre simplificando a
ideia de Pascal o esprito sutil e o esprito geomtrico. A diferena existe,
incontestavelmente, mas no entre a cincia matemtica e outro domnio; esta
diferena entre dois aspectos de nosso pensamento que se encontram em quase todos
os nossos atos intelectuais, j nas matemticas como se observa frequentemente, o
esprito sutil desempenha um considervel papel. Semelhantemente, certos matemticos
no acreditam que h entre o pensamento matemtico e o pensamento vivo ou filosfico
uma diferena to radical como Sr. Bergson ou certos discpulos de Sr. Bergson dizem.
neste sentido que necessrio interpretar as dvidas ou mal entendidos que a teoria da
cincia proposta pela Evoluo criativa 16 tem feito no esprito de certos analistas.

15

Art. Cit., Revista de Metafsica, 1899, p. 518

Cf. E. Borel. A evoluo da inteligncia geomtrica, apud Revista de metafsica, 1907, p. 747 e seguinte.
Discusso: Revista de metafsica, 1908, p. 28 e p. 246.
16

46

Para aprofundar os conceitos matemticos, assim como para estudar os

problemas da vida, necessrio que o esprito se violente, necessrio faz-lo,
querendo ou no, entrar em um molde, que no feito para receber uma realidade 203
refratria. Com a finalidade de resolver esta resistncia da matria matemtica que
oposta vontade do pensador, somos obrigados a supor a existncia de fatos
matemticos independentes da construo cientfica; somos forados a atribuir uma
verdadeira objetividade aos conceitos matemticos: objetividade que chamamos
intrnseca por indicar que no se confunde com a objetividade relativa ao conhecimento
experimental.
Qual significado metafsico convm atribuir em matemtica pura, a palavra
objetividade e tambm aos termos realidade, matria e existncia? Esta uma
questo a qual o matemtico no sabe responder a si mesmo. Ele se limita a exprimir
em termos que lhe parecem responder melhor ao estado da cincia matemtica o
resultado das constataes e reflexes o qual conduz o exerccio desta cincia.
Ento, tentaremos resgatar, resumindo e agrupando as observaes j feitas, os
caracteres matemticos dos fatos e conceitos estudados pelos gemetras e pelos
analistas de nossa poca.
O fato matemtico independente do vesturio lgico ou algbrico sobre o qual
ns procuramos represent-lo. De fato, a ideia que temos mais rica e mais plena que
todas as definies que podemos dar, que todas as formas ou combinaes de signos ou
de proposies pelas quais nos possvel exprimi-la. A expresso de um fato
matemtico arbitrria e convencional. Em contrapartida, o fato em si mesmo, a
verdade que o contm, est fora de toda conveno e se impe ao nosso esprito. Assim,
no se pode dar conta do desenvolvimento das teorias matemticas, se queres ver nas 204
frmulas algbricas e nas combinaes lgicas os prprios objetos aos quais, o
matemtico continua a estudar. Ao contrrio, todos os caracteres destas teorias se
explicam facilmente admitindo-se que a lgebra e as proposies lgicas no so mais
do que a linguagem na qual se traduzem um conjunto de conceitos e fatos objetivos.
Os algebristas e os lgicos tm razo de olhar a Matemtica como um sistema
algbrico-lgico. Isto , sobre esta forma se apresentam na realidade as teorias j
adquiridas e igualmente sobre esta forma que esforam-se para exprimir os novos
fatos que se v incorporar na cincia. Tomamos e desmontamos uma parte qualquer do
edifcio matemtico: no encontramos nada mais que um sistema de definies e de

47

postulados enunciados na linguagem da lgica e da lgebra, associados de acordo com

as regras destas duas artes.
Mas se buscarmos discernir as razes que no trabalho da pesquisa tm
determinado a escolha do matemtico, logo ns observaremos que as caractersticas
mais impressionantes dos objetos pesquisados, parecem que so praticamente incomuns
s qualidades formais da teoria algbrico-lgica. (Nesta afirmao estamos tentando
abstrair, da melhor maneira possvel, a forma da exposio e dos instrumentos da
demonstrao, fazemos esta abstrao apenas olhando para os prprios objetos,
comparando uns com os outros e considerando-os sobre todas as perspectivas, os
resultados que conduzem as teorias e os objetos para os quais so conduzidos).
Quais so, de fato, as qualidades s quais se reconhece a beleza e a solidez de
uma teoria? Elas residem, por uma parte, na simplicidade e na preciso a compreenso
bem determinada das definies e dos postulados e, de outra parte, no encadeamento
rigoroso e na boa ordenao das dedues e das construes. Ora, ns vimos que os 205
prprios fatos matemticos, so totalmente indiferentes da ordem em que so obtidos;
no se poderia fixar exatamente sua compreenso sem de certa forma empobrec-los; e
seria evidentemente insensato fazer seu valor depender de uma simplicidade que talvez
no exista relacionada a ns e aos hbitos de nossa inteligncia.
No h nada que possa nos surpreender se assumirmos uma concepo que
compara a teoria com uma traduo. Do mesmo modo como as diversas lnguas faladas
sobre a terra tm cada uma o seu carter, seu esprito prprio e no permitem a traduo
literal, no deveramos nos surpreender, que os fatos matemticos possam ser apenas
imperfeitamente apresentados a uma linguagem algbrico-lgica. Esta linguagem tem
suas exigncias e suas elegncias. Tudo o que apresentamos em uma lngua no pode
ser perfeitamente exposto em outra lngua. Outras exigncias que mantenham as
caractersticas dos fatos expressos devem, com efeito, ser satisfeitas.
Buscamos, no entanto, fornecer um resultado mais exato da natureza destes
fatos, em quais condies se determina e se orienta a pesquisa matemtica, de qual
forma podemos abord-las e possu-las. Vamos ainda procurar esclarecer nossas ideias
considerando alguns casos especficos.
Ns nos esforamos em mostrar acima que o conceito de funo matemtica no
pode ser reduzido a uma combinao quantitativa, nem aos princpios lgicos
elementares. O que existe, pois na realidade, no interior deste conceito? Pode ser que
faamos uma ideia se voltarmos origem primeira do conceito de funo e se 206

48

considerarmos esta concepo como se apresenta primitivamente ao nosso esprito,

antes de toda elaborao algbrica e lgica.
Conceber uma funo de uma varivel uma correspondncia entre duas
variveis matemticas isto , definitivamente, admitir que entre dois termos variando
simultaneamente exista uma relao sempre idntica a ela prpria, isto postular que,
sob a mudana aparente do antecedente e do consequente, existe alguma coisa de
constante. Ora, este postulado ns conhecemos bem. Isto o que preside da parte
superior inferior da escala, em todas as cincias fsicas e naturais. Este o conceito
geral da lei.
As dificuldades que se encontram nos estudos de funes matemticas, no so,
aproximadamente, da mesma ordem que aquelas com as quais lutam os fsicos? Sendo
dada uma conjetura que existe uma relao, como por exemplo, uma ao recproca de
duas molculas eletrizadas colocadas em certo dieltrico, onde o fsico buscar traduzila por meio de uma relao quantitativa. Na prpria anlise: temos antes todo o trabalho
da concepo de funo y(x), isto dizer, uma intuio da lei matemtica aps a qual,
quando escolhemos um valor arbitrrio de x, encontra-se certo valor de y para o mesmo
desgnio e s depois esforaremos para obter equaes que exprimam de uma maneira
menos mal possvel, esta estranha relao das duas variveis x e y.
A correspondncia matemtica no uma consequncia das operaes
algbricas, o prprio objeto que as determina. Por detrs deste sistema de smbolos
que ns acrescentamos indefinidamente uns aos outros, como faz um hbil equilibrista
que se agrada em acumular as dificuldades nos seus exerccios, h leis nicas e 207
indecomponveis, cuja frmula adequada nos escapa, mas que, contudo pressentimos
que ns ingenuamente a traduzimos na nossa linguagem algbrico-lgica. Aquele que
olharia o andaime poderia imaginar que os matemticos no tm, com efeito, outra coisa
alm de um edifcio habilmente construdo, cujas partes ajustam-se bem umas as outras.
Mas este poderia esquecer-se que para dirigir tantos esforos necessrio um objetivo
para o qual converge um modelo que tendem a realizar.
O problema mais geral ao qual se ocupa a Anlise Matemtica permitiria, ns
acreditamos, se definir assim: necessrio formar a ideia geral da lei matemtica que
encontramos em nosso esprito, as diversas formas algbricas concretas que ns temos
condies de dar-lhes. Aprofundando esta questo, descobrimos que abordando o
conceito geral de relao funcional esta comporta determinadas particularidades
notveis; a funo pode permanecer ou no finita, ser contnua ou descontnua, ter ou

49

no ter uma derivada em um ponto. Agora nos limitaremos, provisoriamente, s funes

contnuas com uma derivada. Deslocando em um plano a varivel independente x,
observamos que a funo y(x) geralmente perder suas propriedades de continuidade
em certas regies do plano: estas regies podem ser os pontos ou as linhas ou as
superfcies; de onde resulta uma particularizao cada vez maior do conceito intuitivo
de funo. Em outros termos, uma classificao de funes. Qual ento, a
representao analtica das diversas famlias de funes? Qual conexo se tem com as
outras funes mais simples? Quais so os signos distintivos aos quais sabemos 208
reconhecer? So muitos problemas, que os analistas devem resolver. Destes problemas,
alguns tm soluo, outros ainda esperam, mas mesmo estes so postos de uma forma
necessria. Objetivamente: no devemos, nem podemos nos esquivar.
Transportamo-nos para tornar nossa concluso mais clara aplicando a um caso
mais simples e especial para o terreno da geometria. O que , propriamente falando
uma curva geomtrica, uma elipse, por exemplo?
Sob a palavra elipse no se deve ver um reenvio de uma definio dada em
termos lgicos, tal como segue: chama-se elipse curva em que o lugar dos pontos
cuja soma das distncias a dois pontos fixos desse plano constante? Esta maneira de
ver no aceitvel, porque uma definio qualquer de elipse no , evidentemente, uma
propriedade particular da curva, escolhida arbitrariamente entre uma infinidade de
outras: Ora, temos dito desde j que o conjunto das propriedades da elipse e no
somente uma delas que constitui um ser matemtico.
Por uma razo semelhante no deveramos identificar o conceito de elipse com a
equao da curva. Tentemos ento caracterizar a elipse por sua figura olhando para
ela, por exemplo, como um conjunto de pontos, que esto subjugados em certas
condies? Mas apresentar a elipse como um conjunto de pontos evidentemente uma
perspectiva artificial. Uma elipse um todo que no composto por partes; uma
espcie de mnada leibniziana. Esta mnada contm todas as propriedades da elipse;
com isso quero dizer que estas propriedades esto contidas no conceito de elipse e
fazem parte do conceito de elipse mesmo que elas no possam ser explicitamente 209
representadas (e elas no poderiam ser, visto que, so em nmero infinito) . Nossa
tarefa consiste ento em dissecar tudo o que nos oferecido com a finalidade de fazer
aparecer os elementos que prestam melhor clareza do comportamento e dos caracteres
da curva. assim que a anlise ou a decomposio da curva em seus elementos nos
conduz a caracterizar a curva por sua tangente ou por sua curvatura em um ponto

50

qualquer. Com o mesmo esprito sulcamos a rea da elipse por retas paralelas aos eixos
de simetria, ou por retas saindo do centro e por arcos de crculos, e do comprimento
destas aberturas deduzimos a grande rea da curva e de suas partes. Logo consideramos
a elipse como interseco de um cone com um plano, como a projeo ortogonal de um
crculo ou como o lugar de pontos que gozam de tal ou tal propriedade. Infinitamente
numeroso o vis por onde se pode abordar o estudo da elipse. Como disse Plato17:
Mas estamos em uma situao crtica, onde uma necessidade considerar os objetos de
todos os lados para sondar a verdade.
Os caracteres que somos, assim, conduzidos a atribuir aos fatos matemticos nos
explicam as dificuldades contra as quais os cientistas, que buscam o conhecimento, se
debatem. necessrio conquistar uma matria rebelde e impor a esta matria uma forma
que no lhe convm. Por causa das indagaes, as hesitaes, os artifcios aos quais
temos falado acima, e que so os incidentes dos acontecimentos ou da investida, pelas
quais se reduzem os conceitos primeira vista inconquistveis. Quais so, alis, os 210
meios utilizados neste conflito? Saber-se-ia evidentemente tomar posse dos conceitos
importantes apenas ao preo de certos sacrifcios. Para fazer a realidade matemtica se
encaixar no molde algbrico-lgico, necessrio decompor, dividir, necessrio
renunciar para no penetrar particularmente em certo ngulo, quitar e atacar em seguida
outro lado. Por causa da variabilidade, a indeterminao e o aspecto sempre provisrio
das teorias. Para analisar completamente um fato matemtico, seria necessrio estudar
uma infinidade de ponto de vista diferente, multiplicar sem limites o nmero de
combinaes algbrico-lgicas a qual se serve. Sr. Painlev, professor de Mecnica no I
Congresso Internacional de Filosofia, 18 disse que cincia um mtodo convergente que
por aproximaes sucessivas tende para a realidade.
Vemos como o ponto de vista do cientista que compreende assim sua misso
afasta-se do ponto de vista sinttico dos lgicos e dos algebristas.
Sem dvida, o trabalho do matemtico conduz sempre a uma sntese; contudo, a
sntese relegada para o segundo plano na ordem das preocupaes dos pensadores. O
que atualmente visto como essencial no trabalho das descobertas a anlise, como j
dissemos no comeo deste captulo, mas a anlise passa a ser entendida num sentido
novo. Aps ter sido desde o sculo XVI ou sculo XV pelo menos, aps ter sido,
sobretudo o matemtico tornou-se uma espcie de inspetor, um construtor, um
17
18

Thtte
Ct, Revista de Metafsica, 1900, p. 588

51

generalizador que analisa maneira de um qumico, uma matria estranha e

infinitamente complexa. tambm, se quiser, um explorador, com a tarefa de se
orientar em um continente desconhecido, e que busca descobrir as riquezas, as regies

211

interessantes, sem, alis, saber qual lado deve exatamente avanar e dirigir sua
pesquisa para atingir seu objetivo.
Assim, ao curso do sculo XIX, o julgamento do matemtico considera as
diferentes partes da cincia que parecem ser reversa a ele. O que costumava ser mais
interessante, era a demonstrao, os processos e o sucesso dos clculos; os resultados e
as combinaes obtidas podiam, evidentemente, divergir em todos os sentidos e serem
multiplicados ao infinito, no havia espao para vincular um grande valor a sua
enumerao; a unidade que perseguia a cincia no podia ser uma unidade de mtodo.
Atualmente, ao contrrio, isto o que conta, o resultado que fornece ao trabalho sua
unidade; os artifcios da demonstrao so apenas um trabalho da arte sem os quais, ns
que no sabemos voar, estaramos fora do estado de superao das dificuldades e dos
acidentes do terreno que se encontra em nosso caminho.
Mas, diz-se que esta concepo matemtica no pode ser vista como nova. , ou
pelo menos deveria ser aproximadamente aquela concepo de Plato e dos gemetras
contemplativos da Grcia. A reverso da atitude dos cientistas s teria o efeito, ento, de
reconduzir s doutrinas da Antiguidade?
Buscando definir acima essas caractersticas que os modernos atribuem aos fatos
matemticos abstivemo-nos de fazer aproximaes histricas que podem dar lugar a
equvocos. Certamente as concluses que nos levaram aos argumentos que ns temos
desenvolvido, a prpria linguagem a qual servimo-nos nas pginas que precedem,
sugerem naturalmente tal aproximao. Apoiamos que as verdades matemticas so 212
fatos objetivos, independente de ns e que descobrimos e analisamos, de certa maneira,
exteriormente. Ora esta uma ideia essencialmente grega. Inclinamo-nos, por outro
lado, a ver na demonstrao o instrumento e no o fim da cincia. Assim com faziam os
gemetras helnicos.
Portanto, existe entre nossas concepes e as dos pensadores gregos, uma
diferena fundamental que temos, desde j, destacado no primeiro pargrafo do presente
captulo.
Para os gregos, a cincia matemtica , sobretudo, expresso de unificao e
harmonia. A dualidade que h atualmente, entre a oposio da matria e a forma sobre a
qual repousa nossa ideia de objetividade, no podia ser admitida pelos antigos. Vimos o

52

sistema de Euclides, precisamente, tender em direo ao surgimento de um acordo que

predomina entre a verdade perseguida pelos matemticos e os meios empregados para
atingir estas verdades. Assim, de acordo com os gregos, os conceitos matemticos que
estudamos so as imagens fiis das ideias que representam. Isto que o mais perfeito
para ns e ao mesmo tempo o mais perfeito em si. Disto provm a espontaneidade, a
facilidade e a passividade da contemplao na cincia antiga, como diz G. Milhaud 19:
Inteligibilidade e surpreendente facilidade do progresso, eis as caractersticas que
miraculosamente se renem, por meio da Matemtica, graas ao fato que ela fica,
exclusivamente, atrs da ideia nica e muito pura que o gemetra quer manejar. Disto
provm, do mesmo modo, a crena de que para orientar seus trabalhos em boa via o
matemtico precisa apenas pesquisar aquilo que simples e aquilo que belo.
Os modernos, ao contrrio, no crem mais em uma harmonia pr- 213
estabelecida entre a matria e a forma das teorias o trabalho do pensamento
matemtico toma um carter totalmente diferente. O objetivo de agarrar e de forar
um objeto que nos resiste. Assim, no se buscar fazer um trabalho belo, mas somente
chegar a um resultado desejado, empregando para isso os meios e os artifcios mais
variados. A pesquisa cientfica no ser por consequncia mais uma contemplao
passiva, mas sim, uma indstria ativa, que utiliza todos os processos que os progressos
dos mtodos algbricos e lgicos possam colocar nossa disposio.

III. - A doutrina intuicionista

Ns temos visto como a investigao das teorias modernas da Matemtica nos

conduz a atribuir-lhes, um certo carter de objetividade. Mas essa maneira de ver
apenas resultado indireto de um raciocnio que faz o matemtico refletir sobre sua obra
j completa? Ou apenas uma hiptese inventada sem importncia alguma, com a
finalidade de perceber as dificuldades da Anlise Moderna? Ou ser que podemos,
talvez, realmente constatar uma contradio que parece se manifestar entre o objeto e as
formas das teorias?

19

G. Milhau. Os Filsofos Gemetras da Grcia, p.7.

53

Estas so questes que o tcnico, como dissemos, pode fortemente desistir de

fornecer respostas. Mas mesmo assim, interessante conhecer sua opinio a respeito
disto. Muitos pensadores parecem ter conscincia desta dicotomia, cuja qual, ns temos
falado. Eles pensam que podem delimitar a separao entre esses dois elementos da 214
cincia que constituem a teoria.
Claramente, pelo menos at certo grau, tambm poderia ser diferente admitindose que uma teoria matemtica comparvel a uma construo, ou melhor, uma
reconstruo de um conjunto de fatos objetivos? Pois, como uma construo dessa
maneira seria possvel se no houvesse certo conceito e certa ideia dos objetos sobre o
qual se refere? Sem dvida alguma, esse conhecimento dos objetos poderia ser
extremamente vago e indeterminado; dever-se-ia determinar no decorrer do trabalho e a
medida que a construo avana, pois antecipadamente seria impossvel compreender as
operaes sintticas do matemtico, se no existe uma ideia do objeto, mesmo que seja
de uma maneira confusa.
Alm disso, um fato da experincia do matemtico, que permanentemente no
decorrer de suas atividades de pesquisa certas ideias e certas verdades se mostram em
sua mente muito antes que ele possa proceder s dedues e snteses, que forneam um
conhecimento exato dessas verdades. Muitas vezes existe um tipo de pressentimento
que permite adivinhar os resultados que sero conduzidos por uma corrente de provas, e
aps longo tempo e mesmo que ainda haja qualquer justificativa lgica, essa viso
espiritual das idias frequentemente mais intensa, mais pertinente e frtil em sugestes
do que uma teoria completa.
Esses so os motivos que guiam os matemticos modernos a pressuporem, como
os platonistas de antigamente, que poderia existir duas maneiras diferentes para se
chegar aos conceitos matemticos, que seriam pela intuio ou pela deduo. A intuio
precede a prova, ela que estimula e guia nossos trabalhos nos mostrando de uma 215
maneira, at mesmo confusa, quais so os fatos e as caractersticas que podem e devem
ter o objeto de nosso estudo. Por outro lado, somente a prova admitida nas teorias
cientficas, pois sem deduo, no h construo lgica e nem teoria que seja vlida ou
possvel.
Antes de prosseguir ns gostaramos de chamar ateno e esclarecer que o
sentido da palavra intuio pode gerar um equvoco. Certos matemticos preocupados
com a representao abstrata do pensamento matemtico opem-se aos que utilizam a
ajuda da imaginao afirmando que necessrio fazer um apelo intuio no ensino da

54

cincia. Esses pensadores querem falar da intuio dos sentidos, como sendo aquela que
ocorre quando se interpreta por imaginao ou por outras figuras concretas as
proposies tericas da cincia. Ao contrrio disto, a operao da mente que se ope ao
conhecimento lgico, sob o nome de intuio, no est relacionada nossa concepo
dos conceitos e nem a forma sob a qual esta se representa em nossa imaginao, mas
esta uma intuio pura ou supersensvel. Ns empregamos a palavra intuio, neste
segundo consenso, cujo uso parece noutro lugar se generalizar entre os matemticos
contemporneos20.

216

Feitas essas observaes, somos obrigados a reconhecer que a doutrina

intuicionista levanta objees bem graves. Se, como acreditamos, as regras da sntese
algbrico-lgica exprimem as condies prprias do conhecimento cientfico poderia
existir um tipo de conhecimento, no qual estas regras no so respeitadas? Por outro
lado, temos que considerar que se os conceitos matemticos podem ser percebidos
instintivamente, ento estes conceitos no so apenas independentes de nossos
raciocnios (suspendendo o significado que ns temos dado at aqui a palavra
objetividade), mas existem individualmente como em um mundo de ideias puras: a
crena cuja crtica filosfica cr ter feito justia e que , alis, diretamente contrria s
concepes da realidade matemtica que ns temos formado acima.
A estas objees o matemtico no se sente obrigado a responder, pois so
direcionadas contra suas afirmaes e o matemtico quando se declara intuicionista no
as compreende como sendo de sua responsabilidade. O matemtico no estuda o
problema metafsico do conhecimento e por consequncia, no tem que explicar como
podem existir vrias maneiras de conhecimento. E ainda, o matemtico no obrigado a
saber qual tipo de realidade pode-se atribuir aos conceitos ideais. Ele no forma um 217
juzo dessa questo em nenhum sentido. Mas ele constata que entre todas as doutrinas
que foram propostas para dar conta do desenvolvimento da cincia, apenas a doutrina
intuicionista permite explicar todas as caractersticas e todas as circunstncias essenciais
20

Henri Poincar, em seus primeiros escritos, emprega de preferncia a palavra intuio no sentido de intuio
sensvel; assim tem dito, Klein um intuitivo porque ele precisa da ajuda do gesto para pensar; ele v, ele busca
representar ao esprito. Hermite, ao contrrio, est ao lado dos lgicos como Mray e Weierstrass. (Cf, O valor
da Cincia, p.27). Mais tarde, em contrapartida, Henri Poincar restringe ao nome intuio a intuio
supersensvel e ele foi, ento, conduzido a modificar sua classificao primitiva dos matemticos; ele fez
transpor Hermite entre os intuitivos como sendo um dos pensadores que mais tm exercido esta faculdade de
viso intelectual direta que chamamos intuio (Cf. A lgica do infinito, apud Revista de Cincia, Juillet
1912). Ns mesmos temos buscado reabilitar o sentido cartesiano da palavra intuio em vrios estudos,
particularmente em um artigo sobre A objetividade intrnseca da Matemtica publicada em 1903, (Revista de
Metafsica) Flix Klein tem diversas vezes, estabelecido uma distino entre intuio ingnua e a intuio
refinada, distino que corresponde at a certo ponto a este que ns fazemos aqui.

55

das descobertas matemticas. Para o matemtico tudo se comporta de uma maneira

como se a doutrina intuicionista fosse verdadeira.
Por isso, no por acaso que os principais defensores dessa doutrina, em todos
os tempos, foram filsofos que tambm eram matemticos. Tanto em Plato como em
Descartes a doutrina da intuio, no mais que uma transposio metafsica sugerida
por pensadores por meio de seus estudos matemticos.
Indicamos acima o papel que a intuio tinha na concepo platnica da cincia.
Os gregos, sem dvida, fizeram uma ideia totalmente diferente da nossa em relao
especulao matemtica, visto que, de acordo com a suposio deles o contato entre a
mente e o fato cientfico ocorre espontaneamente, sem esforos, pressupem que entre
ambos existe um tipo de harmonia pr-estabelecida. Entretanto, Plato encantado pela
anlise filosfica olhava para alm do horizonte cientfico que limitava a cincia de sua
poca reconhecendo, claramente, as consequncias resultantes da doutrina intuicionista.
Para ir extremidade desta doutrina, a Matemtica a nossa pelo menos perder o
carter de cincia perfeita que os primeiros gemetras e aritmticos da Grcia haviam
lhe atribudo. De fato, o sistema do matemtico fundado, aceitando esta hiptese,
sobre um conhecimento discursivo que inferior em relao nosis. Por isso, o
platonismo, aps de ter sido conduzido considerao das ideias por meio dos estudos 218
de figuras matemticas21, por fim obrigado a estabelecer uma diviso entre essas duas
ordens de princpios. A cincia verdadeira das ideias deixaria de ser uma matemtica
humana, mas seria um tipo de meta-matemtica cujo mtodo seria puramente
intuitivo22. Essa consequncia, contudo era contrria a tendncia dos matemticos
helenistas, to forte que no pde ser aceita. Do mesmo modo a metafsica platnica
priva-se, no momento em que se aprofunda na teoria das ideias, do apoio que a cincia
positiva havia lhe fornecido obscurece-se, extravia-se e finalmente cai em
contradio. Este um ponto que o Sr. Brunschvicg destacava em sua recente obra As
etapas da filosofia matemtica. Mas parece que Sr. Brunschvicg pensava que para
escapar dessas dificuldades que impediram o desenvolvimento do platonismo, seria
suficiente trazer a filosofia para o estudo dos princpios rigorosamente determinado pela
cincia. Neste caso, a dualidade entre os nmeros e as ideias, empenhando-se numa
falsa via era obrigada a se acentuar cada vez mais no teria uma razo de ser. No
saberamos subscrever esta concluso, pois no exatamente quela que foi considerada
21
22

Cf. Gaston Milhaud. Os Filsofos Gemetras da Grcia passim.

Cf. Primeiro captulo, p. 64.

56

por Plato, o dualismo na cincia matemtica, no aos nossos olhos menos que um
fato positivo que procura explicar e no driblar.
Abandonada durante longos sculos, a doutrina intuicionista renasce e se
moderniza na filosofia de Descartes.
Circunstncia notvel que Descartes foi de fato o promotor principal, em sua
poca, da Matemtica sinttica, na qual encontramos a teoria do conhecimento que 219
parece se adaptar melhor s modernas concepes cientficas.
Descartes 23 disse:

Eu entendo por intuio como no sendo a crena na prova dos

sentidos ou dos julgamentos enganosos da imaginao, mas na concepo de
uma mente sadia e atenta, to clara e to distinta que no resta nenhuma
dvida sobre o que compreendemos, ou a mesma coisa que a concepo
firme que nasce [...] somente luz da razo.

Precisamente em seu pensamento na 5 Meditao, Descartes esboa uma teoria

anloga quela relembrana, e ele acrescenta. 24:
Eu encontro dentre de mim uma infinidade de ideias sobre os diversos
objetos que no poderiam ser considerados como nada, embora possa ser que
eles no tenham uma existncia fora do meu pensamento, e que tambm no
so inventados por mim, embora eu tenha a liberdade de pensar ou de no
pensar neles, mas que so naturalmente aceitos como verdadeiros e
imutveis. Como por exemplo, quando eu imagino um tringulo, ainda que
fora do meu pensamento no exista em nenhum outro lugar do mundo tal
figura e que jamais tenha existido, mesmo assim no deixa de ter uma certa
natureza, forma ou essncia determinada desta figura que imutvel e eterna,
que no foi inventada por mim e que de nenhum modo dependente da
minha mente.

Estes so praticamente os mesmos termos que um dos analticos, mais profundo,

do sculo XIX Charles Hermite se exprime numa nota coletada por G. Darboux25:
Existe, se eu no me engano, um mundo inteiro que o conjunto de
verdades matemticas, no qual temos acesso atravs da inteligncia, do
mesmo modo como existe o mundo das realidades fsicas e tanto um como o
outro so independentes de ns, ambos tm origem em Deus [...].

O conhecimento intuitivo de acordo com Descartes um tipo de experincia,

mas uma experincia no sensvel (supersensvel), a qual no faz parte da nossa
23

Regras para a direo do pensamento, III, Obra. ed. Adam-Tannery, t. X, p.368.

Obra, t. IX, p.51.
25
G. Darboux, A vida e a obra de Charles Hermite, apud Revista do ms, 10 Janeiro 1906, p.46.
24

220

57

imaginao e dos nossos sentidos, diz ele 26: A mente, pode agir independente do
crebro, porque certo que o crebro no pode ajudar o esprito quando se trata de
produzir uma ao de um conhecimento puro. As duas caractersticas essncias da
intuio so as seguintes, por um lado, no lugar de decompor a realidade em partes e a
verdade em proposies (como faz o conhecimento racional) a intuio abrange o todo
em nica olhada27, por outro lado a intuio imediata, instantnea e age fora do tempo.
Ao contrrio do conhecimento demonstrativo, que geralmente Descartes chama de
deduo, mas que normalmente na matemtica pura, se apresenta sobre a forma
algbrica, ou seja, numa forma sinttica que se desenrola no tempo e resultado de
um movimento da imaginao e do pensamento. Assim a demonstrao introduz na
verdade matemtica uma ordem que artificial e relativa: as coisas consideradas de
acordo com a ordem que o nosso pensamento as atribui apresentam-se de maneira 221
diferente quando as consideramos como se elas realmente existissem 28.
Mas o que so essas ideias, essas essncias imutveis e eternas, que ns
temos na nossa intuio? Para ajustar a definio, Descartes se eleva acima da rea da
cincia e a partir disto comeam as dificuldades.
Descartes levado, de acordo com seus princpios a atribuir s ideias uma
realidade, uma existncia individual. Ele diz: Pela realidade objetiva de uma ideia, eu
entendo a entidade ou o ser de uma coisa representada por essa ideia, com tanto que
essa entidade esteja contida dentro dessa ideia 29. Por outro lado e aqui que vemos
reaparecer o ponto de vista sinttico ele deseja que os conceitos intuitivos postos
base do edifcio cientfico sejam de natureza simples, podendo ser objetos de
combinaes. Mas quais so os conceitos simples? Descartes, escreveu em Regras 30
Ns s chamamos simples esses conceitos, cujo conhecimento to claro e to distinto
que a mente no pode decompor em um maior nmero de elementos, cujo conhecimento
seja ainda mais distinto. Definio bem insuficiente e que implica em um crculo
vicioso do raciocnio, assim nunca se poderia saber o quanto o Cartesianismo aceita a
natureza simples. As Regras apresentam um nmero bem pequeno como a figura,

26

Respostas as 5 objees, Obras, t.VII, p.358.

Com respeito a percepo de um quiligono bem certo que entendemos claramente, embora, ao mesmo
tempo no possamos imaginar claramente. Respostas as 3 objees, Obras, t. VII, p. 385.
28
Aliter spectandas esse res singulas in ordine ad cognitionem nostram quam si de iisdem loquemur prout re ver
existunt, Regras XII, Obra., t.X, p.418.
29
Respostas as 2 objees, Obra., t.VII, p. 161
30
Regras XII, Obra. t. X, p.418.
27

58

extenso e o movimento,31 mas indicam que existem outros. Por outro lado, Descartes
parece admitir que o tringulo, o quadrado e o quiligono que so complexos do 222
ponto de vista da deduo so simples ao olhar da intuio, haveria, portanto uma
infinidade de natureza simples. De fato, Descartes no se decide e disto vem a fraqueza
do seu sistema, uma fraqueza que se mostra ainda mais clara na obra de seus sucessores.
Um deles Malebranche, para ele a teoria da natureza simples se transforma num
realismo esttico32 um tipo de atomismo matemtico no qual o prprio progresso da
cincia quase imediatamente deveria se arruinar. O realismo concebido assim de fato
inseparvel das concepes mecanicistas que caracterizam a fsica de Descartes. Ora,
essa fsica foi abandonada nos tempos de Leibniz.
Contudo, por motivos que ns j desenvolvemos nesta obra no acreditamos que
os princpios introduzidos por Leibniz e Newton tenham transformado tanto quanto se
disse,33 o curso do pensamento dos matemticos; por isso, no podemos ver no
mecanismo de Descartes a principal fonte das dificuldades que comprometem a sua
doutrina matemtica. Para ns estas dificuldades tm claramente outra causa: elas vm
do fato que Descartes est propondo ao mesmo tempo, uma filosofia da intuio que
permanecia firmemente agregada concepo sinttica da cincia.
A concepo sinttica supe a possibilidade de pr a priori, semelhante a
elementos separados e concebidos distintamente, um conjunto de entidades simples.
Esta concepo tambm nos fora a admitir que estas entidades poderiam ser bem 223
discernidas sem dificuldades, pois esta uma ideia que est no corao de Descartes
o trabalho cientfico deve, de acordo com esta concepo, ser puramente mecnico e
no poderia consistir em descobertas ou em anlise de conceitos. Ora, efetivamente, ns
temos visto que a intuio segundo Descartes, essencialmente fcil e distinta, em
outro lugar 34 ele diz que as entidades simples so conhecidas por certo tipo de avano
por uma luz inata; ele especfica 35 elas so resultado do fato que no necessrio
nenhuma penalidade para conhecer estas entidades simples, porque elas so bem
conhecidas por si prprias. Partindo dessas afirmaes Descartes, em Regras, conduz
diretamente para a sua teoria da cincia. Toda cincia humana consiste somente em ver
31

Cf. Regras VI, Obra. t.X, p.383, e Princpios da Filosofia IV, Obra. t. VII, p.326.
Para Malebranche, a cincia matemtica traz relatrios das ideias entre elas, as ideias que ele tem estudado os
nmeros numerveis com suas prosperidades e extenso inteligvel com todas as linhas e figuras que se pode
descobrir. Cf. Brunschvicg, as Etapas da Filosofia Metafsica, p.130 e suiv.
33
Ver Cap. II, III.
34
Regras, XII, Obra. t. X, p. 419 e passim.
35
Regras, XII, ibid., p.425.
32

59

claramente como as entidades simples se conduzem diretamente composio de outros

objetos

36

. A cincia deveria combinar os conceitos conhecidos, e no criar novos

conceitos, e este um prejuzo que toda as vezes que um pensador se prope a

examinar alguma dificuldade a maior parte se suspende sobre o limiar, persuadidos a
acreditar que necessrio procurar uma nova entidade que lhes incomum. Sem
dvida, Descartes quer nos deixar entender ele toma como exemplo o estudo dos ims
que a cincia sinttica talvez no possa nos dar um conhecimento perfeito e completo.
Mas essa cincia a nica que acessvel ao homem. Por isso, aquele que possui essa
cincia sinttica pode afirmar categoricamente que ele tem reconhecido a verdadeira
natureza do im, do mesmo modo que o homem pode encontr-la por meio da
experincia dada.
Entretanto desde o tempo de Descartes, nossas ideias sobre a cincia tm se 224
modificado. Ns no acreditamos mais que esta poderia progredir base de operaes
puramente mecnicas. Parece-nos que a tarefa principal do matemtico a mais difcil e
a mais frtil o trabalho da anlise que precede a construo das teorias. Assim no
podemos mais acreditar que as entidades simples nos sejam dadas a priori, nem mesmo
que elas existam individualmente, como antes, quando eram retalhadas pelo pensador.
No assumimos mais que o conhecimento direto dos fatos tenha por principal carter ser
claro e distinto; ns o consideramos muito mais como uma viso confusa, imprecisa,
bem repleta e profunda. Pascal37 caracterizou a intuio melhor do que Descartes
quando ele escreveu:

Ns conhecemos a verdade no somente pela razo, mas tambm pelo

corao, e por essa maneira que conhecemos os primeiros princpios de
modo que se torna intil e o raciocnio que no tem nenhuma participao
esfora-se para combat-lo. E sobre esses conhecimentos do corao e do
instinto que a razo deve se apoiar e fundamentar todo o seu discurso.

O pensador moderno, de todas as formas, no busca explicar a si mesmo, no

pretende compreender completamente em que consiste e sob quais condies pode agir
a intuio. As suas definies, na maioria dos casos, ficam negativas. As verdades
matemticas, para o pensador moderno, no so nem as consequncias de fatos
experimentais, nem resultados de construes ou dedues lgicas: ento elas supem
um modo de apercepo que no se confunde, nem com a experincia dos sentidos, nem
36
37

Ibid. p. 427.
. 282. Cf. Brunschvicg, as etapas da filosofia matemtica, p. 170.

60

com o raciocnio. Deste modo de apercepo acrescenta o pensador moderno ns 225

temos, instantaneamente conscincia do que ns a praticamos (no trabalho criativo) e
constatamos que ela no tem nenhuma semelhana com o conhecimento demonstrativo;
ns constatamos que quando procuramos isol-la conseguimos notar algumas de suas
caractersticas; entretanto, deveramos reconhecer que esta permanece misteriosa e se o
matemtico reconhece a realidade ele pe uma pergunta ao filsofo para que o filsofo
o ajude a resolver.
Embora limite, deste modo, suas afirmaes e, s vezes, pode ser por esta
razo a doutrina intuicionista dos matemticos modernos foi objeto de numerosas
crticas. Os lgicos a julgaram como sendo uma abordagem contrria aos seus
princpios, pois eles afirmam que somente a lgica juiz da verdade e permite, por
consequncia, fundamentar uma cincia rigorosa e certa. E advertem que no se deve
constestar a exatido desta observao, eles emitem a ideia que se a doutrina
intuicionista no pretende favorecer a lgica, ento ela perde toda a razo de ser.
Couturat escreveu em seu ltimo artigo 38: Mas ento no vemos mais nada que separe
Poincar dos lgicos; pois, bem evidente, que estes nunca pretenderam suprimir ou
degradar a intuio intelectual. Sr. Brunschvicg, por outro lado, ope-se fortemente a
viso metafsica dos lgicos, levantado objees de uma ordem diferente contra os
intuicionistas.
De acordo com o Sr. Brunschvicg 39 o intuicionismo nas mos dos matemticos
tem, sobretudo, sido uma arma de combate. A importncia que lhe foi atribuda 226
acidental e tem circunstncias que se viu nascer. Os matemticos, sentindo a
necessidade de reagir contra o formalismo da aritmtica e da lgica, buscaram um
refgio em uma nova forma de empirismo, o empirismo intuicionista. Aplicando-se,
contudo, a resgatar o sentido que os matemticos modernos atribuem a ideia de intuio,
Sr. Brunschvicg descobre que, este nome, no compreende outra coisa que o profundo
trabalho da inteligncia. Mas ele diz que, por consequncia das circunstncias, se
encontra estabelecido entre inteligncia e intuio uma oposio que no fundada na
realidade. Ele foi surpreendido pela diferena que existe na Matemtica, entre a ordem
da inveno e a ordem da deduo lgica e concluiu que a intuio e a inteligncia
dedutiva caminham em sentidos opostos. Portanto, diz Sr. Brunschvicg 40:

38

Logstica e intuio, apud Revista de Metafsica, maro de 1913, p.268.

As Etapas da Filosofia Matemtica, captulo XX.
40
Loc. cit., p.500.
39

61

Se a Matemtica altera o sentido da deduo especificamente lgica,

deveria afirmar tambm, que ela inverte o trabalho natural e normal da
mente? Ou ela no se ope antes a uma primeira inverso, ditada pelas
necessidades da pedagogia, muito antes que pelas exigncias da filosofia e
que tinha por consequncia, desde ento, reverter a ordem natural do
pensamento? Ela no marca um retorno aos primeiros passos da inteligncia
humana?

A estas questes Sr. Brunschvicg responde 41:

[...] A filosofia matemtica tem, at aqui falhado em relao ao

problema da verdade. Presumindo uma inverso de sentido entre a ordem
psicolgica da inveno e a ordem lgica da exposio, ela admite
implicitamente que a preocupao com o rigor no raciocnio estranho a 227
inveno, a qual a colocao em forma lgica indiferente matria da
verdade. Pelo contrrio, a filosofia resolve o problema, ou melhor, ela mostra
que o saber cientfico tem resolvido o problema, eficazmente, s se sabe
atribuir um mesmo objetivo ao esforo do inventor e ao trabalho do lgico: a
extenso progressiva das operaes matemticas.

A extenso progressiva das operaes matemticas citada em diversas

passagens da obra de Sr. Brunschvicg, o que permite supor que necessrio entend-la
como uma progresso contnua, sem discordncia, o resultado do movimento natural da
mente. Ora, interpretado assim, a concluso de Sr. Brunschvicg, nos parece difcil
concili-la com a concepo atual da Anlise, pelos menos em relao ao que os
matemticos desenvolvem em sua obra.
Parece haver, no seio da Matemtica, um conflito. Uma oposio sobre a qual
temos longamente insistido neste captulo. Sr. Brunschvicg parece pensar que este
conflito artificial, e em razo de um acidente histrico, devido a popularidade
passageira da aritmetizao de Kronecker e a da lgica de Russel e Couturat. Por
conseguinte, deve-se supor que os matemticos, independente de toda teoria filosfica,
tm conscincia da dualidade dos vrios pontos de vista, entre o quais eles devem
partilhar e reconciliar deve-se supor que estes pensadores so puramente e
simplesmente vtimas de uma iluso.
Acreditamos que os matemticos que buscam determinar as caractersticas da
intuio de modo algum pretendem opor-se inteligncia. Por outro lado, admitimos
voluntariamente junto com Sr. Brunschvicg 42 que a ordem lgica deve ser distinguida 228

41
42

Loc. cit., p.500.

Este um ponto ao qual ns voltaremos (Cap. V, III).

62

da ordem pedaggica. Mas que, mediante esta distino pode-se acabar com toda a
discordncia entre intuio e lgica. Isto o que no nos parece possvel manter.
A necessidade de recortar no campo da intuio matemtica uma srie de
proposies deduzindo logicamente uma das outras, obrigao, na qual ns temos que
fazer longos desvios, usar de enganos e meios de eventualidade para chegar a
demonstrar dolorosamente os resultados por uma mente capaz de ter uma viso
semelhante sobre a cincia, dominariam evidentemente as premissas a partir da qual
tiramos, em vez de sermos condicionados por elas, a prpria ideia de uma ordem
introduzida nas verdades cientficas todas essas condies, todos esses aspectos da
demonstrao lgica parecem ser to embaraosos e com tantas barreiras que contraria a
onda da intuio; s podemos, parece-me, que so mestres desta onda empobrecendo-a
e canalizando-a. inegvel o fato que a ideia de intuio pura separada do
conhecimento lgico levanta dificuldade, e seria extremamente desejvel poder suprimir
estas dificuldades, eliminando-as pela raiz. Mas a distino de tendncias opostas, no
trabalho matemtico, parece ser mantida sobre uma e outra forma; no podemos
acreditar que foi imaginada unicamente pelas necessidades das discusses determinadas
pelos lgicos.
Sr. Brunschvicg responde, sem dvida, que o prprio interior da inteligncia
admite o dualismo ao qual fazemos aluso. Contudo, acreditamos que sua argumentao
tende, goste-o ou no, a atenuar este dualismo. Pesquisando as bases da verdade
geomtrica, Sr. Brunschvicg conduzido a chamar ateno para a recproca
adaptao da experincia e da razo. Realmente, resulta de seus princpios que a 229
verdade da Anlise supe a adaptao do mtodo algbrico aos fatos por ns
intuitivos- estudados pelos falados analistas. Mas isto o que importa ao homem da
cincia, saber se esta adaptao, que sempre preserva um carter de compromisso, pode
ser efetivamente considerada como sucesso. Ora, quanto mais avanamos em Anlise
parece mais difcil realiz-la. Isto porque, de acordo conosco, toda teoria que tende a
reconduzir as diferentes faces do pensamento matemtico a uma unidade, no poderia
abranger toda a orientao da atual Anlise, de modo completamente fiel.

63

CAPTULO II
BOUTROUX: O HOMEM E A CINCIA EM SUA POCA

2.1 A CINCIA NA POCA DE PIERRE BOUTROUX (1880-1922)

O ser humano sobrevive e cresce e por isso levado pelo desejo de saber mais sobre si
e sobre o mundo. Nesta busca, o homem primitivo aperfeioou sua linguagem, inventou mitos
sobre as origens e natureza das coisas e a respeito de si prprio.
Portanto, havia uma harmonia entre a metafsica, a lgica e os conceitos cientficos.
Boutroux (1920, p. 181-182) afirmou que:
No incio o pensador se limitava a constatar e a observar ao seu redor,
como dizia Plato no com seus olhos, cuja viso rude e limitada aos objetos
sensveis, mas com uma capacidade de perceber intelectualmente, o que corresponde
ao esprito, e que lhe permite aprender as verdades matemticas essenciais. Deste
modo foram percebidas as harmoniosas propriedades do mundo dos nmeros e do
mundo das figuras, tambm aquelas de grandeza mensurveis, nas quais operam as
snteses da quantidade e da figura, a reunio da aritmtica e da geometria (traduo
nossa).

Mas esta simples contemplao no garantia um carter de certeza cincia em geral e

muito menos Matemtica. Pois a Matemtica como uma cincia comeou com a ideia de
prova e com a estrutura dedutiva apresentada na obra de Euclides, Os Elementos, que trouxe
esta estrutura com tanta perfeio a ponto de obter grande admirao at o sculo XIX.
As provas matemticas so um tipo de apresentao ou comunicao. Um aspecto
social e comunicativo da Matemtica Moderna se encontra na luta de Plato contra os sofistas,
depois do escndalo da morte de Scrates, como Rogue descreveu:

A filosofia platnica nasce de um escndalo, o da morte de Scrates em 399.

A obra inteira de Plato posterior a essa data. O prprio Plato apenas um entre a
vasta corte dos socrticos que, aps a morte do mestre, procuraram perpetuar a sua
memria, na prtica ou pela escrita. Mas Plato , certamente, o mais clebre dos
socrticos (2007, p. 7).

Apenas na Renascena a tcnica e natureza encontravam-se novamente como uma

fora decisiva.

64

O edifcio da cincia clssica, com suas grandes questes filosficas foi estruturado na
poca de Galileu (1564-1642), Descartes (1596-1650), Newton (1643-1727), Leibniz (16461716) e Kant (1724-1804), entretanto foi abalado no incio do sculo XX com a introduo
dos princpios da relatividade e da mecnica quntica pelos fsico-matemticos: Planck (18581947), Einstein (1879-1955), Bohr (1885- 1962), Broglie (1892-1987), Heisenberg (19011976) (SILVA, 1972, p. 6-7).
O fim do sculo XIX e incio do sculo XX so marcados pelo alto nmero de
produes, devido evoluo da imprensa.

Ao longo de todo o sculo XIX, o nmero de revistas matemticas no deixa

de crescer regularmente, crescimento que se acelerar depois de 1920 com o
aumento do nmero de pases em que se desenvolvem os estudos matemticos para
atingir, desde 1950, uma verdadeira exploso [...]. Nas universidades alems, por
meados do sculo XIX, nasceu a prtica dos seminrios [...] (DIEUDONN, 1990,
p. 25).

Em 1900 ocorreu o II Congresso Internacional dos Matemticos em Paris, onde Henri

Poincar, que era o presidente, apresentou o artigo A Intuio e a Lgica na Matemtica
que mais tarde foi publicado como primeiro captulo do seu livro O valor da Cincia,
enquanto David Hilbert apresentou os 23 problemas da Matemtica, que considerava
importantssimo para o progresso da Matemtica de sua poca. Essa diferena comeava a
indicar o contraste que ficava cada vez mais patente entre o progresso da Matemtica
avanada e as cincias exatas, contudo esta questo s foi retomada com fora no Sputnik
Skolch na reforma da chamada Matemtica Moderna nos anos 60 e 70 do sculo XX que
comeou pouco antes do II Congresso Internacional dos Matemticos em Paris. Em 1905
aconteceu o Congresso Internacional na Europa em Meran sobre a reforma da Educao
Matemtica impulsionado por Felix Klein.
Enquanto na fsica, Planck e Albert Einstein criaram novas teorias. Como Saint-Sernin
(1998, p. 69) descreve Entre 1900, quando Planck fundou a mecnica quntica, e 1905,
quando Einstein criou a teoria da relatividade restrita, grandes mudanas se produziram
na fsica, graas s quais, no decorrer do sculo, modificou-se a nossa concepo do mundo.
Neste perodo podem tambm ser notadas certas divergncias na qumica, como por
exemplo, quando alguns qumicos apresentavam certa resistncia em aceitar as concepes
atmicas ou corpusculares da matria. Silva (1972, p. 90-100), relata que:

Mesmo depois que Dalton, Gay-lussac, Berzelius e tantos outros haviam

mostrado a grande utilidade das teorias atmicas para explicar as leis de combinao

65

dos corpos, eminentes qumicos como Ostwald, Duhem e outros, em pleno sculo
XIX e comeo do sculo XX, relutavam em aceitar os princpios da teoria cintica
dos gases que resultavam, alis, da aplicao da dinmica newtoniana s partculas
elementares da matria.

No campo da biologia os avanos no foram muitos at incio do sculo XIX, devido

interferncia dos conceitos religiosos e morais. Contudo, em 1859, Charles Darwin publicou o
seu livro A origem das espcies, explicando a evoluo dos seres vivos por meio da seleo
natural. Esta teoria trouxe grandes impactos no apenas para a Biologia, mas tambm para
outras cincia, inclusive para a Matemtica e sua filosofia. De certa forma Darwin mudou o
pensamento do homem, apesar de no fim ele mesmo negar sua teoria e ainda desenvolver seu
projeto com plantas e no com animais.
Outro acontecimento que marcou os sculos XIX e XX foi a Revoluo Industrial com
a sua tecnologia, o engenho a vapor, o motor, a substituio das ferramentas manuais por
mquinas, onde o homem substitudo pelas mquinas, com as pssimas condies de
servio, a remunerao dos trabalhadores baixa, toda a famlia obrigada a trabalhar nas
indstrias inclusive as crianas para conseguirem sobreviver etc. Mas outro fator importante a
se notar neste perodo a diviso entre mente e mo, isto , a criatividade do homem. A
mente humana passou a se sentir mais livre e poderosa, pois o homem percebe que pode ter
domnio sobre o mundo das mquinas.
Neste contexto encontra-se o francs Pierre Boutroux, que na virada do sculo XIX,
tinha 20 anos e em 1908 iniciou sua carreira como professor de Clculo Integral em Poitiers.

2.2 O PRINCPIO DE CONTINUIDADE E O PROBLEMA DA GENERALIZAO NA

CINCIA DA MODERNIDADE

A cincia antiga foi baseada numa metafsica que concebeu o mundo observando um
ensemble de substncias e suas caractersticas essenciais. A sua tarefa era descrever e
representar a estrutura do mundo. Ela foi formada por frases compostas por sujeito e
predicado, como por exemplo: Scrates bom! Ou seja, a bondade uma caracterstica
essencial de Scrates.

66

A cincia da modernidade depois do conflito com a igreja na Idade Mdia e da

separao da teologia tinha a tarefa de buscar seus fundamentos e sua metodologia no seu
prprio campo e por seus pensamentos cientficos.
A partir de ento, o conhecimento foi concebido em termos de relaes cada lei da
natureza era expressa em termos de relaes ou na forma de equaes e por isso se fez
necessrio buscar um fundamento objetivo das relaes. A crena baseada no princpio da
constncia da realidade ou tambm chamado de princpio da continuidade foi concebida para
estas tarefas.
No pensamento do filsofo e matemtico alemo Gottfried Leibniz (1646-1716) o
princpio da continuidade garantia que no existem descontinuidades na hierarquia dos seres
a natureza no d saltos, assim como no h vazios no espao, assim tambm no existem
descontinuidades na hierarquia do seres Leibniz afirma, por exemplo, que as plantas no
passam de animais imperfeitos (CHAU in LEIBNIZ, 1999, p. 5).
Esta concepo est associada ao clculo infinitesimal, apoiando a ideia que as
diferenas podem ser infinitamente pequenas e sempre contnuas (PAPINEAU, 2009, p. 3839). Outra definio desenvolvida por Leibniz o princpio da harmonia universal, neste
conceito Deus existe e toda substncia ao ser criada por Deus programada, no ato da sua
criao de tal modo que todos os seus estados naturais e suas aes futuras se realizaro em
harmonia universal com todos os estados naturais e aes de cada uma das outras substncias
criadas.
Ernst Cassirer descreve em sua Filosofia do Iluminismo a filosofia de Leibniz:

Mesmo para Leibniz no existe, em ltima instncia, nenhuma outra prova

conclusiva da constncia da natureza, da harmonia das idias e do real, do acordo
dos fatos e das verdades eternas, a no ser o recurso unidade do princpio supremo
donde provm o mundo dos sentidos, assim como o do entendimento. A fim de
justificar que os princpios fundamentais da anlise do infinito sejam aplicveis sem
restrio natureza, que o princpio de continuidade possui no s uma significao
matemtica abstrata, mas tambm uma significao fsica concreta, Leibniz parte do
fato de que as leis da realidade no podem afastar-se das leis puramente ideais da
Lgica e da Matemtica (CASSIRER, 1992, p. 90).

Para Leibniz o conhecimento matemtico baseado nas verdades necessrias, as quais

so verdadeiras em todos os mundos possveis. Leibniz (1999, p. 23) escreveu:
As verdades necessrias, quais as encontramos na matemtica pura e,
sobretudo na aritmtica e na geometria, devem ter princpios cuja demonstrao
independe dos exemplos, e consequentemente tambm do testemunho dos sentidos,
embora se deva admitir que sem os sentidos jamais teria vindo mente pensar neles.

67

Segundo Chau, na consultoria de vida e obra de Leibniz, este filsofo no acredita

que as origens das ideias encontram-se apenas na experincia. Chau parafraseando Leibniz,
escreveu:

No se deve imaginar que se possa ler na alma, sem esforo e sem pesquisa
essas eternas leis da razo, como o dito do pretor lido em seu caderno, mais
bastante que as descubramos em ns por um esforo de ateno, uma vez que as
ocasies so fornecidas pelos sentidos (in LEIBNIZ, 1999, p. 9).

Mas o racionalismo de Leibniz foi questionado durante o sculo XVIII, na poca do

iluminismo. A filosofia iluminista, em suma, esclarece uma situao que foi o resultado
metodolgico do trabalho cientfico de dois sculos. Mas para tirar as consequncias
filosficas e polticas da revoluo cientfica do sculo XVII um pouco mais foi necessrio.
Como Cassirer (1992, p. 91-92) escreveu:

E esse preconceito, esse a priori lgico, no to contestvel quanto poderia

s-lo qualquer a priori metafsico ou teolgico? No nos contentamos em afastar,
um por um, os conceitos e juzos metafsicos do horizonte da cincia emprica.
Tenhamos a ousadia, finalmente, de percorrer o caminho at o fim: que se prive a
idia de natureza do apoio da idia de Deus. Que suceder ento pretensa
necessidade da natureza, de suas leis universais, eternas, inviolveis? Existir uma
certeza intuitiva dessa necessidade, ou alguma outra prova dedutiva concludente?
Ou deveremos renunciar a todas as provas deste tipo e decidirmo-nos a dar o ltimo
passo reconhecer que o mundo dos fatos deve ser o seu prprio suporte, que
procuramos em vo para ele a firmeza de um outro apoio, de um fundamento
racional? Em toda essa problemtica, anteciparmos o desenvolvimento que conduz
do fenmeno da fsica matemtica ao cepticismo de Hume.

O escocs David Hume (1711-1776) era empirista e acreditava que os mtodos

experimentais so os nicos meios de adquirir o verdadeiro conhecimento. Para explicar sobre
o conhecimento que parece no se justificar em termos da experincia, como por exemplo, a
Matemtica, segundo Papineau (2009, p. 24-25) Hume defende que este conhecimento um
conhecimento a priori e que no realmente um conhecimento do mundo, mas apenas das
ideias e das relaes entre elas e, assim, no precisava derivar diretamente da experincia.
Hume refutou a validade objetiva do princpio da continuidade e considerava todas as
relaes extrnsecas, por exemplo, a proposio, Scrates bom! Poderia ser expressa em
forma de uma relao, como, Scrates tem bondade! Hume considerava estas relaes e
tambm outras como, Pedro maior do que Paulo ou Febre um sinal de inflamao etc.,
como sendo simplesmente empricas e sem fundamentos objetivos.

68

Na realidade quando Hume nega o princpio de continuidade, ele abala a base da

cincia da natureza e toca diretamente na objetividade da induo emprica, como Monteiro
na introduo da obra de Hume descreve:
As idias so representaes da memria e da imaginao e resultam das
impresses como suas cpias modificadas; podem ser associadas por semelhanas,
contiguidade espacial e temporal e causalidade. Em suma, trata-se de um novo passo
em relao teoria de John Locke, segundo a qual a mente uma tabela rasa, uma
folha de papel em branco, em que so impressos caracteres atravs dos mecanismos
da experincia sensvel (Monteiro in HUME, 2004, p. 8).

Portanto, pode-se concluir que para Hume a operao mental pela qual o sujeito infere
efeitos semelhantes de causas semelhantes um processo que depende de um instinto ou de
uma tendncia mecnica, a qual se manifesta primeiro no aparecimento da vida e do
pensamento, ou seja, este princpio tem por base as caractersticas do sujeito, e no do mundo
em si. A tarefa de Kant consistiu em esclarecer esta base subjetiva da construo do
conhecimento fornecendo-lhe um significado mais profundo.
A filosofia do alemo Immanuel Kant (1724-1804), por sua vez, a confluncia entre
o racionalismo e o empirismo (LEITE, 2007, p. 36). A epistemologia de Kant marca uma
ruptura com o racionalismo, pois o prprio Kant era um racionalista. Contudo, aps entrar em
contato com a doutrina de Hume, Kant tirado dos braos do racionalismo leibniziano, ou
como ele mesmo escreveu:

Confesso francamente, foi a advertncia de David Hume que h muitos anos,

interrompeu o meu sono dogmtico e deu s minhas investigaes no campo da
filosofia especulativa uma orientao inteiramente diversa [...] descobri que o
conceito de conexo de causa e efeito estava longe de ser o nico mediante a qual o
entendimento concebe a priori relaes das coisas (KANT, 1982, p. 17).

No incio do sculo XVIII surgiam as dvidas vinculadas justificao da induo

emprica e da uniformidade ou constncia da natureza. As exigncias eram para que as
generalizaes indutivas apresentassem validade objetiva.
Para exemplificar, se um pensador toma por base certas observaes e fatos j
ocorridos, e por meio destes, prev outros fatos que ainda no observou diretamente, este
estudioso est apoiando-se no axioma da uniformidade da natureza. Sem esse axioma e sem a
hiptese de que as leis que se descobre hoje na natureza vo manter-se e perdurar-se mais
tarde, toda a concluso inferida do passado para o futuro sucumbiria manifestadamente no
vazio.

69

Neste sentido, a epistemologia de Kant que pretendia responder a Hume de uma

nova forma, e no da forma que Kant considerara ingnua marca uma ruptura com o
racionalismo ou dogmatismo de Leibniz e trilha em uma via mdia com o empirismo ou
cepticismo de Hume, como o prprio Kant afirma:

A crtica da razo indica aqui a verdadeira via mdia entre o dogmatismo,

que Hume combatia, e o cepticismo que ele, pelo contrrio, queria introduzir, uma
via mdia que, muito diferente das outras vias mdias que se aconselham a por si
mesmo as determinar de certo modo mecanicamente (um pouco de uma, um pouco
de outra) sem que ningum se esclarea sobre uma melhor, pode ser determinada
exactamente segundo princpios (KANT, 1982, p. 156).

O princpio de toda a cincia deixa ento de ser fundamentado tanto nas ideias de
Plato como na uniformidade ou continuidade do mundo, e passa a basear-se nas condies e
estruturas da atividade do sujeito humano. O que Kant prope um tipo de experimentalismo
que caracterizava a fsica no sentido de Newton, tal como Piaget o caracterizou:

Com efeito, o acontecimento cientfico central, do qual o kantismo se

esforou para fornecer a interpretao de conjunto, nada tinha de uma simples cpia:
o grandioso sucesso da doutrina newtoniana da gravitao e sua extenso a domnios
de escalas variadas constituam o retumbante testemunho de um reencontro, at nos
detalhes, entre a deduo lgico-matemtica e a experincia. Tratava-se, pois, de
uma dupla prova, de um lado, que o sujeito epistmico existe e que suas construes
constituem o prprio estofo do entendimento e, doutro, que a experincia
estruturada e mesmo indefinidamente estruturvel e no consiste nessa simples
coleo aditiva de fatos, registrados como tais, com os quais o empirismo se
contentava nas suas interpretaes (PIAGET, 1995, p. 232).

Kant observou que: Quando Galileu fez rolar no plano inclinado as esferas, com uma
acelerao que ele prprio escolhera, [...] foi uma iluminao para todos os fsicos (KANT,
1997, B XIII). Realmente o que Galileu fez foi escolher o ngulo da inclinao e com isso a
variao das premissas do experimento, acreditando que uma variao pequena dos
antecedentes resultaria em uma pequena variao dos efeitos. Esta foi uma nova forma do
princpio da continuidade em um novo contexto, ou seja, como um princpio do conhecimento
sinttico ou como uma nova lgica da cincia experimental (CASSIRER, 2001, p. 93).
Nestes termos Kant descreveu os fundamentos do pensamento sinttico que foi atuante
nas cincias exatas e na Matemtica durante a poca clssica, conforme classificou Foucault,
que vai de Galileu at o fim do sculo XVIII.
Galileu ainda pensou mais alm e demonstrou que os espaos percorridos eram
proporcionais aos quadrados dos tempos. Assim, percebeu-se que a nica coisa que a cincia
poderia fazer para conhecer a realidade seria descrever as relaes invariantes a respeito das

70

variaes contnuas. Por isso, o matemtico e tambm historiador da Matemtica Salomon

Bochner pde dizer que: as concepes de funo e de continuidade evoluem
simultaneamente (BOCHNER, 1974, p. 845).
Kant, em certo sentido, tambm negou a validade do princpio da continuidade, pois
aceitava este princpio apenas no campo das construes mentais, onde o princpio da
continuidade era concebido apenas em termos subjetivos, logo no existia distino entre
frmula e funo, no sentido de uma relao objetiva. Esta distino comeou a surgir apenas
no sculo XIX com a anlise clssica.
A base do pensamento matemtico kantiano foi posteriormente chamado por Jean
Piaget de Abstrao Reflexinonante (que foi um discpulo de Kant). Kant transportou todos os
problemas epistemolgicos, problemas que esto ligados s relaes entre sujeito e objeto
para o mundo interior ou mental do sujeito. Para ele, o conhecimento humano uma
caracterstica da mente humana e definido por suas limitaes.
Como explicou Ernst Cassirer (2005, p. 95-96):
Em sua Crtica do Juzo, Kant levanta a questo de saber se possvel
descobrir um critrio geral com o qual possamos descrever a estrutura fundamental
do intelecto humano e distinguir essa estrutura de todos os demais modos possveis
de conhecer. Aps uma anlise penetrante, ele levado concluso de que tal
critrio deve ser procurado no carter do conhecimento humano, que tal que o
entendimento est sujeito necessidade de fazer uma distino ntida entre a
realidade e a possibilidade das coisas. esse carter do conhecimento humano que
determina o lugar do homem na corrente geral do ser. Uma diferena entre "real" e
"possvel" no existe nem para os seres abaixo do homem, nem para os que esto
acima dele.

Agora, quais so as caractersticas da estrutura do pensamento humano que Kant

destacava? Foram duas: intuies e conceitos, Kant (1997, B 75) escreveu:
O nosso conhecimento provm de duas fontes fundamentais do esprito, das
quais a primeira consiste em receber as representaes (a receptividade das
impresses) e a segunda a capacidade de conhecer um objeto mediante estas
representaes (espontaneidade dos conceitos); pela primeira -nos dado um objeto;
pela segunda pensado em relao com aquela representao (como simples
determinao do esprito). Intuies e conceitos constituem, pois, os elementos de
todo o nosso conhecimento, de tal modo que nem conceitos sem intuio que de
qualquer modo lhes corresponda, nem uma intuio sem conceitos podem dar um
conhecimento [...]. Pensamentos sem contedo so vazios; intuies sem conceitos
so cegas.

Contudo somente o pensamento dos sculos XIX e XX ir concluir esta transformao

da filosofia e da noo da objetividade do conhecimento, cujo processo teve incio na cincia

71

aristotlica, a qual foi concebida em termos das caractersticas do objeto e do mundo objetivo,
e aps Kant passa a se encontrar totalmente dentro da realidade social e espiritual do homem.
Porm esta intuio Kantiana foi desfeita de seus aspectos sensveis e o seu sentido e
utilidade se tornaram obscuros, de tal forma que no sculo XIX, Pierre Boutroux (1880-1922)
chegou a escrever:

O pensador moderno, de todas as formas, no busca explicar a si mesmo, no

pretende compreender completamente em que consiste e sob quais condies pode
agir a intuio. As suas definies ficam na maioria dos casos negativas. As
verdades matemticas, diz ele, no so nem as consequncias de fatos
experimentais, nem resultados de construes ou dedues lgicas: ento elas
supem um modo de apercepo que no se confunde, nem com a experincia dos
sentidos, nem com o raciocnio (BOUTROUX, 1920, p. 224, traduo nossa).

E Piaget (1995, p. 270) testificou que:

Com Kant o espao decididamente uma forma da sensibilidade e no do

entendimento, e os matemticos do sculo XIX tendiam a fazer da geometria uma
matemtica "aplicada" em oposio s matemticas puras: lgebra, anlise e teoria
dos nmeros. No entanto, a descoberta das geometrias no-euclidianas e a
estruturao das geometrias segundo as formas abstratas da teoria dos grupos (de
Sophus Lie, etc., ao programa de Erlangen de F. Klein) mantinham muito viva a
tendncia a uma elaborao lgica e normativa da intuio geomtrica. Com o
perodo contemporneo a fenda terminou e a intuio geomtrica, mesmo
permanecendo essencial do ponto de vista heurstico, perdeu seu valor de
conhecimento e de verdade em proveito desses dois componentes desunidos no
futuro: de um lado, uma geometria lgica, que nada mais tem de intuitivo (quanto s
demonstraes) e que se reduz a puras axiomticas formalizveis (com unio da
topologia e da lgebra, etc.); e de outro, uma fsica geomtrica, como a de Einstein,
que estuda o espao dos corpos e no mais o do pensamento.

Poincar assim como Kant acreditava que [...] a lgica e a intuio tm cada uma seu
papel necessrio. Ambas so indispensveis (POINCAR, 1995, p. 22-23). Mas
diferentemente de Kant, para Poincar a lgica o instrumento da demonstrao e a intuio
o instrumento da inveno. Em sua obra Cincia e Mtodo, escreveu: Demonstra-se com a
lgica, mas s se inventa com a intuio [...]. A faculdade que nos ensina a ver a intuio
(POINCAR, 1908, p. 137).
O objetivo de Poincar era superar as limitaes da sensibilidade e dos sentidos e
destacar a importncia de uma intuio criativa e intelectual no uma intuio sensvel, como
props Kant, pois para generalizar precisa-se da intuio e para ter uma intuio que no
engana ou no falha, se faz necessrio que esta no esteja baseada nos sentidos, logo deve ser
uma intuio dos nmeros. Todavia, essa intuio intelectual e criativa surge da

72

espontaneidade do esprito, por isso, parece assumir o papel do pensamento conceitual.

(POINCAR, 1995 p. 17-19).
Esta intuio baseia-se no nmero e nas operaes com os nmeros e revela-se, como afirma
Poincar, no processo do raciocnio da demonstrao por recorrncia. A recursividade, de acordo
com este autor, no pode ser reduzida ao princpio da contradio, ou seja, lgica, pois implica na
viso de uma infinidade de operaes e por este motivo no nem analtico e nem resultado da
experincia, mas a afirmao de uma propriedade da prpria mente (POINCAR, 1993, p. 14).
Em particular, a intuio reflete a infinidade da mente, porm a mente a base de toda a cincia, pois
a cincia depende da generalizao e para generalizar precisa-se da intuio. Como a lgica
sempre procede do universal para o particular precisa-se da intuio, pois as conquistas cientficas
so efetuadas somente pela generalizao (POINCAR, 1993, p. 27-29).
Para Poincar a generalizao o cerne de toda a cincia, inclusive da Matemtica que
a cincia do geral. Poincar disse: O instrumento mais importante sobre a generalizao o
princpio da continuidade tanto nas cincias indutivas como na Matemtica (POINCAR,
1993, p. 22). Com essa aplicao geral de um nico princpio, parece bvio, ou pelo menos
no um milagre, que no existe uma definio ntida e unnime a respeito da generalidade.
O princpio da generalizao floresce tanto na teoria dos limites da Matemtica quanto no
processo da induo, tambm aparece na geometria sob o nome de transformao, na
metodologia da cincia sob causas semelhantes tm efeitos semelhantes, e ainda na
Matemtica, como na definio da funo contnua ou analtica etc.
O processo da generalizao est diretamente ligado formao do conhecimento, que
surge do confronto entre sujeito e objeto. Agora como so os objetos da Matemtica? So
como os objetos das cincias empricas? Ao refletir sobre estas questes, automaticamente
remete-se formao do conhecimento matemtico, que engloba dois processos chamados de:
analtico e sinttico.
Esses processos auxiliam na compreenso destas questes sobre os objetos da
Matemtica, o prximo passo compreender estes mtodos. Faz-se ento necessrio, retornar
a Kant e sua Crtica da Razo Pura, para dialogar sobre estes procedimentos. Realiza-se este
percurso visualizando Kant, como um dos pilares para a construo do edifcio da cincia
moderna.
A Matemtica, diferentemente da lgica formal, fornece, por um lado, conhecimentos
especficos e novos, por isso ela deveria ser baseada em juzos ou proposies sintticas e, por
outro lado, a Matemtica tambm considerada um conhecimento absolutamente necessrio e
independente de qualquer considerao ou experincia emprica (KANT, 1982, p. 47-51).

73

Este o grande enigma ou mistrio da Matemtica, como foi explicado por Kant h mais de
200 anos atrs.

2.3 A DISTINO ENTRE O PROCESSO ANALTICO E SINTTICO NA FORMAO

DO CONHECIMENTO FUNDAMENTADA POR KANT

Immanuel Kant apresenta um resumo do desenvolvimento da cincia em termos

epistemolgicos na obra Crtica da Razo Pura, escrita em duas edies 1781 e 1787, na qual
reflete sob os defeitos e contradies da teoria do conhecimento dos racionalistas e dos
empiristas. Ambas correntes filosficas concordavam que a formao do conhecimento surgia
do confronto entre o sujeito e o objeto, ou seja, uma separao entre sujeito e mundo. Diante
destes resultados, Kant (1997, B75) ento definiu que o conhecimento humano provm de
duas fontes que so intuies e conceitos, conforme j foi mencionado no tpico anterior
E estas duas fontes se correspondem com dois tipos de lgica: a lgica geral ou formal
que rege os juzes analticos, e a lgica transcendental que gerencia os juzos sintticos.
Quando vemos um objeto, relatamos: vi uma capivara! Estamos mentindo, pois
capivara um conceito que possui diversas representaes em diferentes idiomas. A
formao do conhecimento ocorre quando vemos um objeto e por meio de nossas intuies
(percepo) e conceitos (construes mentais), definimos o objeto em nosso pensamento, por
isso o objeto capivara como ns percebemos e no como na realidade. Agora, neste
percurso de observar at se chegar ao ponto de afirmar: vi uma capivara! Ocorrem dois
processos denominados como analtico e sinttico.
Existem muitas definies para as palavras analtico e sinttico, contudo este trabalho
delimita-se a estudar as definies apresentadas por Kant e Boutroux. Escolhe-se Kant,
julgando que vrias vias na epistemologia moderna tm a Crtica da Razo Pura como seu
ponto de partida. [...] o kantianismo produziu uma terceira via, entre o positivismo (os
herdeiros de Newton) e o idealismo leibniziano, uma via da qual o Pragmatismo e o
Marxismo se originaram e, muito depois, tambm a Epistemologia Gentica de Piaget
(OTTE, 2008, p. 140).
A aplicao ou a percepo tem o problema de generalizar do individual para o geral
ou vice versa. Quando se enxerga alguma coisa, como no exemplo da capivara, este ato se
transforma num conhecimento apenas quando se percebe que o objeto visto uma capivara.

74

Ou seja, a base dos conhecimentos concretos desse tipo no so apenas as percepes, mas
sim as interpretaes ou os juzos perceptveis. Aristteles chamava esta generalizao de
epagoge e acreditava que:
S aprendemos por induo ou por demonstrao. Ora, a demonstrao faz-se
a partir de princpios universais, e a induo, de casos particulares. Mas impossvel
adquirir o conhecimento dos universais por uma via diferente da induo [...] e
induzir impossvel para quem no tem a sensao (ARISTTELES apud
BLANCH; DUBUCS, 1996, p. 79-80).

Assim, induzir a partir de Aristteles o ato sinttico bsico de criar conceitos.

Baseados em Aristteles, Blanch e Dubucs (1996, p. 79) salientam:
Todo o conhecimento nos vem em ltima anlise da sensao, mas a
sensao por si s no poder fornecer-nos os princpios, porque s incide sobre o
singular, ao passo que temos realmente necessidade, no princpio dos silogismos,
dos universais. pela induo que passamos do singular para o universal. A induo
fornece ao silogismo um meio de demonstrao, e, por conseguinte, de cincia.
Assim, de fato na sensao que todo o conhecimento tem a sua fonte, mas, a partir
da, intervm o raciocnio, sob duas formas: primeiro, a induo para obter os
princpios, seguidamente, a demonstrao para deles tirar as consequncias por via
silogstica.

Esta demonstrao semelhante ao processo analtico. Analisar significa separar,

igualmente quando algum analisa um quadro, logo comea a identificar que existe um ponto
vermelho, um trao azul etc. Leibniz e os racionalistas procuravam fornecer os conceitos
simples, com os quais se inicia a sntese, em geral, eles acreditavam que o processo de anlise
finito, porm na matemtica pura usualmente infinito. Nesse sentido, apenas Deus pode
saber as causas dos juzos empricos e a Matemtica tem a vantagem da anlise finita conduzir
aos conceitos simples e aos axiomas (identidades bsicas), como toda proposio tem a forma
q=B, ou seja, o predicado B faz parte do conceito do sujeito q, ento os axiomas ou
proposies simples tm a forma A=B.
Mas tanto Aristteles, Kant, Peirce como os empiristas, no acreditavam que a anlise
tem fim, nem mesmo na Matemtica por causa do contnuo, de modo que, jamais se poderia
determinar um objeto individual por meio de uma descrio exaustiva. Quando se mede uma
grandeza o resultado sempre um intervalo de nmeros e no apenas um nmero distinto, por
isso, h nmeros reais que so representados por fraes decimais infinitas. Para Kant o
contnuo o espao, como uma coisa subjetiva, e por este motivo a sntese vem primeiro. Ele
escreveu:

75

Toda a intuio contm em si um diverso que, porm, no teria sido

representado como tal, se o esprito no distinguisse o tempo na srie das impresses
sucessivas, pois, como encerrada num momento, nunca pode cada representao ser
algo diferente da unidade absoluta. Ora, para que deste diverso surja a unidade da
intuio (como, por exemplo, na representao do espao), necessrio,
primeiramente, percorrer esses elementos diversos e depois compreend-los num
todo. Operao a que chamo sntese da apreenso, porque est diretamente
orientada para a intuio, que, sem dvida, fornece um diverso. Mas este, como tal,
e como contido numa representao, nunca pode ser produzido sem a interveno
de uma sntese. Assim, o primeiro conhecimento puro do entendimento, sobre o qual
se funda todo o seu restante uso, e que tambm totalmente independente de todas
as condies da intuio sensvel, , pois, o princpio da unidade originria sinttica
da apercepo. A simples forma da intuio sensvel externa, o espao, no ainda
conhecimento; oferece apenas o diverso da intuio a priori para um conhecimento
possvel. Mas, para conhecer qualquer coisa no espao, por exemplo, uma linha,
preciso tra-la e, deste modo, obter sinteticamente uma ligao determinada do
diverso dado; de tal modo que a unidade deste ato , simultaneamente, a unidade da
conscincia (no conceito de uma linha), s assim se conhecendo primeiramente um
objeto (um espao determinado). A unidade sinttica da conscincia , pois, uma
condio objetiva de todo o conhecimento, que me no necessria simplesmente
para conhecer um objeto, mas tambm porque a ela tem de estar submetida toda a
intuio, para se tornar objeto para mim, porque de outra maneira e sem esta sntese
o diverso no se uniria numa conscincia. Esta sntese da apreenso deve tambm
ser praticada a priori, isto , relativamente s representaes que no so empricas.
Pois sem ela no poderamos ter a priori nem as representaes do espao, nem as
do tempo, porque estas apenas podem ser produzidas pela sntese do diverso que a
sensibilidade fornece na sua receptividade originria. Temos, pois, uma sntese pura
da apreenso. (KANT, 1997, B137-B138/A99-A100).

Considerando a geometria, percebe-se que existem duas maneiras de entender sua

objetividade. Por um lado podem ser considerados os objetos da geometria que so criados
atravs da epagoge e por outro lado pela construo. No primeiro caso, por exemplo, um
tringulo geral seria um contnuo de tringulos particulares, ou seja, uma coisa que no
completamente determinada, enquanto no segundo caso a objetividade resulta das condies
objetivas de cada construo que so determinadas pela estrutura de sua poca.
Para exemplificar, o primeiro caso, pode-se observar o problema na geometria do
tringulo geral, partindo do fato que um diagrama apresenta apenas uma figura particular,
Berkeley se interrogou, se os leitores do Essay Concerning Human Understanding, escrito por
Locke, poderiam ter uma noo sobre qual descrio deveria corresponder ideia de um
tringulo geral. Para essa impossibilidade lgica, Berkeley props uma soluo semitica,
dizendo que: devemos reconhecer que uma ideia considerada particular e torna-se geral
quando esta utilizada para representar todas as outras ideias particulares do mesmo gnero
(BERKELEY, 1975, p. 71, traduo nossa).
Jesseph caracterizou a filosofia de Berkeley em relao geometria, pelo termo
generalizao semitica, onde o aspecto fundamental da alternativa de Berkeley a afirmao

76

que se pode elaborar uma ideia para representar muitas outras, tratando-a como uma espcie
de representante (JESSEPH, 1993, p. 33-34, traduo nossa).
Neste sentido, um tringulo geral uma varivel livre, como nos termos das
descries axiomticas e no um conjunto de tringulos determinados, sendo assim esta uma
ideia que governa e produz representaes particulares, cujas propriedades so essenciais para
um tringulo geral, dependendo do contexto e dos objetivos.
Se, por exemplo, a tarefa provar o teorema em que as medianas de um tringulo se
interceptam em um ponto, o tringulo cuja prova pode ser baseada o tringulo equiltero,
sem perda de generalidade, pois o teorema em questo um teorema da geometria afim e o
fato de que qualquer tringulo equivalente a um tringulo equiltero sob transformaes
afins facilita consideravelmente a realizao da prova, devido simetria elevada de um
tringulo equiltero. A objetividade de um tringulo geral neste sentido semitico resulta do
fato de que somos capazes de provar teoremas sobre um tal tringulo (PEIRCE, CP 5.181).
Mas este no o ponto de vista de Kant e tambm no o de Newton que no prefcio
de sua obra Philosophiae Naturalis Principia Mathematica escreveu:
A geometria no nos ensina a traar essas linhas, mas exige que sejam
traadas, pois requer que primeiro que se ensine o aprendiz a descrev-las com
exatido, para que ele possa penetrar na geometria, e depois mostra como se podem
resolver problemas atravs dessas operaes. Descrever retas e crculos so
problemas, mas no problemas geomtricos. A soluo desses problemas exigida
da mecnica, e pela geometria se mostra o uso deles, quando assim solucionados; e a
glria da geometria poder, a partir desses poucos princpios trazidos de fora,
produzir tantas coisas (NEWTON, 2002, p. 275).

Tanto para Kant como para Newton a exatido da geometria possvel porque os
objetos da geometria so apenas construes ideais, logo ambos adotam a segunda maneira
para se entender a objetividade da geometria, que por meio da construo. A ideia
apresentada por Kant estabelece que, primeiro necessrio construir os conceitos na intuio
realizando um processo sinttico e base deste mtodo pode-se deduzir logicamente,
aplicando assim o processo analtico, ocorrendo que todo analtico depende de um processo
construtivo e sinttico.

A deduo euclidiana um experimento do pensamento [...] o maior

obstculo para a aceitao da interpretao dos argumentos de Euclides como sendo
um experimento do pensamento a crena de que tais argumentos no podem
apresentar provas convincentes. Em particular, pode-se perguntar, de que maneira a
considerao de um nico objeto pode estabelecer uma afirmao geral sobre todos
os outros tipos de objetos fornecidos. Parte da dificuldade devida, penso eu, a
incapacidade de distinguir dois modos de interpretar indicaes gerais como em

77

todos os tringulos issceles os ngulos da base so iguais sob uma interpretao

refere-se indicao de uma totalidade definida [...] e que diz algo a respeito de
cada um deles, sob outra interpretao nenhuma totalidade definida pressuposta e a
sentena tem um carter muito mais condicional Se um tringulo issceles, seus
dois ngulos da base so iguais. Uma pessoa que interpreta a generalizao do
segundo modo pode apoiar que a frase a classe de tringulos issceles no tem
sentido, pois o nmero de tringulos issceles absolutamente indeterminado
(MUELLER, 1969, p. 299-300, traduo nossa).

Existem ento duas concepes da geometria e da Matemtica em geral, que poderiam

ser chamadas axiomticas e analticas ou construtivas e sintticas.
A formao do conhecimento matemtico apresentado por Kant trouxe notvel
influncia sobre o pensamento matemtico. H muito tempo surgiram perguntas como: a
Matemtica uma cincia conceitual? A Matemtica tem objetos prprios? O que um
nmero? O nmero um objeto ou um conceito criado para os seres humanos?
Historicamente o conhecimento matemtico gerou muitas controvrsias, os empiristas
acreditavam que a Matemtica era baseada nas abstraes e indues das observaes
empricas, enquanto os racionalistas como Leibniz consideravam a Matemtica como um
conhecimento conceitual e analtico.
Kant acreditava que os empiristas estavam errados, pois no conseguiam explicar a
certeza e necessidade dos argumentos matemticos, ao passo que, os racionalistas no eram
capazes de explicar porque o conhecimento matemtico crescia diferentemente da lgica, que
permaneceu a mesma desde os dias de Aristteles. Kant se prope a explicar como o
conhecimento matemtico possvel, ou seja, como a Matemtica conseguiu encontrar o
caminho certo, ou melhor, como conseguiu produzir conhecimentos certos e ao mesmo tempo
novos?
Querendo unir certeza e objetividade do conhecimento, Kant tomou a cincia de
Newton como seu ponto de partida para uma anlise epistemolgica, como por exemplo, as
observaes de Newton sobre a origem da preciso da Matemtica levaram Kant a entender
que a fonte de conhecimento pode ser encontrada na atividade construtiva do sujeito, o que
implica que esta atividade no pode ser concebida apenas na dependncia da vontade e
imaginao, mas deve estar objetivamente contida no sujeito (KANT, 1997).
Sendo assim Tringulo, para Kant, no o nome de uma figura como os empiristas
acreditavam e tambm no pode ser aceito como uma ideia platnica, mas sim como uma
regra da construo. Um diagrama ou uma figura apenas um experimento mental e no um
smbolo para um conjunto de figuras empricas, por isso, na geometria possvel provar
teoremas universais e ao mesmo tempo novos. Kant prope que a Matemtica universal e

78

necessria, para explicar sua teoria e responder sua pergunta ele definiu juzos analticos e
sintticos:
Em todos os juzos, nos quais se pensa a relao entre um sujeito e um
predicado (apenas considero os juzos afirmativos, porque fcil depois a aplicao
aos negativos), esta relao possvel de dois modos. Ou o predicado B pertence ao
sujeito A como algo que est contido (implicitamente) nesse conceito A, ou B est
totalmente fora do conceito A, embora em ligao com ele. No primeiro caso chamo
analtico ao juzo, no segundo sinttico. [...] Os primeiros poderiam igualmente
denominar-se juzos explicativos; os segundos, juzos extensivos; porque naqueles o
predicado nada acrescenta ao conceito do sujeito e apenas pela anlise o decompe
nos conceitos parciais, que j nele estavam pensados (embora confusamente); ao
passo que os outros juzos, pelo contrrio, acrescentam ao conceito de sujeito um
predicado que nele no estava pensado e dele no podia ser extrado por qualquer
decomposio. Quando digo, por exemplo, que todos os corpos so extensos,
enuncio um juzo analtico, pois no preciso de ultrapassar o conceito que ligo
palavra corpo para encontrar a extenso que lhe est unida; basta-me decompor o
conceito, isto , tomar conscincia do diverso que sempre penso nele, para encontrar
este predicado; , pois um juzo analtico. Em contrapartida, quando digo que todos
os corpos so pesados, aqui o predicado algo de completamente diferente do que
penso no simples conceito de um corpo em geral. A adjuno de tal predicado
produz, pois, um juzo sinttico.[...] Que um corpo seja extenso uma proposio
que se verifica a priori e no num juzo de experincia (KANT, 1997, B 11).

Pode parecer estranho o exemplo dos corpos, pois Kant pressupe que no possvel
ver um corpo sem verificar que ele extenso, ou seja, a distino do analtico e sinttico
depende da estrutura mental dos seres humanos, isto , as duas fontes.
A Matemtica, diferentemente da lgica formal, fornece conhecimentos especficos e
novos, por isso, deveria ser baseada em juzos ou proposies sintticas e ainda deveria ser a
priori.
Ento, Kant empenha-se em explicar: como possvel um conhecimento sinttico e
mesmo assim priori, ou seja, como possvel um conhecimento que no depende da
experincia emprica, mas de provas formais? Sua concluso foi que uma prova matemtica
no poderia ser simplesmente uma corrente de argumentos lgicos, mas deveria depender de
uma intuio reflexiva, pois [...] as verdadeiras proposies matemticas so sempre juzos a
priori e no empricos, porque comportam a necessidade, que no se pode extrair da
experincia (KANT, 1997, B15), os juzos ou as proposies matemticas so baseados em
provas que no deixam dvidas, significando que, a Matemtica no pode ser fruto de uma
experincia emprica.
A Matemtica pura, funda todos os seus conhecimentos e juzos no espao e no tempo,
que so intuies puras e servem de fundamento a priori, de tal modo que, nunca podem ser
eliminadas, sendo classificadas por Kant como: simples formas da nossa sensibilidade que
devem preceder toda a intuio emprica (KANT, 1982, p. 51).

79

Esta faculdade da intuio a priori diz respeito forma, espao e o tempo do

fenmeno e no matria deste fenmeno, ela s inteiramente compreensvel se a tomamos
apenas como condies formais da nossa sensibilidade e os objetos como simples fenmenos.
Toda percepo na realidade uma interpretao, antes de percebermos alguma coisa
precisamos de conceitos ou formas, pois sempre percebemos um objeto como uma coisa, no
percebemos objetos que no nos trazem um significado ou uma relao com algo j conhecido
(KANT, 1982, p. 49-52). Na realidade tudo o que se pode apresentar aos nossos sentidos
(aos sentidos externos no espao, ao sentido interno no tempo) por ns percebido apenas
como nos aparece e no como em si (Ibid., 1982, p. 53).
A revoluo da epistemologia inaugurada por Kant, no sculo XVIII, pressupe a
objetividade do sujeito humano, onde centraliza o sujeito e suas atividades e no mais o
objeto do conhecimento. A partir de Kant novas teorias se desenvolvem durante os prximos
sculos, entretanto no sculo XIX a Matemtica sofre considerveis transformaes. Tem-se
ento o incio da chamada Matemtica Moderna, com novas teorias e diversas preocupaes e
entre essas, encontra-se a Educao Matemtica.
Pierre Boutroux foi uma testemunha destas mudanas e fez importantes consideraes
em relao formao do conhecimento que est diretamente ligado a distino entre
analtico e sinttico.
Boutroux, conta a histria da Matemtica sem se preocupar apenas com a vida e com
obra dos matemticos, ou simplesmente contextualiz-la na histria da humanidade, mas
descreve essa histria delineando quais pensamentos e correntes filosficas moveram as
pesquisas dos matemticos em cada poca. Desta forma, Boutroux se props a escrever sobre
a evoluo dos conceitos e das ideias na histria da Matemtica.
Isto leva o leitor, do livro de Boutroux, a estudar mais sobre os principais problemas
que impulsionaram os matemticos. Considerando que um ramo da cincia s se mantm vivo
enquanto oferece uma grande variedade de problemas, j a falta de problemas significa a sua
morte ou o fim do seu desenvolvimento (HILBERT apud DIEUDONN, 1990, p. 176).
Dois problemas que se colocaram frente dos matemticos foram o princpio da
continuidade e a generalizao na cincia da modernidade, que na perspectiva de Kant se
iniciou com Galileu.

80

2.4 A DISTINO ENTRE ANALTICO E SINTTICO NA MATEMTICA MODERNA

SEGUNDO BOUTROUX

No livro L'idal scientifique des mathmaticiens: dans l'antiquit et dans le temps

modernes, Boutroux procura delinear o desenvolvimento da Matemtica como um todo,
objetivando trazer uma melhor compreenso sobre a histria da Matemtica. Para tanto, ele
divide essa histria desde a Antiguidade at o sculo XIX, em trs perodos, que podem ser
representados pelos seguintes nomes: I. Plato (429 a.C-348 a.C) /Euclides (300 a.C-260 a.C);
II. Descartes (1596-1650) /Leibniz (1646-1716)/ Kant (1724-1804); III. Bolzano (1781-1848)
/Cantor (1845-1918).
Boutroux separa esses trs perodos em dois pontos de vista, o primeiro ocorre em I e
II que so dedicados a um ideal sinttico da Matemtica e caracterizados por uma harmonia
pr-estabelecida entre o objeto e o mtodo, o autor escreve: [...] supem um tipo de harmonia
pr-estabelecida entre o objeto da cincia matemtica, entre os objetos que esta cincia almeja
e os procedimentos que lhe permitem atingir estes objetos (BOUTROUX, 1920, p. 193,
traduo nossa). Enquanto de II para III, acontece uma ruptura, uma revoluo, uma quebra
entre os meios e os objetos da Matemtica. Boutroux (1920, p. 184) explica:
O que primeiro nos chama a ateno, quando comparamos a Matemtica de
nosso tempo quela das pocas anteriores, a extraordinria diversidade e o aspecto
imprevisto dos caminhos e os desvios nos quais esta enveredou-se, a aparente
desordem em que ela executa suas idas e vindas, so suas manobras e mudanas de
frente contnuas. A bela unidade que Euclides havia dado a geometria e que
Descartes queria conferir lgebra parece irremediavelmente perdida (traduo
nossa).

Segundo Boutroux os matemticos Descartes, Leibniz e Newton desenvolveram um

mtodo sinttico na Matemtica. Este mtodo sinttico um clculo, portanto uma
combinao de signos, que reduzia a cincia a um trabalho de combinao mecnica.
Enquanto o mtodo analtico, na Matemtica, surge por volta da metade do sculo XIX, o
matemtico desta poca pode ser comparado com:
[...] um construtor, um generalizador, o matemtico tornou-se uma espcie de
inspetor, que analisa maneira de um qumico, uma matria estranha e infinitamente
complexa, tambm, se quiser um explorador, com a tarefa de se orientar em um
continente desconhecido, e que busca descobrir as riquezas, as regies
interessantes, sem alis, saber qual lado deve exatamente avanar e dirigir sua
pesquisa para atingir seu objetivo (Ibid., 1920, p. 211, traduo nossa).

81

Boutroux chama a geometria analtica de Descartes, bem como a anlise algbrica de

Leibniz de sinttica. Porque ele faz isso? De onde vem esta diferena entre a percepo dos
prprios protagonistas e o historiador?
No livro 13 dos Elementos de Euclides o mtodo analtico descrito como o mtodo
de procura para as condies de um problema, assumindo o procurado como j encontrado.
Igualmente na lgebra de Descartes o procurado representado pelo famoso x e apenas depois
se escreve as condies para determinar as caractersticas desse nmero desconhecido x, por
exemplo, seja o procurado um nmero indeterminado x tal que x-5 = 0. Ento qualquer
determinao ou definio contm uma garantia ou afirmao da existncia do procurado.
Nos nmeros imaginrios diferente, pois se pergunta: existe um x tal que x2 + 1 = 0?
Entre os nmeros reais esse nmero no existe, na realidade pode-se postular a existncia
como um elemento ideal ou imaginrio, adicionar este elemento aos nmeros reais e depois
verificar se o sistema de nmeros to alargado logicamente consistente.
Hilbert apresentava este exemplo para explicar o que significa o novo mtodo, o
mtodo axiomtico, no qual no h garantia de existncia. Este mtodo requerer apenas a
coerncia lgica, portanto (por causa da falta de garantia de existncia) o mtodo axiomtico
analtico e o velho sinttico. Para Boutroux o processo dedutivo de Euclides era chamado de
processo sinttico, porque ele comeava a construir novas verdades base dos axiomas, que
eram as verdades bsicas, ou seja, o procedimento sinttico sempre comea com um objeto ou
fato dado e a partir desse desenvolve novas coisas.
Um axioma no sentido moderno uma mera hiptese e suas consequncias devem ser
desenvolvidas e testadas. A axiomtica moderna no assume o objeto dado, mas os axiomas
so dados apenas como condies, na qual qualquer objeto da teoria em questo deveria
obedecer. Os axiomas so comparveis s leis da natureza e as leis da natureza no produzem
conhecimento por conta prpria, devem ser aplicadas (OTTE; PANZA, 1997, p. 262-263).
A principal diferena entre o mtodo de Euclides e o mtodo de Peano e Hilbert,
perceptvel por meio de questionamentos levantados em relao aos objetos. Os objetos da
geometria euclidiana so dados e descritos independentemente da teoria, ou seja, os objetos
so dados antes mesmo que a teoria comece a ser desenvolvida. J os objetos na teoria de
Peano e Hilbert no existem independentemente da teoria e talvez nem poderiam existir,
como no caso em que o sistema de axiomas inconsistente.
De certa forma, os objetos na teoria de Peano e Hilbert, so apenas apresentados em
termos de definies hipotticas, ou seja, eles no so fornecidos, e a teoria opera somente

82

base de conceitos ou definies (implcitas ou explicitas), por isso, Hilbert disse que o ponto
de vista que contm uma teoria axiomtica, em poucas palavras, deve ser possvel substituir
nas demonstraes geomtricas todas as palavras como ponto, linha, plano por mesa, cadeira,
jarra (HILBERT apud REID, 1970, p. 246, traduo nossa). Por exemplo, no primeiro axioma
da lista de Hilbert est escrito que dois pontos distintos pertencem a uma e apenas a uma reta,
mas poderia ser escrito que duas mesas distintas pertencem a uma mesma cadeira e a uma s
(DIEUDONN, 1990, p. 55).
Em certo sentido o sinttico a procura do contato com a objetividade e com os
objetos, em contrapartida o analtico apenas um pensamento conceitual, que se estabelece
apenas em um nvel terico da linguagem, onde os objetos so desnecessrios na realidade.

83

CAPTULO III
A EDUCAO E A TRANSFORMAO DA EDUCAO MATEMTICA NO
SCULO XIX

3.1 INTRODUO: FATOS QUE EVIDENCIAM A REVOLUO E A RUPTURA NA

MATEMTICA ALTERCADA POR BOUTROUX

Segundo Boutroux, todas as outras revolues antes do sculo XIX no surtiram

grandes efeitos, tanto na cincia em geral quanto na Matemtica. A grande revoluo ocorreu
no sculo XIX. A partir da Revoluo Industrial a matemtica pura surge, como uma tentativa
de fortalecer o ensino e junto com ela veio a prova formal.
A introduo do formalismo se inicia com o conceito de funo, que teve um papel
chave tanto no desenvolvimento puro e na aplicao como na Educao Matemtica.
A revoluo da Matemtica, que ocorreu no sculo XIX, registrada por Boutroux,
perceptvel tambm na sociedade em geral. Nos escritos do socilogo mile Durkheim (18581917), o homem no sculo XIX deixa de ser o centro da educao e as grandes preocupaes
da cincia passam a estar inseridas dentro do prprio ensino e do conhecimento.
Outro fato importante a ser notado que no sculo XIX, principalmente, na Alemanha
houve um notvel aumento do nmero de matemticos. Para explicar esse portento Gerstell
fez um apanhado geral da histria da matemtica na Alemanha e aponta o contexto educativo
que produziu esse prodgio.
Objetivando contextualizar Boutroux e entender o movimento que ocorreu na
Matemtica no sculo XIX, ser apresentando um breve relato sobre a histria da educao.
Para tanto, o foco se fecha na Frana e Alemanha, cujos filsofos e professores
desenvolveram, no sculo XVIII, um importante papel na transformao social, poltica e
intelectual do mundo europeu, seus reflexos foram sentidos com mais intensidade no sculo
XIX, o qual se constitui o ponto central deste estudo.

84

3.2 A REVOLUO INDUSTRIAL E A EDUCAO

Aps a revoluo agrcola global no terceiro milnio, em que a agricultura mantevese como foco principal dos esforos humanos (EVES, 1995, p. 514). O mundo participa de
uma nova revoluo, a Revoluo Industrial, que teve incio no sculo XVIII na Inglaterra,
espalhando-se por todo o continente europeu e atigindo a Amrica no sculo XIX. Com a
inveno das mquinas, tem-se a diminuio do trabalho braal e a poca das plantas, dos
animais de trao e dos campos foi suplantada pela poca das mquinas (EVES, 1995, p.
514).
A Revoluo Industrial no apenas mudou o mundo objetivo, mas tambm as culturas
e as cincias.

Esse processo de transformao do trabalho humano desloca massas inteiras

da populao no somente das oficinas artesanais para as fbricas, mas tambm dos
campos para as cidades, provocando conflitos sociais, transformaes culturais e
revolues morais inauditas [...] (MANACORDA, 2010, p. 327).

Com as revolues tem-se o xodo dos camponeses da zona rural para os grandes
centros urbanos.
Entretanto, medida que a cincia moderna avanava e a tecnologia gerava
novas mquinas, tornava-se inevitvel discutir a educao dessa nova classe de
trabalhadores. Por um lado, era necessrio preparar o operrio para o uso adequado
das novas mquinas, e isso s seria possvel atravs da introduo do ensino de
alguns elementos bsicos de escrita e matemtica. Por outro lado, seria tambm
preciso formar tcnicos especializados, que, atravs do conhecimento dos ltimos
avanos da cincia, pudessem melhorar ainda mais as tcnicas de produo. A
ampliao do ensino s classes trabalhadoras, ou seja, a universalizao da
educao, e a relao educao-trabalho passaram a ser, a partir desse momento, os
grandes temas das discusses educacionais (MIORIM, 1998, p. 51).

O antigo arteso passa a trabalhar nas indstrias, todo o seu saber deixa de ter valor,
suas atividades so todas mecnicas e montonas, ou seja, o homem se torna um acessrio da
mquina.
[...] os trabalhadores perdem sua antiga instruo e na fbrica s adquirem
ignorncia. Em seguida, a evoluo da modernssima cincia da tecnologia leva a
uma substituio cada vez mais rpida dos instrumentos e dos processos produtivos
e, portanto, impe-se o problema de que as massas operrias no se fossilizem nas
operaes repetitivas das mquinas obsoletas, mas que estejam disponveis s
mudanas tecnolgicas, de modo que no se deva sempre recorrer a novos exrcitos
de trabalhadores mantidos de reserva: isto seria um grande desperdcio de foras

85

produtivas. Em vista disso, filantropos, utopistas e at os prprios industriais so

obrigados, pela realidade, a se colocarem o problema da instruo de massas
operrias para atender s novas necessidades da moderna produo de fbrica: em
outro temos, o problema das relaes instruo-trabalho ou da instruo tcnicoprofissional, que ser o tema dominante da pedagogia moderna. Tentam-se, ento,
duas vias diferentes: ou reproduzir na fbrica os mtodos platnicos da
aprendizagem artesanal, a observao e a imitao, ou derramar no velho odre da
escola desinteressada o vinho novo dos conhecimentos profissionais, criando vrias
escolas no s sermocinales, mas reales, isto , de coisas, de cincias naturais: em
suma, escolas cientficas, tcnicas e profissionais (MANACORDA, 2010, p. 328329).

Ocorreu uma transformao de conhecimento, que colocava mais nfase na

criatividade, no planejamento e na superviso dos sistemas, do que na prpria execuo. Na
descrio de Joseph-Marie, encontra-se a frase: construir uma mquina para tecer sem mos
(JOSEPH-MARIE, 2004, p. 37). Esta mquina de Jacquard era em sua poca o mecanismo
mais complexo que existia (Ibid., 2004, p. 37).
O problema do mtodo ou da didtica o fastidioso problema pedaggico
deste sculo e suas solues no so isentas de pedanteria, tambm nos maiores
autores: mas como no ver que este o problema real, decorrncia inevitvel da
evoluo histrica? Desde o momento em que a instruo tende, embora lentamente,
a universalizar-se e a laicizar-se, mudando destinatrios, especialistas, contedos e
objetivos, o como ensinar (at as coisas mais tradicionais, como a preparao
instrumental ou formal do ler, escrever e fazer contas) assume propores
gigantescas e formas novas; tanto mais se o problema do mtodo se entrelaa com o
problema dos novos contedos da instruo concreta, que surgem com o prprio
progresso das cincias e com sua relativa aplicao prtica. (MANACORDA, 2010,
p. 338).

Na Frana as camadas populares reivindicam mais saber e educao pblica. O

estado pela primeira vez, instituiu a obrigatoriedade escolar criando Escolas Normais.
Estabelecendo-se aqui uma grande revoluo pedaggica nacional francesa, onde discutida a
formao do cidado (PINTO; ZAITUNE; MARTIN, 2006, p. 1843). As Escolas Normais
eram as nicas acima do nvel bsico aberta ao povo.
Essas ideias foram impulsionadas pelos filsofos iluministas associados Revoluo
Francesa, que durante este perodo apresentaram planos para a organizao de um sistema
nacional de educao.
Uma importante obra deste movimento foi a Encyclopdie, ou Dictionnaire raisonn
des sciences, des arts et des mtiers, com o primeiro volume publicado em 1751 e o segundo
em 1752 na Frana, que recebeu a colaborao de 160 escritores e ficou famosa na histria
das ideias europias por ter dado origem ao movimento dos chamados Enciclopedistas. J que
no era possvel conhecer toda a cincia, era necessrio optar por uma parte dela.

86

Os principais autores desta obra foram os filsofos D'Alembert (1717- 1783), Quesnay
(1694-1774), Turgot (1727-1781), Marmontel (1723-1799), Holbach (1723-1789) liderados
por Denis Diderot (1713-1784). Esta obra tinha por objetivo reunir o conhecimento em uma
nica publicao e [...] ao mesmo tempo em que inundaram o pas com outras formas de
escritos para o povo, tais como curtas narraes literrias, textos de denncia, adaptaes de
grandes obras da cincia e da filosofia etc., voltadas a emancip-lo de sua menoridade
intelectual (PIOZZI, 2007, p. 717).
Neste perodo surgiram correntes filosficas que procuravam dar conta do ensino,
principalmente para camponeses. Logo as discusses fugiram do plano, at ento esboado, se
o povo deveria ou no ser instrudo. A questo se tornou: de que forma regenerar pela
educao o novo homem produzido pela Revoluo? Quais mtodos polticos e pedaggicos
devem ser adotados e seguidos para atingir os objetivos estabelecidos pelas declaraes de
direitos e pelas Constituies? Como educar o povo?
No sculo XIX, com a proliferao do sistema fabril que tornou o mundo urbano mais
feio, com sua esttica cinzenta, da fumaa e das chamins, juntou-se no mesmo espao uma
enorme capacidade produtiva e uma grande misria, que ativou uma intensa luta de classes e
uma contnua tenso social da decorrente. A partir de ento, geraram-se os primeiros projetos
socio-utpicos de Saint-Simon (1760-1825), de Charles Fourier (1772-1837) e de Robert
Owen (1771-1858), que foram extremamente crticos extenso das mquinas em todos os
ramos da produo. Eles viram na mquina um inimigo capaz de extrair o sangue dos
operrios industriais, ao mesmo tempo em que os atava a um sistema produtivo que no se
distanciava muito das condies sociais existentes na escravido.
Essa posio foi amplamente assumida por Karl Marx (1818-1883) e Friederich
Engels (1820-1895), os pais do socialismo moderno.

3.3 HUMBOLDT (1767-1845): A UNIO DA PESQUISA E DO ENSINO NA

ALEMANHA

A unio da pesquisa e ensino implica que os professores universitrios foram

obrigados pela primeira vez fazer pesquisa (TURNER, 1971, p. 140-142) para isso foram
instalados seminrios.

87

No entanto, pode-se dizer que em todos os pases europeus, de vrios modos

e em ritmos diferentes, se discutia, se legiferava e se trabalhava para criar escolas.
Enquanto vai desaparecendo o tradicional aprendizado da oficina artesanal,
controlado pelas corporaes de artes e ofcios (na Inglaterra foi criado por lei em
1381 e, por lei, abolido em 1814), a instituio escola vai atingindo todas as classes
produtoras, recebendo novos contedos cientficos e tcnicos. Com base nesses
contedos renova-se tambm a universidade, na qual as cincias matemticas e
naturais acabam separando-se definitivamente da velha matriz das artes liberais,
onde se situam durante milnios como philosophia naturalis ou phisica, e
constituindo-se como um corpo ou faculdade em si, destinado a tornar-se cada vez
mais complexo. Ao lado das universidades surgem as escolas superiores de
engenharia. O renascimento da universidade, do qual a histria da universidade
alem, reformada por Humboldt, um exemplo tpico, consiste no fim do seu carter
abstrato e universalstico e na assuno de todo um conjunto diferenciado de
especializaes (MANACORDA, 2010, p. 348).

Wilhelm Von Humboldt foi um nobre prussiano rico, que viveu um perodo de abalos
sociais e definies polticas, resultante de uma sociedade elitista que viveu momentos de
libertao.
Ele tinha a viso de uma escola superior que haveria de realizar a unio entre ensino e
pesquisa, proporcionando a todos os alunos uma abrangente formao humanista.
Na obra Os limites da ao do Estado, Humboldt descreve o conceito da pessoa
humana como um animal social que luta por cultivar e melhorar o contexto em que vive com
o apoio da sociedade (HUMBOLDT, 2004). Portanto, Humboldt se opunha grandes
Estados, e acreditava que eles impediam o completo desenvolvimento dos cidados. Em suas
palavras:

El verdadero fin del hombre es el ms elevado y proporcionado desarrollo de

sus fuerzas en um todo armnico. Y para ello, la condicin primordial e inexcusable
es la libertad. [...] El provecho de tales uniones para la formacin del hombre
depende siempre del grado en que se mantenga, dentro de la intimidad de la unin,
la independencia de ls personas unidas. Es necesaria la intimidad, para que el uno
pueda ser suficientemente comprometido por el otro, pero hace falta tambin la
independencia, para que cada uno pueda asimilar lo que haya comprendido del otro
en su propio ser. [...] Cuanto ms aumente La variedad, a la par que la finura de la
materia, mayor ser tambin su fuerza, porque ser mayor, asimismo, la
concatenacin. La forma parece fundirse en la materia y sta en la forma. O, para
expresarmos sin metforas: quanto ms ricos en ideas sean los sentimentos Del
hombre y ms pletricas de sentimiento sus ideas, a mayor altura rayar ese hombre.
Esta eterna fecundacin de la forma y la materia o de la variedad con la unidad es la
base sobre que descansa la fusin de las dos naturalezas asociadas en el hombre; la
cual es, a su vez, la base de la grandeza de ste. [...] Para m, el supremo ideal en La
coexistencia de los seres humanos sera aquella sociedad en que cada uno de los
seres unidos se desarrollase solamente por obra de s mismo y en gracia a l mismo.
[...] Ahora bien, el hombre nunca considera tan suyo propio lo que posee como
aquello que l mismo hace, y el obrero que cultiva el jardn es tal vez ms
propietario de l, en el verdadero sentido de la palabra, que el seor ocioso que lo
disfruta. [...] Pues bien; el estado que se preocupe de ejercer uma tutela positiva
como sta a que nos referimos, slo puede atender a los resultados y establecer
simplemente aquellas reglas cuya observancia es ms conveniente para la perfeccin
de estos. [...] La tutela del estado en cuanto al bienestar positivo de los ciudadanos

88

entorpece el desarrollo de la individualidad y de la peculiaridad Del hombre en su

vida moral y en su vida prctica en general, en La medida en que se limite a
observar las reglas establecidas las cuales se reducen a su vez, seguramente, a los
princpios del derecho [...]. Sin seguridad, el hombre no puede desarrollar sus
fuerzas ni percibir los frutos de las mismas, pues sin seguridad no existe libertad.
Escritos Polticos (HUMBOLDT apud MILANI, 2006, p. 106).

Alm dessa nfase na individualidade da pessoa humana, Humboldt sustentava o

necessrio enraizamento da pessoa na sociedade e na comunidade.
Atravs dos escritos Humboldt possvel perceber que ele recebeu forte influncia da
Revoluo Francesa:
Este pas era, necesariamente, el primero en que tena que producirse la
revolucin, tras la cual no poda venir ms sistema que el sistema de una libertad
moderada y, sin embargo, completa y absoluta, el sistema de la razn, un rgimen de
estado ideal. La humanidad haba cado en un extremo y tena que buscar su
salvacin en el extremo contrario (HUMBOLDT apud MILANI, 2006, p. 105).

Humboldt se preocupa principalmente com o ensino superior que nesta poca

comeava a se introduzir com um contexto de acirrados debates intelectual e poltico sobre os
nexos entre contedos tericos e formao tcnica, conhecimentos teis e cultura
desinteressada e entre instruo e formao moral.
A didtica da Matemtica, desde ento, ficava oscilando entre o reducionismo que
tentava explicar o avano em termos do elementar, que foi caracterizado na poca do
iluminismo no sculo XVIII, e entre a concepo da cincia no sentido de Humboldt, que
procurava abordar diretamente os aspectos fundamentais da Matemtica avanada (conjunto,
conceito de funo, mtodo axiomtico etc.).

3.4 GERSTELL: A GRANDE EXPLOSO NA PRODUO MATEMTICA NA

ALEMANHA

Em seu artigo Prussian Education and Mathematics (1975), Gerstell, escreve que a
partir do final do sculo XVIII, tem-se um explosivo crescimento de matemticos,
especialmente na Alemanha. Observe o seguinte relatrio apresentado pela autora, onde
consta o nascimento de matemticos alemes:

89

Datas de nascimento

Datas de nascimento

1556-65
1566-75 Kepler
1576-85
1586-95*
1596-05
1606-15
1616-25
1626-35
1636-45
1646-55 Leibniz, von Tschirnhaus
1656-65
1666-75
1676-85*
1686-95 Goldbach
1696-05*
1706-15
1716-25*
1726-35
1736-45
Wessel 1746-55
1756-65
1766-75
1776-85 Gauss,*
1786-95 Mobius,*
1796-05 Von Staudt, Feuerbach, Plicker, Jacobi, Dirichlet, *
1806-15 Listing, Grassmann, Kunumer, Weierstrass, **
1816-25 Heine, Seidel, Kronecker,**
1826-35 Riemann, Dedekind, **
1836-45 Hankel, Cantor, ***
1846-55 Klein, Frege, Lindemann, *
1856-65 Hilbert, *
1866-75 Hausdorff, Zermelo, *** (GERSTELL, 1975, p. 243-244, traduo nossa).

Para a autora esta exploso est relacionada ao contexto social na Alemanha. O ensino
da Matemtica era importante para o comrcio, indstria e para o prprio governo da
Alemanha que desejava superar a Frana de Napoleo. Os ministros da Alemanha, com o
apoio destas classes estabeleceram um programa de reformas.
O ministro da educao, Wilhelm Von Humboldt, fundou universidades, que
enfatizavam o ensino em Matemtica. O objetivo de Humboldt, como j foi escrito, era unir
pesquisa e ensino, para tanto ele convidava grandes matemticos para fazerem parte do
quadro de professores nas universidades.
Este contexto favoreceu o aumento do nmero de matemticos:
Como as origens dos problemas matemticos no esto diretamente
relacionadas cincia, indstria ou ao comrcio, alguns escritores acabam
concluindo que a razo dtre da Matemtica interna. Isto pode ser uma verdade
em relao aos prprios problemas, mas no uma verdade que pode ser
direcionada aos homens que resolvem os problemas matemticos. Pois a educao
uma da vrias maneiras pelas quais os governantes e as poderosas elites podem
influenciar a histria intelectual, e eu no encontro um caso to claro como o caso da
Alemanha, onde o fator educacional pode ser identificado com to pouca distoro,
como uma causa singular na historiografia. (GERSTELL, 1975, p. 245, traduo
nossa).

Muitos matemticos receberam uma formao inicial do novo sistema escolar, e isso
tambm justifica este exacerbado crescimento, pois (...) para garantir que vrios de homens
Cada asterisco representa um matemtico que autora optou em no citar o nome.

90

se tornem matemticos competentes e criativos basta educ-los em Matemtica

(GERSTELL, 1975, p. 240, traduo nossa). Logo as escolas alems traziam na carga horria
um considervel tempo para as disciplinas de Matemtica e por esses motivos ocorre. Ento
uma exploso na produo matemtica.

3.5 DIRICHLET (1805-1859): O PENSAMENTO CONCEITUAL NA MATEMTICA

Johann Peter Gustav Lejeune Dirichlet foi um matemtico alemo que estudou em um
colgio jesuta e depois no Collge de France. Encorajado por Alexander von Humboldt, que
fez recomendaes em seu nome, ele retornou Alemanha, em 1826. Lecionou na academia
militar e na Universidade de Berlim. Em 1855, comeou a trabalhar como professor de
Matemtica em Gttingen (OCONNOR; ROBERTSON, 2000b).
Gauss (1777-1855) e Dirichlet foram os primeiros matemticos modernos na
Alemanha. Aps esses surgiram outros como Riemann (1826-1866) e Dedekind (1831-1916).
Dirichlet tinha um extremo cuidado com os conceitos. Para efetuar uma prova ele
explicava antes o que significava cada conceito, realizando assim um trabalho mais didtico,
de forma que o leitor pudesse identificar cada smbolo ao ler seu trabalho. Koch descreve o
modo como Dirichlet desenvolvia suas provas matemticas a ainda refora a grande
importncia deste matemtico:

[...] importantes partes da Matemtica foram influenciadas por Dirichlet. A

principal caracterstica de suas provas que sempre comeavam com observaes
surpreendentemente simples, seguidas por uma anlise extremamente aguada do
restante do problema. Com Dirichlet inicia-se a idade de ouro na Matemtica em
Berlim (KOCH, 1998, p. 33-40, traduo nossa).

Na Matemtica o pensamento conceitual substitua clculos cegos. Boutroux,

sinalizando a importncia da intuio e a preocupao com os conceitos na Matemtica,
escreveu que:
O fato matemtico independente do vesturio lgico ou algbrico sobre o
qual ns procuramos represent-lo. De fato, a ideia que temos mais rica e mais
plena que todas as definies que podemos dar, que todas as formas ou combinaes
de signos ou de proposies pelas quais nos possvel exprimi-la (1920, p. 203,
traduo nossa).

91

Portanto, pode-se notar que o pensamento matemtico de Dirichlet caracteriza o

pensamento conceitual matemtico.
A geometria e o pensamento intuitivo, que geralmente at Kant eram tpicos da
Matemtica, no incio do sculo XIX so excludos da matemtica pura. A geometria e a
Matemtica foram colocadas no mesmo patamar que a mecnica, mas para isso necessitou-se
que a matemtica pura estabelecesse sua prpria teoria dos objetos e sua prpria ontologia.
Por isso, a teoria dos conjuntos foi to interessante para os matemticos de Bolzano (17821848) Cantor (1845-1919) e at mesmo nos dias atuais. A excluso da geometria e da
intuio trouxe muitas discusses entre os matemticos e os engenheiros das escolas
politcnicas. O trabalho de Felix Klein consistiu em ligar a teoria e a prtica ou a pesquisa e
ensino da Matemtica.

3.6 FELIX KLEIN (1849-1925): A DISCUSSO ENTRE MATEMTICA PURA E

APLICADA NA EDUCAO MATEMTICA NA ALEMANHA

No sculo XIX grande parte das escolas alems ainda no havia remodelado o seu
sistema escolar e ainda apresentavam uma estrutura tradicional, onde se ensinava as lnguas
clssicas e o ensino universitrio era direcionado principalmente para a carreira eclesistica,
para direito e administrao (SCHUBRING, 1999, p. 39).
Na segunda metade do sculo XIX as escolas alems, com a preocupao de
acompanhar a Revoluo Industrial, se organizam em trs classes as Humanistiche
Gymnasiun, as Realschulen e as Volksschulen.
As Gymnasiun se dedicavam a filologia e ao ensino das lnguas, eram as escolas
secundrias de maior prestgio, onde o ensino da Matemtica era sinttico voltado para a
geometria euclidiana e rejeitava-se o ensino de funes. Schubring destaca que: Essas
escolas aperfeioaram-se rapidamente a partir de 1850 e adquiriram progressivamenteum
status prximo ao das universidades, at que por volta de 1900 j eram consideradas como
possuidoras de um status igual ao das universidades (SCHUBRING, 1999, p. 39).
Enquanto nas escolas Realschulen ensinavam geometria elementar tradicional,
geometria descritiva e alguns elementos da geometria sinttica. E por fim as Volksschulen
ensinavam o clculo prtico, ou seja, a Matemtica sem provas, por isso nessas escolas no
havia o ensino da geometria.

92

Apesar de todas as mudanas, onde o foco da educao era voltado para as novas
demandas cientficas tecnicamente treinadas para a indstria, o ensino de Matemtica no
obteve progresso e no houve uma iniciativa de modernizao por parte dos professores como
escreve Schubring:

Essa falta de iniciativa tanto mais notvel uma vez que uma associao de
professores, a Foerderverein fuer den mathematisch naturwissenschafi, tinha sido
fundada em 1891. Seu interesse principal era manter o status do ensino de cincias e
Matemtica nas escolas secundrias, mas nenhuma mudana no currculo foi
planejada (SCHUBRING, 1999, p. 41).

O problema da necessidade de mudanas na estrutura curricular do ensino da

Matemtica foi observado primeiro no ensino superior relacionado ao processo de transio
das escolas secundrias para superiores. Depois vieram as transformaes nos subsistemas das
escolas secundrias. O manche desta reforma no ensino da Matemtica foi Felix Klein.
O matemtico alemo Christian Felix Klein (1849-1925) foi assistente de Julius
Pluecker (1801-1868) o qual foi professor de Matemtica e Fsica na Universidade de Bonn.
Klein atuou como professor de Matemtica em diversas universidades e escolas tcnicas
superiores e desenvolveu pesquisas sobre Teorias dos Grupos, Teoria das Funes e
Geometria No Euclidiana.
Em 1888 Klein lanou a proposta de integrar as escolas tcnicas superiores s
universidades, objetivando estabelecer um programa matemtico na Alemanha que
valorizasse a geometria e as aplicaes. O fracasso desta sugesto o fez enxergar que uma
simples reorganizao do sistema de ensino restrita educao superior no surtiria em uma
reforma fundamental na Matemtica da forma como Klein ansiava. Pensando em outra
soluo, Klein comeou a trabalhar no aperfeioamento da formao de professores
procurando promover a instruo prtica e estabelecer o desenvolvimento da intuio
espacial, porm esta tarefa no acarretou em grandes resultados como esperado.
Klein, ento, atribui o problema s escolas tcnicas superiores. Estas escolas tiveram
que aceitar professores formados nas universidades, porque eles mesmos no tinham direitos
acadmicos, para estabelecer programas de ps-graduao ou programas de doutorado antes
de 1899. Esses professores, por sua vez tentavam desenvolver nas escolas tcnicas a mesma
Matemtica pura que estudaram nas universidades o que ocasionou em um enorme problema,
pois a Matemtica concretizada e atestada por eles no contemplava as necessidades de seus
alunos engenheiros, que acabavam por desistir da disciplina, fazendo eclodir a ideia que os

93

prprios engenheiros deveriam ministrar as aulas de Matemtica nos cursos de engenharia,

reduzindo assim o papel da Matemtica.
A soluo encontrada por Klein foi a tradicional. Em 1900, enviou sua nova proposta
ao ministro da instruo pblica da Prssia (atual Alemanha), que consistia em introduzir, nas
escolas como no Gymnasiun os contedos do ensino preparatrio para os cursos de
Matemtica (geometria analtica e os elementos do clculo diferencial e integral). Esta nova
proposta estabelecia a flexibilidade entre as trs escolas secundrias e os dois tipos de
educao superior (SCHUBRING, 1999, p. 30-31).
A resposta que Klein recebeu em 1902, foi para que ele treinasse um grupo de
professores que atuariam em escolas selecionadas implantando a nova grade curricular. Deste
modo, a reforma iniciou conquistando primeiramente os professores. Ento, Klein procurou
estimular os professores de Matemtica das escolas, o seu slogan foi a noo do raciocnio
funcional. Segundo Schubring o assessor de Klein:

Lietzmann observou que o sucesso do movimento de reforma dependia de se

encontrar uma idia fundamental que funcionasse como um ponto de convergncia e
que ao mesmo tempo levasse o clculo para o currculo do Gymnasium
automaticamente. Esse ponto bsico de convergncia foi o conceito de funo, que,
de acordo com o programa de Klein, j deveria ser introduzido nas classes iniciais.
(SCHUBRING, 1999, p. 44, grifo nosso).

Waltes Lietzmann (1880-1959), no doutorado foi orientado por Hilbert (1903), mas
sendo um educador dedicado e um autor prolfero de livros didticos foi convidado por Felix
Klein para ser seu secretrio nos assuntos acadmicos. Alguns dos relatrios temticos de
Klein foram elaborados por Lietzmann, por exemplo, o relacionado ao "rigor" na Matemtica,
devido aos seus estudos sobre os fundamentos da geometria, na Itlia.
Lietzmann elaborou em conjunto com Klein vrias reunies e congressos
internacionais, inclusive o IMUK (Internationale Mathematisque Unterrichtsommission/
CIEM Commission Internationale de lEnseignement Mathemtique).
Em 1905, Klein organizou na cidade de Meran (alemo) ou Merano (italiano) na poca
pertencente Alemanha, um congresso de matemticos internacional, na verdade este foi uma
preparao para a reforma da Educao Matemtica.
Na ocasio um dos principais assuntos debatidos foi sobre a noo de funo
matemtica, direcionada para a organizao de uma concepo mais ampla da noo de
funo, ou seja, trabalhar com grficos como queriam os engenheiros no s com frmulas e
entender que a funo tem outros aspectos alm dos aspectos algbricos.

94

As ideias de Klein foram bem aceitas, exceto que o conceito de funo compusesse
tambm as escolas humanistas.
O prximo Congresso Internacional de Matemtica, que ganhou destaque, ocorreu em
Roma, na Itlia, em 1908. Foi o quarto congresso de matemticos, porm neste ocorre a
formalizao do grupo IMUK, onde foi formada uma comisso para fortalecer a organizao
do ensino das matemticas (lEnseignement apud SCHUBRING, 1999, p. 35). Os trs
matemticos nomeados para compor esta comisso foram o alemo Felix Klein o mesmo foi
eleito o presidente, o suo Henri Fehr (1870-1954) e o ingls George Greenhill (1847-1927).
O IMUK atuou como um agente de mudanas no ensino de Matemtica.
Na sequncia em 1910 o IMUK aconteceu em Bruxelas na Blgica. Depois em Milo
na Itlia em 1911 e em Cambridge na Inglaterra em 1912.
Contudo, o auge do IMUK foi o congresso que ocorreu em Paris em 1914. O tema que
mais chamou a ateno foi a avaliao da introduo do clculo nas escolas secundrias
(SCHUBRING, 1999, p. 45). O segundo tema que ganhou destaque foi a preparao
matemtica dos engenheiros, que de acordo com o relatrio do assistente de Klein,
Lietzmann, os resultados foram satisfatrios, pois os engenheiros aceitaram serem ensinados
por matemticos (SCHUBRING, 1999, p. 45).
O IMUK props-se a discutir sobre oito estudos comparativos:
1. A fuso dos diferentes ramos da Matemtica no ensino das escolas (Mila, 1911);
2. O rigor no ensino de Matemtica nas escolas mdias (Milo, 1911);
3. O ensino terico e prtico de Matemtica destinado aos estudantes de cincias fsicas
e naturais (Milo, 1911);
4. A preparao matemtica dos fsicos na universidade (Cambridge, 1912);
5. A intuio e a experincia no ensino de Matemtica nas escolas mdias (Cambridge,
1912);
6. Os resultados obtidos na introduo do Clculo Diferencial e Integral nas classes mais
adiantadas dos engenheiros nos diferentes pases (Paris, 1914);
7. A preparao matemtica dos engenheiros nos diferentes pases (Paris, 1914);
8. A formao dos professores de Matemtica para os estabelecimentos secundrios.
(SCHUBRING, 1999, p. 45).

A maior parte dos temas propostos trata da mudana do ensino secundrio para o
superior, do mesmo modo como Felix Klein trabalhou na reforma da Educao Matemtica
na Alemanha.
Aps a morte de Klein, em 1925, Lietzmann passou a presidir a subcomisso alem.
Mas o papel de Heinrich Behnke (1898-1979) foi decisivo, pois ele, diferentemente de
Lietzmann, foi um Anti-Nazista e um amigo ntimo de Henri Cartan (1904-2008) a

95

eminncia parda da Matemtica em Paris. Isso o ajudou a reintegrar a matemtica alem na

comunidade internacional e, em seguida, a didtica da Matemtica.
A dissoluo do IMUK, associada primeira Guerra Mundial, ps fim as suas aes
internacionais. Quando eles retomaram s suas atividades em 1928, Lietzmann foi eleito
membro do Comit Central, e em 1932, vice-presidente da IMUK. Em 1936, participou da
ICM (International Congress of Mathematicians) em Oslo, Noruega, no apenas como chefe
da delegao alem, mas tambm foi re-eleito como vice-presidente. Embora houvesse
poucos IMUK em atividades de 1928 em diante, e menos ainda depois de 1932, j em 1936
existia apenas um corpo nominal.
Em 1952 ocorreu o restabelecimento da IMUK como ICMI (International Commission
on Mathematical Instruction) e a reconstituio da subcomisso alem. Behnke foi eleito
como presidente.
Klein conseguiu cumprir a parte do acordo que lhe foi incumbido, o ministrio da
Prssia apoiou seu movimento e vrias instituies aderiram o conceito de funo em sua
grade curricular.
Felix Klein trabalhou, no incio do sculo XIX, intensamente para que ocorressem
reformas no ensino de Matemtica. Seus projetos ganharam fora e atingiram a Educao
Matemtica a nvel internacional. Graas Klein, aos poucos, o Clculo ganhou espao no
ensino superior.

3.7

DURKHEIM (1858-1917): O PROBLEMA DO CONHECIMENTO CIENTFICO SE

TORNA A LUPA CENTRAL DO CONHECIMENTO

Assim como ocorreu mudanas na educao da Alemanha, com Humboldt e

especialmente na Educao Matemtica com Klein. Na Frana tambm ocorreram muitas
transformaes. A educao se expandiu por toda a Frana, oferecendo educao as classes
menos favorecidas. O auge da crena no consenso social se encontra no pensamento do
socilogo francs mile Durkheim considerado um dos pais da sociologia moderna.
Durkheim acreditava que a sociedade era a materializao de uma conscincia coletiva.
No ensino pblico e laico Durkheim no desenvolveu mtodos pedaggicos, mas suas
ideias ajudaram a compreender o significado social do trabalho do professor, tirando a

96

educao escolar da perspectiva individualista. Neste sentido um importante trabalho de

Durkheim Lvolution Pdogogique em France, escrita em 1938.
At 1789 o ensino na Frana estava sob a tutela da igreja, o foco principal era o estudo
das escrituras, na verdade era uma busca sobre o homem e o mundo. O ensino estava focado
nas cincias humanas e para todos era necessrio estudar o latim e o grego.
Logo aps, a escola torna-se responsabilidade do Estado, onde surge o projeto
Condorcet em 1792. A Revoluo, em 1789, deu origem a todos os tipos de instituies
educativas. Onde o objetivo era a difuso da educao em todas as classes da sociedade.
Para Durkheim (1995, p. 151-152) at o sculo XIX o homem era o centro do ensino,
desde a poca do ensino primitivo at o renascimento onde o ensino era marcado pelos traos
essenciais do esprito nacional, ou seja, a escola de esprito clssico. Na viso de Durkheim,
apenas no sculo XIX a educao toma outro rumo.

Vimos no ltimo captulo como a pedagogia revolucionria opunha-se,

atravs de caracteres claramente marcados, quela que a antecedera. Desde os
primrdios da nossa histria escolar, desde a poca carolngia, o nico objetivo do
ensino fora o homem, considerando ora sob seu simples aspecto lgico, ora, com as
humanidades, na integridade de sua natureza, e da que veio o formalismo do qual
a pedagogia no conseguia libertar-se. Jamais, eu acredito, o pensamento humano
levou to longe o antropocentrismo. A pedagogia revolucionria norteia-se por um
sentido totalmente diferente; para fora, para a natureza que se orienta. As cincias
que tendem a tornar-se o centro da gravidade do ensino (DURKHEIM, 1995, p.
151).

Para Durkheim o foco do ensino deixa de ser o homem e passa a ser a cincia, a partir
desta libertao a cincia, em geral, avana, mas este avano no ocorre de forma harmoniosa,
contudo segue como Boutroux diz

As teorias parecem mal delimitadas e proporcionadas, se cruzam e

sobrepem-se umas sobre as outras, so introduzidas de uma maneira abrupta sem
razes aparentes, depois so abandonadas e depois novamente retomadas sem que se
saibam os princpios que presidem a sua formao e a sua conexo (BOUTROUX,
1920, p. 189-190).

Assim como Boutroux acreditava que j no existia uma harmonia pr-estabelecida na

Matemtica. Na sociologia Durkheim, enfatizava que um conceito no pode ser apenas
particular, mas geral, ele escreveu em seu livro As formas elementares da vida religiosa:

Se, como acontece geralmente, no se v no conceito seno uma idia geral,

o problema parece insolvel (...). O geral s existe no particular; o particular
simplificado e empobrecido. O primeiro no poderia, portanto, ter virtudes e
privilgios que o segundo no tem (DURKHEIM, 2008, p. 510).

97

A perspectiva da sociologia de Durkheim conseguiu jogar luz em uma questo que

havia perturbado muitos filsofos desde Kant at os positivistas modernos. A grande questo
foi: como seria possvel fazer progresso atravs de um pensamento positivamente conceitual?
Ou seja, como a Matemtica podia ser analtica e mesmo assim produzir novos conceitos?
Para Durkheim (2008, p. 478-481), um conceito no poderia ser definido dentro de
uma harmonia pr-estabelecida, pois um conceito uma representao impessoal, ou seja,
uma representao coletiva no produto de uma s pessoa, mas de uma sociedade. Por isso,
pensar conceitualmente no simplesmente isolar e agrupar caractersticas comuns a
determinado nmero de objetos, como em um processo sinttico, mas subsumir o varivel
sob o permanente, o individual sob o social.

98

CAPTULO IV
A HISTRIA DA ANLISE NO SCULO XIX COMO HISTRIA DO
DESENVOLVIMENTO DA NOO DE FUNO MATEMTICA

4.1 OS VRIOS SIGNIFICADOS DO TERMO FUNO NOS DIAS ATUAIS

Para que a noo de funo matemtica chegasse ao conceito apresentado pelas atuais
instituies de ensino, percorreu-se uma longa jornada por meio dos sculos. (...) a
compreenso dessa ideia e, consequentemente, sua generalizao foram gradativas at atingir
seu atual significado (PALARO, 2006, p. 109).
Contudo o conceito de funo no parece ser mais um conceito especfico da
Matemtica. Otte (1993, p. 227, 228), escreve:

Inicialmente: o que uma funo? Quando se deseja conhecer alguma coisa,

no caso o conceito matemtico funo, torna-se evidente que o esclarecimento
desejado depende dos fundamentos de que se dispe para a explicao. Na
Matemtica de hoje, entende-se intuitivamente por funo qualquer tipo de
correspondncia entre duas classes exatamente um elemento da outra. Com a
linguagem da teoria dos conjuntos isto precisado ao se definir uma funo como
uma relao xRy unvoca direita (unicidade direita significa que xRy1 e xRy2
implicam a identidade y1=y2), ou seja, como o correspondente subconjunto dos pares
(x, y), pertencentes ao produto cartesiano AXB (isto , xCEA e yCEB). Porm,
como foi dito, isto apenas uma entre as possveis formas de explicao, aquela que
reduz o conceito de funo ao de conjunto. No sentido de uma tal reduo aos
conceitos da teoria dos conjuntos, o conceito de funo no parece ser mais, hoje em
dia, um conceito central da Matemtica. Nos lxicos modernos [...] o termo funo
no surge mais com um ttulo independente. O termo funo foi e ainda pode ser
entendido de diversas maneiras, dependendo do domnio ao qual o conceito tenha
sido aplicado, observa-se o termo funo na filosofia durante algumas dcadas.

Abbagnano (2000) descreve que h duas significaes fundamentais para o termo

funo, que se classificam em operao e relao.
Para o primeiro significado, a operao, tem-se a palavra grega ergon a qual foi
empregada por Plato que disse: a funo dos olhos ver, a funo dos ouvidos ouvir, que
cada virtude uma funo de determinada parte da alma e que a funo da alma, em seu
conjunto, comandar e dirigir (PLATO apud ABBAGNANO, 2000, p. 472). Neste mbito

99

a funo a operao prpria da coisa, trazendo o sentido de ser aquilo que a coisa faz melhor
em comparao a outras coisas.
Aristteles pensa em funo da mesma maneira que Plato, quando em tica e
Nicmaco, questiona qual a funo ou operao prpria do homem como ser racional.
Aristteles ainda escreve a funo o fim, e o ato a funo (ARISTTELES apud
ABBAGNANO, 2000, p. 472), ou seja, para o filsofo o termo funo tambm tem um
carter finalista e realizador.
A palavra funo usada frequentemente, com significado comum e cientfico. Em
um sentido geral, possui papel e determinadas caractersticas desempenhadas por um rgo
que envolve um conjunto cujas partes so interdependentes. Podendo ser este conjunto
mecnico, filosfico, psquico ou social (LALANDE, 1999, p. 432).
Especificamente o termo funo pode ser notado principalmente na filosofia, biologia,
psicologia e na sociologia.
A relao funcional est explcita desde a poca em que o homem foi levado pela
necessidade de contar, onde se utilizava a associao de uma pedra a um animal, procurando
assim, ter controle sob seu rebanho. Os babilnicos construram tabelas em argilas, onde eles
realizavam uma multiplicao do nmero da primeira coluna por uma constante, cujo,
resultado era escrito na segunda coluna. Igualmente os egpcios, porm, normalmente suas
tabelas eram escritas em papiros. Enquanto dos gregos tem-se a participao de Ptolomeu que
mesmo sem mencionar a palavra funo, desenvolveu ferramentas matemticas e utilizou
tabelas envolvendo a funo da corda do arco x, ou crd x (BOYER, 1968, p. 112).
No sculo XIV o conceito de funo matemtica era relacionado ideia de
dependncia funcional, como Mora, escreve:
(...) sabe-se, com efeito, que h na natureza dependncias tais que a mudana de uma
magnitude condicionada pela mudana de outra magnitude de que a uma maior
fora correspondente um maior efeito, que no movimento local o caminho
percorrido aumenta com o tempo, que o equilbrio depende da magnitude (2001, p.
1157).

Neste mesmo sculo o termo funo relacionado a retas, sistemas de coordenadas e

curvas, ainda no era bem conhecido do modo como apresentado nos dias atuais. Na
Antiguidade, o estudo dos diferentes casos de dependncia entre duas coisas no
proporcionou as noes gerais de quantidade variveis e de funes, pois as relaes de
dependncia se basearam nas ideias de causa e efeito (PALARO, 2006, p. 111).

100

Nas cincias empricas modernas a funo apresentada totalmente em termos

descritivos, sem se perguntar sobre as bases objetivas dessas relaes. Agora, ser que se pode
afirmar que existe realmente uma relao de tudo com tudo? possvel ver arbitrariamente
uma semelhana ou analogia em tudo?

A cincia no tem por objeto conceitos, mas funes que se apresentam

como proposies nos sistemas discursivos. Os elementos das funes se
chamam functivos. Uma noo cientfica determinada no por conceitos, mas
por funes ou proposies. uma idia muito variada, muito complexa, como se
pode ver j no uso que dela fazem respectivamente a Matemtica e a Biologia;
porm, essa idia de funo que permite s cincias refletir e comunicar. A
cincia no tem nenhuma necessidade da filosofia para essas tarefas. Em
contrapartida, quando um objeto cientificamente construdo por funes, por
exemplo um espao geomtrico, resta buscar seu conceito filosfico que no
de maneira alguma dado na funo (DELEUZE e GUATTARI, 1992, p. 153).

Deleuze e Guattari querem distinguir a filosofia das cincias e da Matemtica por

meio desses dois lados da funo: ideia (conceito) e conjunto (relao concebida em termos
descritivos).
O conceito de funo encontra-se em vrias reas do conhecimento. Contudo, na
Matemtica, este conceito ainda muito complexo.

4.2 HISTRIA DA FUNO DE LEIBNIZ AT EULER: O PERODO DA DICOTOMIA

No sculo XVII, o conceito de funo apresenta considervel avano por meio de

Descartes (1596-1650) e Fermat (1601-1665). Na mesma poca, iniciaram-se os estudos sobre
o mtodo analtico para introduzir relaes, trabalhando com as equaes indeterminadas
(vrias solues) envolvendo variveis contnuas. Essa noo de varivel foi fundamental
para o desenvolvimento do clculo (COSTA, 2004, p. 22).
A histria da Matemtica, conforme Otte, de Descartes Comte (1798-1857),
descrita:
Pela universalizao da comparao, sobretudo com a ajuda do conceito
matemtico de funo. O que existe de especial no conceito de funo que ele
pode ser ao mesmo tempo concebido como objeto e como operador, e que da em
diante, de acordo com a interpretao, surgem diferentes formas de encadeamento
(1993, p. 274).

101

Na metade do sculo XVIII do-se os prolegmenos para o incio da ruptura na

Matemtica mencionada por Boutroux que ocorreria no prximo sculo. Neste tempo surgem
Newton (1642-1727) e Leibniz (1646-1716), que so considerados como os grandes
expositores do Clculo Diferencial e Integral. Segundo Pelho:

Newton quem estabeleceu pela primeira vez o termo especfico para funo, ao
utilizar o nome de fluentes para representar algum relacionamento entre variveis.
Ele descrever suas idias de funo ligadas noo de curvas e a taxas de mudana
de quantidades que variam continuamente (2003, p. 20).

Enquanto Leibniz, o homem que por vezes considerado como o ltimo sbio que
possuiu o conhecimento universal no responsvel pela moderna notao para funo, mas
a ele que se deve a palavra funo, praticamente no mesmo sentido em que usada hoje
(BOYER, 1968, p. 280).
Contudo, para esses dois matemticos a principal finalidade era estudar curvas
geomtricas, ou seja, os problemas que deram origem ao clculo eram geomtricos e
cinemticos, eles no visavam exatamente s funes matemticas no conceito moderno.
Apesar da gnese do conceito de funo ser anterior a Leibniz e seus
contemporneos (...) o termo funo foi usado pela primeira vez por Leibniz, em
manuscritos datados de 1673 e, em particular, no La mthodo inverse des tangentes
ou au sujet des fonctions (O mtodo inverso das tangentes ou sobre as funes), para
designar quantidades geomtricas variveis relacionadas a uma curva como, por
exemplo, coordenadas, tangentes, subtangentes, raios de curvatura, etc. (DAHANDALMEDICO; PEIFFER apud PALARO, 2006, p. 110).

Boutroux, explica que a noo central da cincia de Descartes e Leibniz era o signo ou
o smbolo, onde a lgebra e a anlise algbrica eram uma arte simblica, principalmente por
este motivo que atualmente a notao do Clculo de Leibniz mais utilizada do que a de
Newton, pois a simbolizao torna mais importante. Analisando por este prisma, tanto a
matemtica de Descartes e Leibniz do sculo XVII e XVIII quanto de Euler e Lagrange
(1736-1813) so baseadas na combinao de signos, ou seja, uma matemtica sinttica,
enquanto a matemtica pura dos sculos XIX e XX como a de Cauchy uma cincia de
conceitos, ou melhor, uma matemtica analtica.
Mas quem foi Euler e quais as suas contribuies para o desenvolvimento do conceito
de funo?
Leonhard Euler (1707-1783) nasceu na Sua e em vida publicou cerca de 530
trabalhos entre artigos e livros. Otte afirma que Euler foi o maior matemtico do sculo
XVIII, uma personalidade como cientista que se sobressai na histria da cincia pela

102

variedade e quantidade de sua produo cientfica (OTTE, 1993, p. 228). Euler foi o
construtor das notaes mais bem sucedidas de todos os tempos, entre estas se encontra uma
importante notao, que a f(x) usada para uma funo de x (BOYER, 1968 p. 305).
Para as exigncias da Matemtica do sculo XIX Euler no pensava em funo de um
modo formal, mas na verdade confundiu a funo com suas representaes, sejam essas
representaes uma curva traada mo livre sobre um plano ou qualquer expresso
analtica formada daquela quantidade varivel e de nmeros ou quantidades constantes
(BOYER, 1968, p. 306).
Este matemtico escreveu um trabalho intitulado Introduction in Analysin Infinitorum
(Introduo Anlise Infinitesimal) em 1748; que nos dias atuais define a estrutura inicial da
Matemtica nas universidades. Nesta obra Euler chamou de quantidades constantes as iniciais
do alfabeto a, b, c, etc. E de quantidades variveis as ltimas letras do alfabeto z, y, x etc.
(EULER, 1980).
Na referida obra Euler explica a diferena entre funo contnua e funo descontnua
segundo a sua viso, que logicamente, era baseada nos signos e na combinao de signos e em
frmulas relacionadas Matemtica de sua poca. Para ele, uma funo contnua quando
formada por uma nica expresso analtica. Enquanto as funes formadas por mais de uma
expresso analtica, mesmo que o grfico fosse formado por apenas uma curva, eram
consideradas como funes descontnuas (PALARO, 2006, p. 115).
Na verdade no existia uma definio geral para o conceito de funo, havia vrios
tipos de funes, como funes trigonomtricas, funes transcendentais, funes lineares
etc., que eram estudadas e definidas separadamente, sendo que algumas funes poderiam ser
classificadas como funes contnuas. O conceito geral de funo como relao entre
conjuntos surgiram apenas no sculo XIX. Para tanto, foi necessrio uma definio mais clara
e correta do conceito de continuidade.

4.3 A TRANSFORMAO DE IDEIA DA FUNO DURANTE O SCULO XIX

No incio do sculo XIX floresce um novo movimento com um conhecimento

composto por novos objetos trazidos para o pensamento, onde a partir desses objetos eram
gerados novos conhecimentos. O conceito de funo foi uma pea fundamental para que todas
essas ideias aflussem. Otte afirma que este conceito representa o verdadeiro ncleo da

103

famosa revoluo do rigor, introduzida em 1821 pelo Cours dAnalyse, de Cauchy. Tentavase reduzir o conceito de funo ao discreto, aritmtica dos nmeros naturais, e assim
eliminar a continuidade (OTTE, 1993, p. 223).
Este sculo conhecido como o sculo do rigor matemtico. Para represent-lo Boyer
o destaca como: o perodo do rigor na Matemtica (1968, p. 358) o autor ainda escreve:

Mais do que qualquer outro perodo, o sculo dezenove merece ser

considerado a Idade de Ouro na Matemtica. Seu crescimento durante estes cem
anos de longe maior que a soma total da produtividade em todas as pocas
precedentes. O sculo foi tambm, excetuado talvez a Idade Herica na Grcia
antiga, o mais revolucionrio na histria da Matemtica (BOYER, 1968, p. 343).

Ocorreu um desligamento entre o conceito de funo e as modalidades concretas e isto

traz hoje certas dificuldades cognitivas.
Essa transformao pode ser observada por meio da dificuldade que se apresentou no
desenvolvimento do conceito de funo contnua, principalmente pela forma como Euler o
definiu, pois o conceito de funo contnua a pea fundamental para se entender o
desenvolvimento da Matemtica e as suas principais mudanas no sculo XIX.
De acordo com Otte (1993) a identificao entre conceito e smbolo a qual fazia a
forma de representao simblica da funo uma caracterstica fundamental da continuidade,
trouxe grandes dificuldades e imprecises, pois a mesma funo poderia ser caracterizada
como uma funo contnua e tambm por representaes descontnuas. Cauchy preocupado
com este problema, concebeu o conceito de funo contnua, utilizada at os dias atuais.
Para o matemtico Pierre Boutroux um dos mais importantes conceitos da anlise
moderna o conceito de funo matemtica (BOUTROUX, 1920, p. 164, traduo nossa). O
autor complementa:

Na prpria anlise: temos antes todo o trabalho da concepo de

funo y(x), isto dizer, uma intuio da lei matemtica aps a qual, quando
escolhemos um valor arbitrrio de x, encontra-se certo valor de y para o
mesmo desgnio, s depois esforamo-nos para obter equaes que
exprimam o menor mal possvel desta estranha relao das duas variveis x e
y (BOUTROUX, 1920, p. 206, traduo nossa).

Segundo Boutroux o mais difcil para entender era exatamente o fato que entre dois
termos variando simultaneamente existe uma relao constante. A dificuldade sempre
distinguir entre representao, fato ou objeto representado.

104

Para os matemticos mais fcil aceitar o conceito de funo contnua, entretanto, no

ensino esses problemas permanecem, pois o professor seduzido a ensinar por meio de
exemplos, porm um exemplo s pode ser usado base de uma representao, por isso, nos
dias atuais tem sido difcil concordar com esta concepo abstrata do conceito de funo, que
transforma logo de incio o prprio conceito num objeto completamente desconhecido.
Como afirmou Boutroux: a correspondncia matemtica no uma consequncia das
operaes algbricas, mas o prprio objeto que as determinam (BOUTROUX, 1920, p.
206, traduo nossa). Ou seja, existe uma relao objetiva, que no deveria ser confundida
com uma representao, mas que mesmo assim pode ser introduzida na atividade matemtica
atravs de uma representao particular
Como j foi mencionado, em 1920 Boutroux escreveu o livro O ideal Cientfico dos
Matemticos, neste trabalho o autor defende a tese de que houve no apenas uma revoluo,
mas tambm uma ruptura na Histria da Matemtica ocorrida no final do sculo XVIII, que
apresentou como base dois eventos. No primeiro evento, a Matemtica deixa de ser uma
cincia sinttica e torna-se uma cincia analtica, no segundo, houve uma quebra da harmonia
entre os meios e os objetos da Matemtica.
Segundo a viso de Boutroux, a Matemtica nos sculos XVII e XVIII era
propriamente sinttica, os matemticos se preocupavam com o caminho para se chegar aos
resultados e se interessavam pela maneira ou pelo mtodo.
Enquanto que a concepo analtica da Matemtica nos sculos XIX e XX no est
preocupada com o caminho, a tarefa ou a demonstrao, mas com o prprio objeto. Boutroux
deixou bem claro isto quando afirmou:

O que costumava ser mais interessante, era a demonstrao, que foi os

processos e o sucesso dos clculos; os resultados e as combinaes obtidas podendo
evidentemente divergir em todos os sentidos e ser multiplicado ao infinito, no se
tinha lugar para atar um grande valor a sua enumerao; a unidade que perseguia a
cincia no podia ser uma unidade de mtodo. Atualmente, ao contrrio, isto que
conta o resultado que d ao trabalho sua unidade; os artifcios da demonstrao so
apenas trabalhos de arte sem os quais, ns que no sabemos voar, estaramos fora do
estado de superar as dificuldades e os acidentes do terreno que se encontram sobre
nosso caminho [...]. As verdades matemticas so fatos objetivos, independente de
ns e que descobrimos e analisamos, de certa maneira, exteriormente [...].
Inclinamo-nos, por outro lado, a ver na demonstrao o instrumento e no o fim da
cincia (BOUTROUX, 1920, p. 211-212, traduo nossa).

Boutroux ainda exemplifica esta mudana quando relata sobre a teoria das equaes
algbricas de grau n: anxn + an-1xn-1 +...+ ax + a0 = 0, onde a resoluo de equao de grau
superior quatro no tinha soluo, at que Abel concluiu ser impossvel representar as razes

105

da equao geral de quinto grau, em termos de radicais. Mas, foi graas ao trabalho de Galois
que a teoria das equaes repercutiria em novas direes.
Para Galois foi suficiente transmitir este impulso de modificar o enunciado do
problema posto, e atacar de lado a dificuldade que ele no podia abordar de frente
(BOUTROUX, 1920, p. 186, traduo nossa); desta forma, Galois no buscou uma expresso
algbrica, contudo, procurou isolar certas famlias ou classes de equaes tais que as razes
das equaes de uma mesma classe se exprimem por meio de frmulas algbricas em funo
umas das outras, assim todas as equaes de uma classe seriam resolvidas ao mesmo tempo.
O objetivo do matemtico da modernidade : compor, a partir de elementos simples,
a unio cada vez mais complexa e construir a partir das peas, sua prpria indstria, o edifcio
da cincia, esta parecia ser a tarefa do matemtico da em diante (BOUTROUX, 1920, p.
182, traduo nossa), onde os objetos da Matemtica se tornaram o prprio conceito. As
maiores evidncias, sobre este assunto, podem ser constadas no trabalho de Cauchy.
Augustin-Louis Cauchy (1789-1857), considerado um grande matemtico da dcada
de 1820-30, estudou na cole Polytechnique e na cola des Ponts et Chausses, formou-se em
Engenharia Civil. Cauchy seguiu a tradio de Lagrange se interessando por provas rigorosas
e pela matemtica pura em forma elegante (BOYER, 1968, p. 353). Cauchy desenvolveu
estudos sobre o conceito de funo, contudo a chave mestre para o desenvolvimento deste
conceito foi ainda a elaborao do conceito de funo contnua.
Cauchy foi conhecido como um dos matemticos do sculo XIX que buscavam o
rigor. Ele escreveu na introduo do seu Cours dAnalyse de Lcole Royale Polytechnique:
Quanto aos mtodos eu procurei lhes dar todo o rigor que se exige na geometria, de maneira
a jamais recorrer a argumentos deduzidos da generalidade da lgebra (CAUCHY, 1899, p. ij,
traduo nossa). Cauchy destaca-se como o matemtico que forneceu uma definio
satisfatria para o conceito de funo contnua, ele definiu funo da seguinte forma:

Quando quantidades variveis esto ligadas entre si, de tal modo que, sendo
fornecido o valor de uma delas, pode-se obter os valores de todas as outras, concebese normalmente estas diversas quantidades expressas por meio de uma dentre elas,
que recebe, ento, o nome de varivel independente; e as outras quantidades,
expressas por meio da varivel independente, so as que se chamam de funes
desta varivel (CAUCHY, 1899, p. 31, traduo nossa).

Aps definir funo, Cauchy expe uma definio para o conceito de limite e
infinitsimos, somente depois apresenta uma definio coerente para continuidade de uma
funo. O prprio Cauchy relata: Falando da continuidade das funes, eu no pude deixar

106

de apresentar as propriedades principais das quantidades infinitamente pequenas,

propriedades que servem de base ao clculo infinitesimal (CAUCHY, 1899, p. ij, traduo
nossa). Cauchy apresenta a definio de continuidade como segue:
Seja f(x) uma funo da varivel x, e suponhamos que, para cada valor de x
intermedirio entre dois limites dados, esta funo admita constantemente um valor
nico e finito. Se, partindo de um valor x compreendido entre estes limites, atribuise varivel x um acrscimo infinitamente pequeno , a prpria funo receber por
acrscimo a diferena f(x+)-f(x), que depender, ao mesmo tempo, da nova
varivel e do valor de x. Isto posto, a funo f(x) ser, entre os dois limites
atribudos varivel x, funo contnua desta varivel, se, para cada valor de x
intermedirio entre limites, o valor numrico da diferena f(x+)-f(x), decresce
indefinidamente com aquele de . Em outros termos, a funo f(x) permanecer
contnua em relao a x entre os limites dados, se entre estes limites, um acrscimo
infinitamente pequeno dado, a varivel produzir sempre um acrscimo infinitamente
pequeno da prpria funo. Diz-se ainda que a funo f(x) , na vizinhana de um
valor particular atribudo varivel x, funo contnua dessa varivel, todas as vezes
que ela contnua entre dois limites de x, mesmo muito prximos, que contm o
valor do qual se trata (CAUCHY, 1899, p. 43, traduo nossa).

Cauchy destaca que: Segundo a definio de Euler [...] uma simples mudana de
notao ser suficiente, para transformar uma funo contnua em descontnua e vice versa
[...]. Assim, a caracterstica da continuidade de funes proposta sobre o ponto de vista ao
qual, os gemetras abordaram, uma caracterstica vaga e indeterminada (CAUCHY, 1844,
p. 116-117, traduo nossa). Neste texto, Cauchy parece mostrar ter total clareza de que o
modo como Euler definia funo contnua era incoerente (PALARO, 2006, p. 122).
Um perfeito exemplo da distino de ideias a respeito da continuidade de funo entre
Euler e Cauchy apresentado por Belhoste:

A funo f definida em

por

para

para
descontnua no sentido de Euler, porque ela
definida por vrias expresses analticas diferentes sobre
, mas ela
contnua no sentido de Cauchy (1985, p. 62, traduo nossa).

Cauchy no se satisfaz com o conceito de funo de Euler baseado em smbolos, ele

pensa em funo contnua a base do prprio conceito de contnuo, para tanto, ele escreveu
uma definio para funo contnua, totalmente por meio de conceitos.
O conceito de funo pode se dividir historicamente em duas concepes. A primeira
est associada ao perodo que antecede o sculo XVII, este fundamento desponta do conceito
de operao aritmtica-algbrica, do conceito de algoritmo e das concepes gerais de

107

mquina, o mesmo est intimamente relacionado ao conceito de funcionalismo, que era

vinculada ao conceito de funo das modalidades concretas.
No instante em que o homem no consegue mais controlar de um modo puro e
intuitivo, seus prprios rudimentos e seus mtodos de trabalho, ento, preciso que estas
necessidades sejam entendidas e analisadas como realidades objetivas e regularmente
estruturadas. E foram por meio dessas dificuldades para se construir uma relao mtua entre
o estrutural e o funcional, que o desenvolvimento histrico do conceito de funo se
caracterizou (OTTE, 1993).
A segunda concepo caracteriza a funo apenas como uma lei de dependncia entre
uma grandeza varivel e outra qualquer, utilizada para as alteraes de estado e de natureza
das coisas reais no tempo. Considerava-se a funo exclusivamente como uma
correspondncia entre valores do domnio e da imagem, procurava-se um nmero ou uma
grandeza desconhecida.
Em meados do sculo XIX, despertou-se um novo olhar para o conceito de funo
matemtica, associado a uma concepo abstrata e ao princpio de continuidade que consistia
em ver uma funo como um objeto nico e unitrio.
Comearam a surgir diferentes maneiras para se definir o conceito de funo,
Lobatschewskj (1793-1856), em 1834, escreveu:
A definio geral exige que uma funo de x seja um nmero para cada x
dado, e que varie progressivamente com x. O valor de uma funo pode ser dado por
uma expresso analtica, ou por uma condio que fornea um meio de verificar
todos os nmeros e escolher um entre eles; finalmente, pode existir a dependncia,
mas permanecendo, todavia desconhecida (YOUCHKEVITCH apud OTTE, 1993,
p. 231).

Suas palavras evidenciam esta pluralidade pela qual uma correspondncia funcional
poderia ser apresentada, e ainda representam a indispensabilidade para se estabelecer a
ligao entre o conceito de funo e a sua representao simblica ou descrio estrutural.
Existia a necessidade de olhar para funo no s como uma correspondncia de valores, e em
1870 Hermann Hankel (1839-1873), escreveu:
Esta definio puramente nominal, que a seguir chamarei de definio
Dirichlet, [...] no suficiente para as necessidades da anlise, pois funes desse
tipo no possuem propriedades gerais, e assim so suprimidas todas as relaes de
valores funcionais para diferentes valores do argumento (apud OTTE, 1993, p. 232).

108

Esta concepo abstrata apresentada como princpio da continuidade, possibilitou a

interao entre a funo como operao ou regra e a funo como uma regra preexistente.
Logo a formao da nova concepo de funo agregada ao princpio da continuidade. Estes
conceitos se unem formando um crculo, uma cadeia fechada onde ambos se completam. Para
Otte (1993, p. 232), isto surge como uma circularidade que revela que significados
conceituais so processos que se desdobram na atividade epistemolgica [...] indicado no
conceito de complementaridade.

4.4 A TEORIA DA INTEGRAO DE CAUCHY E RIEMANN LEBESGUE

No sculo XVIII a integrao era considerada como a operao inversa da

diferenciao, Cauchy, no entanto, introduz o seu estudo sobre a teoria da integrao
desassociando-a do Clculo Diferencial, para isto, ele utiliza a ideia de soma, como segue:

Suponhamos que a funo

sendo contnua com relao varivel
entre dois limites finitos
e
, designa-se por
novos
valores de x interpolados entre esses limites e que vo sempre crescendo ou
decrescendo do primeiro limite at o segundo. Podemos nos servir desses valores
para dividir a diferena
em elementos

(1)

que sero todos de mesmo sinal. Isto posto, concebemos que se multiplique cada
elemento pelo valor de
correspondente origem desse mesmo elemento, ou
seja, multiplicamos o elemento
por
, o elemento
por
e , finalmente, o elemento
por
; e seja

(2)

a soma dos produtos assim obtidos. A quantidade S depender evidentemente 1 do

nmero n de elementos nos quais se dividir a diferena
; 2 dos prprios
valores desses elementos e, portanto, do modo da diviso adotado. Contudo,
importante observar que, se os valores numricos dos elementos tornaram-se muito
pequenos e o nmero n muito grande, o modo da diviso ter sobre o valor de S
apenas uma influncia insensvel. , efetivamente, isso que podemos demonstrar
como segue:
Se admitssemos todos os elementos da diferena
reduzidos a um
nico, que seria essa prpria diferena, teramos simplesmente

(3)

109

Quando, ao contrrio, consideramos as expresses (1) como elementos da

diferena
, o valor de S, determinado nesses casos pela equao (2), igual
soma dos elementos multiplicada por uma mdia entre os coeficientes

[...]. Alis, estes coeficientes sendo valores particulares da expresso

que corresponde aos valores de compreendidos entre zero e a unidade, provamos,

por raciocnio semelhante aos que usamos na stima lio, que a mdia da qual se
trata um outro valor da mesma expresso, correspondente a um valor de
compreendido entre os mesmos limites. Poderemos, portanto, substituir a equao
(2) pela seguinte

(4)

Na qual

ser um nmero inferior unidade.

[...]. Portanto, quando os elementos da diferena

tornam-se infinitamente
pequenos, o modo da diviso no ter mais que uma influncia insensvel sobre o
valor de S; e se diminuir indevidamente os valores numricos desses elementos,
aumentando seu nmero, o valor de S terminar sendo sensivelmente constante ou,
em outros termos, ele alcanar um certo limite que depender unicamente da forma
da funo por
e dos valores extremos
e atribudos a varivel . Este o
que chamamos uma integral definida. (CAUCHY apud PALARO, 2003, p. 124126).

Desta forma Cauchy define a integral em termos de limite de somas. Cauchy mostra
que a derivada no existe num ponto em que a funo descontnua, mas a integral pode
existir, pois admite que mesmo, as curvas sendo descontnuas elas podem fornecer uma rea
bem definida (BOYER, 1968, p. 356).
No sculo XIX a integral exigia uma definio mais cuidadosa que a de Cauchy, que
fora conduzida em grande parte pelo sentimento geomtrico sobre a rea sob uma curva
(BOYER, 1968, p. 388). Neste tempo, Riemann traz a definio conhecida como integral de
Riemann. Por isso Boyer escreveu sobre este ele: honrando homem que deu condies
necessrias e suficientes para que uma funo limitada seja integral (1968, p. 388).
Georg Friedrich Bernhard Riemann (1826-1866), filho de um pastor de aldeia,
educado em condies modestas, um homem tmido de modos e fisicamente frgil, estudou
durante alguns semestres em Berlim, onde foi influenciado por Dirichlet e Jacobi obtendo um
excelente preparo matemtico. Tambm estudou em Gttingen, onde obteve seu doutorado

110

com a tese sobre teoria das funes de varivel complexa e onde Riemann adquire um bom
preparo em fsica com Wilhelm Weber, do qual ele foi assistente. Em 1854, tornou-se
Privatdozent (um ttulo universitrio prprio das universidades de lingua alem na Europa) na
Universidade de Gttingen. Quando Dirichlet faleceu em 1859, Riemann assumiu o seu lugar
em Berlim (BOYER, 1968, p. 383-384).
Sua pesquisa e carreira se dividem entre Matemtica a Fsica. Era um matemtico de
interesses mltiplos e mente frtil, ofereceu importantes contribuies na rea da geometria,
teoria dos nmeros e anlise. Em anlise lembrado por seu papel no refinamento da
definio de integral, pela nfase que deu s equaes de Cauchy-Riemann, e pelas
superfcies de Riemann (BOYER, 1968, p. 384).
Na tentativa de liberalizar as condies de Dirichlet para a convergncia da srie de
Fourier, Riemann acaba por desenvolver a definio da integral de Riemann e demonstrou
que uma funo

pode ser integrvel em um intervalo sem ser representvel por uma

srie de Fourier (BOYER, 1968, p. 389).

Riemann publicou no volume 13 dos Anais da Sociedade Real das Cincias sua tese
Ueber die Darstellbarkeit einer Fuction durch eine trigonometrische Reihe (Sobre a
possibilidade de representar uma funo por uma srie trigonomtrica), a qual foi submetida
Universidade de Gttingen (PALARO, 2003, p. 130).
Na referida tese Riemann apresenta sua definio de integral e escreve:

Ento, o que devemos entender por uma integral

?
Para responder essa questo, tomemos entre
e
uma srie de valores
, ordenados por ordem de grandeza, aps e e designemos para
abreviar
por
por
por ; sejam, alm disso,
nmeros positivos menores que a unidade. claro que o valor da soma

Depender da escolha dos intervalos

e das fraes . Se ela tem a
propriedade, de qualquer maneira que os e os possam ser escolhidos, de se
aproximar indefinidamente de um limite fixo A, quando os tendem a zero, este
limite se chama o valor da integral definida
Se a soma no tende a limite algum, a notao
no pode ter
nenhum significado. Ns procuramos, entretanto nos vrios casos conservar uma
definio precisa a esse signo, e entre as generalizaes da noo de integral h uma
que recebeu a aprovao dos matemticos. Se a funo
torna-se infinita quando
seu argumento se aproxima de um valor particular , compreendido no intervalo
(a, b), ento evidentemente a soma , qualquer que seja o gro de pequenez
atribudo aos , pode tomar um valor qualquer: ela no tem, portanto nenhum limite
e o signo
no teria, aps o que precede, nenhum significado; mas se a
expresso

se aproxima, desde que

, tornam-se

111

infinitamente pequenos, de um limite fixo, que designamos por

(RIEMANN, 1953, p. 239, traduo nossa).

O modo como Riemann trabalhou a condio de integrabilidade era mais amplo que
de Cauchy, mas ainda apresentava um procedimento bem tradicional. E por um bom tempo
sua definio de integral era a mais usada em quase todos os cursos universitrios de clculo,
sobre isso Otte, comenta:

Uma generalizao adicional parecia inconcebvel enquanto fossem

consideradas as somas de Cauchy-Riemann como a nica possvel aproximao para
a definio de integral. Porm, a viso de Riemann permaneceu fixa ao
procedimento tradicional de determinar ou calcular o valor da integral. No caso das
funes contnuas, a variao do argumento x controla a oscilao da funo e isto
nos permite avaliar a integral na base das somas habituais de Cauchy-Riemann
(2008, p. 118, traduo nossa).

No sculo XX, surgeram ideias revolucionrias que abriram caminho para novas
generalizaes, e o conceito de integral passou por reformulaes, a ponto de Boyer citar que
a teoria da integrao foi criao do sculo vinte (1968, p. 431). Um dos nomes que mais se
destacou foi o de Lesbegue.
Henri Lon Lebesgue (1875-1941) nasceu na cidade de Beauvais na Frana, era de
famlia de origem modesta, seu pai foi tipgrafo e bibliotecrio e a me professora de escola
primria, ingressou na cole Normale Suprieure em 1894 (PALARO, 2003, p. 21-22).
Segundo Boyer, suas ideias se tornaram conhecidas por meio de seus dois tratados
clssicos: Leons sur sries trigonomtriques (1903) e Leons sur lintgration et la
recherche des fonctions primitives (1904). Neste ltimo, Lebesgue apresenta seis
propriedades para uma integral de funo limitada sobre um intervalo

1. Quaisquer que sejam

2. Quaisquer que sejam

temos
temos

3.
4. Se temos

, temos tambm

5. Temos
6. Se
tende crescentemente para
, a integral de
integral de
. (LESBEGUE apud PALARO, 2003, p. 143).

tende para a

Lebesgue comea a estudar o trabalho de Borel sobre conjuntos e nota que a definio
de integral de Riemann contm o defeito de ser aplicvel apenas em casos excepcionais, pois

112

assume poucos pontos de descontinuidade para funes. Outros matemticos da poca

tambm perceberam esses problemas e escreveram:
Essa definio de integral, publicada por Riemann, precisada por Darboux,
de um profundo interesse. uma bela construo lgica. Mas ela oferece Anlise
um instrumento de fraco poder. Os teoremas gerais sobre a integrao de sries
convergentes eram demonstrados apenas sob condies bastante restritas, limitando
exageradamente seu campo de aplicao. Os problemas fundamentais, [...] cujo
progresso estava parado por insuficincia da ferramenta de integrao, eram
numerosos. Suas solues eram obtidas apenas nos casos particulares, para as dadas
[funes] contnuas ou afetadas de descontinuidades muito simples. (DENJOY,
FELIX, MONTEL apud PALARO, 2003, p. 136).

Havia a necessidade de um conjunto de funes integrveis com propriedades

adequadas, o operador de integral deveria estar sujeito a algum princpio de continuidade, ou
seja, o limite de uma srie de funes integrveis f(x) deveria ser uma funo integrvel F,
contudo, era preciso que a medida usada fosse infinitamente aditiva, considerando que F pode
ter infinitos pontos de descontinuidade, mesmo que cada uma das f(x) tivesse um nmero
finito desses pontos de descontinuidades (OTTE, 1993).
Olhando para a histria do conceito de funo percebe-se como a partir do final do
sculo XVIII a Matemtica cresceu e, sobretudo, sem um caminho estritamente traado.
Quando as expectativas de muitos eram para a morte da Matemtica, da forma como Diderot,
em sua obra Da interpretao da natureza e outros escritos em 1754, escreveu:
[...] eu quase ousaria assegurar que antes de cem anos no se contar trs
grandes gemetras na Europa. Esta cincia acabar sem mais ningum, tendo
deixado grandes nomes como os de Bernoulli, Euler, Maupertuis, Clairaut, Fonteine
e DAlembert. Eles tero edificado as colunas de Hrcules. No se ir alm disso.
Suas obras subsistiro nos sculos por vir como as pirmides do Egito, cujas massas
carregadas de hierglifos despertam em ns uma idia assustadora da potncia e dos
recursos dos homens que as elevaram (DIDEROT, 1989, p. 32).

Ento ocorre o inverso e cem anos aps tm-se uma metamorfose na Matemtica,
como uma borboleta que sai do casulo. O filsofo Boutroux, no incio do sculo XIX procura,
ento, descrever este momento mpar na Matemtica. Ele classifica a pesquisa matemtica
como sendo totalmente analtica, onde o matemtico trabalha em meio a uma floresta fechada,
na qual, lentamente vo surgindo pistas que guiam os matemticos, rumo s novas
descobertas.

113

CONSIDERAES

Boutroux dividiu a histria da Matemtica em trs pocas. Na primeira tem-se a

cincia antiga, ou a poca da matemtica grega, que era contemplativa. Plato acreditava que
os objetos estavam prontos e apenas era necessrio descobri-los, existia uma harmonia prestabelecida. Aristteles acreditava que o conhecimento vem da intuio (epagoge) e da
deduo (apogoge). O foco era o objeto, como ponto, reta, plano etc. Euclides ainda pensava
em combinar e trabalhava de forma sinttica. Predomina neste perodo o interesse pelo objeto
e pela ontologia.
A segunda poca veio por meio da introduo da lgebra na Idade Mdia. Esta nova
poca inicia-se com Descartes e com a inveno do clculo por Newton e Leibniz. Descartes
introduziu uma concepo nova no lugar da demonstrao euclidiana, um mtodo novo que
envolvia a descoberta de propriedades geomtricas pela ao indireta; isto , pela aplicao de
mtodos algbricos. Esta nova concepo do carter da Matemtica introduzido pelo trabalho
de Descartes, Newton e Leibniz a ideia de sntese, ou seja, tem-se uma combinao de
smbolos e a noo de conceito segue a mesma ideia da sinterizao.

[...] ns no acreditamos que os princpios introduzidos por Leibniz e Newton

tenham transformado tanto quanto se tem dito, o curso do pensamento dos
matemticos; por isso, no podemos ver no mecanismo de Descartes a principal
fonte das dificuldades que comprometem a sua doutrina matemtica. Para ns estas
dificuldades tm claramente outra causa: elas vm do fato que Descartes est
propondo ao mesmo tempo, uma filosofia de intuio que permanecia firmemente
agregada a concepo sinttica da cincia. A concepo sinttica supe a
possibilidade de pr a priori, semelhante a elementos separados e concebidos
distintamente, um conjunto de entidades simples (BOUTROUX, 1920, p. 222 223,
traduo nossa).

Neste sentido, o que realmente mudou e causou esta nica revoluo na Matemtica
ocorrida no final do sculo XIX, apostatada por Boutroux, foi a transformao do conceito do
conceito. A noo sinttica do conceito foi substituda por uma viso que se diferenciava
claramente entre conceito, objeto e representao. Como Boutroux destaca:
O fato matemtico independente do vesturio lgico ou algbrico sobre o
qual ns procuramos represent-lo. De fato, a ideia que temos mais rica e mais
plena que todas as definies que podemos dar, que todas as formas ou combinaes
de signos ou de proposies pelos quais nos possvel exprimi-la (BOUTROUX,
1920, p. 203, traduo nossa).

114

Neste sentido, Boutroux apresenta a mesma perspectiva do reputado filsofo neokantiano Ernst Cassirer (1874-1945), que tambm considerava o desenvolvimento do conceito
como o fio vermelho na histria da Matemtica e das cincias exatas. Cassirer (1910) escreve
em sua obra Substanzbegriff und funktionsbegriff:

Toda tentativa de transformar a Lgica deve concentrar-se, acima de tudo,

sobre um ponto: todas as crticas da Lgica formal so concentradas na crtica da
doutrina geral da construo de conceitos (formao de conceito) [...]. A Lgica
Aristotlica, em seus princpios gerais, uma verdadeira expresso e o espelho da
metafsica aristotlica. Somente no contexto com a crena em que esta ltima se
assenta que se pode entender em seus motivos peculiares. A concepo da natureza
e da ordem de apresentao determina a concepo das formas fundamentais do
pensamento. [...] Realmente, o significado que atribudo teoria do conceito
dentro da estrutura da Lgica, aponta para esta conexo. Modernas tentativas de
reformar a Lgica tm procurado a este respeito inverter a ordem tradicional dos
problemas, colocando a teoria dos juzos antes da teoria do conceito (p. 3-5,
traduo nossa).

Logo, neste perodo a Matemtica se transformou em atividades construtivas, contudo

estas atividades eram soltas. Enquanto a Matemtica na Antiguidade sempre foi governada
pela intuio das relaes objetivas e pela intuio dos prprios objetos, neste segundo
perodo a Matemtica se transformou em um jogo de combinaes e de construes livres.
Iniciava-se com os elementos simples e os sintetizava at se chegar a elementos cada vez mais
complexos.
Ento acontece, no apenas uma revoluo, mas tambm uma ruptura dando incio
terceira poca, no comeo do sculo XIX e:

O pensador moderno, de todas as formas, no busca explicar a si mesmo, no

pretende compreender completamente em que consiste e sob quais condies pode
agir a intuio. As suas definies, na maioria dos casos, ficam negativas. As
verdades matemticas, diz o pensador, no so nem as consequncias de fatos
experimentais, nem resultados de construes ou dedues lgicas: ento elas
supem um modo de apercepo que no se confunde, nem com a experincia dos
sentidos, nem com o raciocnio (BOUTROUX, 1920, p. 224, traduo nossa).

Esta terceira poca caracterizada pela anlise. O matemtico moderno como

(...) uma espcie de inspetor, que analisa a maneira de um qumico, uma matria
estranha e infinitamente complexa. tambm, se quiser um explorador, com a tarefa
de se orientar em um continente desconhecido, e que busca descobrir as riquezas, as
regies interessantes sem, alis, saber em qual lado deve exatamente avanar e
dirigir sua pesquisa para atingir seu objetivo (BOUTROUX, 1920, p. 210 212,
traduo nossa).

115

Esta poca caracterizada ento por um reconhecimento sincero das limitaes da

lgica. Outra atividade intelectual, alm da mera lgica, necessria para que haja novos
progressos. Essa atividade , sobretudo, o reconhecimento do poder da intuio e da
criatividade. O matemtico moderno deve ser construtivo no domnio das ideias, no um mero
mecnico que apenas une elementos simples que j existem. O progresso da cincia exige o
desenvolvimento de novos pontos de vista para classificar e interpretar os problemas que se
apresentam.
Boutroux apresenta vrios exemplos que caracterizam essa terceira poca, a partir do
conceito de funo e explica que:

[...] o conceito de funo matemtica no pode ser reduzido a uma

combinao quantitativa, nem aos princpios lgicos elementares. O que existe, pois
na realidade, no fundo deste conceito?(...). Conceber uma funo de uma varivel
uma correspondncia entre duas variveis matemticas isto , definitivamente,
admitir que entre dois termos variando simultaneamente existe uma relao sempre
idntica a ela prpria, isto postular que, sob a mudana aparente do antecedente e
do consequente, existe alguma coisa de constante. (BOUTROUX, 1920, p. 205,
traduo nossa).

Neste perodo tem-se um equilbrio, a complementaridade entre objeto e sujeito, ou

seja, o conhecimento passa a representar uma relao entre sujeito e objeto e a harmonia que
havia entre o mtodo e o objeto deixa de existir. Assim como a concepo sinttica deixa de
existir dando lugar a concepo analtica.
A partir destes estudos, pode-se perguntar: a Educao Matemtica tem que ser
platnica ou tem que ser lgica e formal? Boutroux responde:
Se como os gregos, julgamos que o interesse principal da especulao
matemtica tem a beleza das propriedades numricas ou geomtricas consideradas,
devemos evidentemente requerer do professor que ele instrua seus alunos a uma
abordagem muito mais perfeita destas propriedades, incitaramos, por exemplo, a
fazer-lhes conhecer as mais belas proposies da teoria dos nmeros ou da teoria
dos poliedros regulares, sem se preocupar em saber se estas proposies tm ou no
qualquer utilidade prtica e se elas fornecem, por outro lado, exposio suficiente da
potncia dos mtodos empregados pelos analistas. Se pensarmos ao contrrio, que as
teorias matemticas valem principalmente para a forma lgica sob as quais se
apresentam, ento, sobretudo teramos que familiarizar os principiantes com os
mtodos da demonstrao colocando-os perante os sistemas lgicos perfeitamente
construdos e rigorosamente entrelaados. Em certa medita possvel conciliar este
segundo ponto de vista com o anterior. Isto o que, os gregos haviam buscado fazer
em seus tratados didticos e os Elementos de Euclides nos fornecem a respeito disto
um admirvel modelo de uma longa sequncia de generalizaes rigorosamente
examinadas. Graas ao ensino euclidiano, o aluno pode em um mesmo momento se
habituar s exigncias do pensamento e adquirir conhecimento dos fatos
geomtricos mais notrios. Mas este ensino no seria suficiente na nossa poca.
Com efeito, por um lado, os fatos sobre os quais leva, atualmente, no ocupam mais
na cincia o lugar privilegiado que tinham anteriormente e alguns dentre esses

116

aparecem ao contrrio como muito especiais; por outro lado, a geometria euclidiana
nos fornece uma ideia incompleta dos mtodos da demonstrao e dos processos do
clculo cujo uso desenvolvido nas teorias modernas (BOUTROUX, 1920, p. 263264, traduo nossa).

Plato no generalizava, pois para ele no havia novidade. Diferentemente da moderna

teoria de Galois, onde de certa forma, no existia soluo, mas foi encontrada ou construda.
Para Plato todo o conhecimento j existe, apenas era necessrio lembrar e a cincia tinha a
obrigao de olhar para o mundo e desenhar, retratar, representar como o mundo era esttico e
perfeito. Logo, em um cosmo assim to harmnico no havia novidade tanto no mundo como
tambm no conhecimento.
Mas como o mundo est em desenvolvimento, em transformao, em catstrofe, em
idas e voltas, ento obviamente o conhecimento tem que acompanhar tudo isso e por esse
motivo absurdo restabelecer o ideal aristotlico da cincia nos tempos modernos. Neste
tempo de tanta dinmica, isto impossvel.
Bolzano acreditava que a cincia poderia retornar cincia aristotlica, acreditava que
Deus fez o mundo uma vez e que s preciso revelar esse mundo. Mas, Boutroux diz que o
crescimento da cincia anorgnico e abrupto vida da cincia.
Mas como o ensino na escola e na universidade? O problema da Educao
Matemtica um problema apenas psicolgico e social?
Para Boutroux a pesquisa na Matemtica Moderna analtica, como nas teorias de
Peano e Hilbert, enquanto o ensino da Matemtica ocorre de forma sinttica e deveria ser
analtica. A cincia moderna descreve um problema, pois como o progresso da vida, da
cincia e da Matemtica to imprevisvel acaba gerando um abismo dentro da prpria
Matemtica entre o progresso ou a inveno, que totalmente irregular, e a prova que deveria
ser regular.
A Matemtica tem ainda esse ideal de mostrar que o conhecimento irregular no
sentido objetivo em termos de provas rigorosas e de argumentos bem estabelecidos, ento isso
realmente comea a caracterizar a Matemtica Moderna, o contraste entre progresso e
fundamentao, entre intuio e lgica, por isso, Kant importante pois percebeu que h duas
fontes, s vezes, duas fontes marcam um contraste. Este contraste tambm se encontra na
educao diariamente, Boutroux (1920, p. 271-272) relatou:
Assim como nos mtodos das descobertas e por razes anlogas, o professor
deve dar ao aluno uma exposio da realidade, que extremamente complexa e
densa, na qual o pensador aplica-se a introduzir uma ordem lgica. Ora, de que
maneira alcanar este objeto, se no empregando juntamente com os diferentes

117

mtodos os diversos pontos de vista? Assim o professor s poder aproveitar em

suas disciplinas a dupla caracterstica, que de fato para ns o preo da cincia
matemtica: a potncia e a flexibilidade do mtodo, a verdade e a riqueza da matria
(traduo nossa).

Na verdade de um lado o que o professor ensina so as provas e os argumentos, mas o

que deveria ser ensinado ao aluno so formas de resolver problemas criativamente. Em vez de
s provar teoremas que j existem, deve-se mostrar como a prpria natureza da Matemtica
Moderna, da cincia moderna e da Educao Matemtica, pois o problema da educao no
apenas um problema social e psicolgico, mas um problema dentro do prprio
conhecimento.
Antigamente no se tinha a diferena entre lgica e ontologia, como atualmente, mas
para Leibniz e Aristteles a lgica era baseada na estrutura do prprio mundo, por isso
Leibniz afirmou que as verdades matemticas so verdadeiras em todos os mundos possveis
(SILVA, 2007, p. 78). O conceito era baseado na mesma estrutura do mundo ou das ideias
como para Plato. A geometria que fornecia o conhecimento mais seguro sobre o mundo era
totalmente base da lgica, por isso, Os elementos de Euclides constituiu-se a primeira obra
matemtica logicamente organizada.
Na modernidade essa relao entre ontolgica ou lgica, invertida, Cantor e Hilbert,
por exemplo, afirmavam que a consistncia lgica significante para a existncia de objetos
matemticos. Esta nova perspectiva surge com o ponto de vista do sujeito, isto ,
epistemolgico. A preocupao ento passou a ser: como o ser humano alcana o
conhecimento? Diferentemente da Antiguidade onde se perguntava: como o conhecimento
baseado no ser dentro do mundo?
O aspecto ativo do conceito o fato que ele um instrumento importantssimo para o
sujeito ganhar novos conhecimentos.
A revoluo e ruptura mencionada por Boutroux ocorreu porque o conceito do
conceito mudou, e isto aconteceu graas mudana do ponto vista ou da perspectiva sobre a
Matemtica, saindo de um ponto vista ontolgico para um ponto de vista epistemolgico.
Na verdade na revoluo na filosofia de Kant o importante entender como o homem
chega ao conhecimento e no o conhecimento em si. Preocupando-se em saber como o
homem chega ou, para os educadores, o importante como o aluno chega ao conhecimento.
Por isso, o estudo deste ponto de vista moderno importantssimo para a educao.
E o ponto chave para essa transformao de perspectiva e para entender a histria da
Matemtica o conceito do conceito.

118

Ainda, o grande obstculo epistemolgico para os educandos a noo do conceito,

mas muitas vezes esta noo no lhe apresentada, pois ainda h professor com uma viso
platnica que se interessa em levar o aluno a conhecer as belas proposies como a da teoria
dos nmeros ou da teoria dos poliedros regulares, sem se preocupar em saber se estas
proposies tm ou no qualquer utilidade prtica e se elas fornecem, por outro lado,
exposio suficiente da potncia dos mtodos empregados pelos analistas (BOUTROUX,
1920, p. 263, traduo nossa).
Outros professores se prendem a viso sinttica, conduzido o aluno a familiarizar-se
com [...] os mtodos da demonstrao colocando-os perante os sistemas lgicos perfeitamente
construdos e rigorosamente entrelaados (BOUTROUX, 1920, p. 263, traduo nossa). Nas
duas concepes se perde o essencial para o educando chegar ao conhecimento matemtico
que entender o conceito.

119

REFERNCIAS BIBLIOGRFICAS

ABBAGNANO, Nicola. Dicionrio de Filosofia. So Paulo: Martins Fontes, 2000, 4ed.

ARISTTELES (384-322 a.C). Tpicos: dos argumentos sofsticos. Seleo de textos de Jos
Amrico Motta Pessanha. Traduo de Leonel Vallandro e Gerd Bornheim. In: Os
pensadores. So Paulo: Nova Cultural, 1987.

BELHOSTE, Bruno. Cauchy: um mathmaticien lgitimiste au XIXe sicle. Paris: Berlim,

1985.

BERKELEY, George (1910). Philosophical Works: including the works on vision. Introd.
and notes by M. R. Ayers. London: Dent; Totowa, N.J.: Rowman and Littlefield, 1975, 358 p.

BLANCH, Robert e DUBUCS (1970), Jacques. Histria da lgica. Traduo de Antnio

Ribeiro e Pedro Duarte. Lisboa: Edies 70, 1996.
BOUTROUX, Pierre. LIdal Sientfique des Mathmaticiens: dans lantiquit et dans les
temps modernes. Paris: F. Alcan, 1920, 274 p.

BOCHNER, Salomon. Mathematical Reflections. American Mathematical Monthly, 830859, 1974.

BOYER, Carl Benjamin. Histria da Matemtica. Traduo de Elza F. Gomide. So Paulo:

Edgard Blcher Ltda., 1968, 496 p.

BRAGA, Ciro. O processo inicial de disciplinarizao de funo na Matemtica no

ensino secundrio brasileiro. Dissertao (Mestrado em Educao Matemtica) Programa
de Ps-Graduao em Educao Matemtica, PUC, So Paulo, 2003.

CAJORI, Florian. Uma histria da Matemtica. Traduo de Lzaro Coutinho. Rio de

Janeiro: Cincia Moderna Ltda., 2007. 654 p.

CANTOR, G.: 1883/1980, Gesammelte Abhandlungen, Springer Verlag, Heidelberg.

120

CAUCHY, Augustin-Louis. Mmoire sur les fonctions continues. In: C. R. Acad. Sci., v. 18,
p. 116, 1844. (re-impresso em Ouvres Complets, srie 1, v.8. Paris).
CAUCHY, Augustin-Louis. Cours dAnalyse de Lcole Royale Polytechnique. Paris, 1821.
(re-impresso em Ouvres Complets, srie 2, v.3. Paris: Gauthier-Villars, 1899).

CAUCHY, Augustin-Louis. Analyse Algebrique. Paris: Jacques Gabay,1989, (primeira

publicao 1821).

CASSIRER, Ernst. Substanzbegriff und funktionsbegriff . Berlin: Bruno Cassirer, 1910.

CASSIRER, Ernst. A Filosofia do Iluminismo. Traduo de lvaro Cabral. Campinas:

Unicamp, 1992.

CASSIRER, Ernst. Filosofia das Formas Simblicas. So Paulo: Martins Fontes, 2001.

CASSIRER, Ernst. Ensaio Sobre o Homem: introduo a uma filosofia da cultura humana.
So Paulo: Martins Fontes, 2005.

COMTE, August. Curso de Filosofia Positiva. So Paulo: Abril Cultural, 1973, 550p.

CORRA, Isabella Moreira de Paiva. Como se fala Matemtica: um estudo sobre a

complementaridade entre representao e comunicao na Educao Matemtica. 2008, 153p.
Dissertao (Mestrado em Educao linha de pesquisa Educao em Cincias e Matemtica)
Programa de Ps-Graduao em Educao, UFMT, Cuiab, 2008.

COSTA, Acylena Coelho. Conhecimentos de estudantes Universitrios sobre o conceito

de funo. 2004. 92 f. Dissertao (Mestrado em Educao Matemtica)- Pontifica
Universidade Catlica de So Paulo, So Paulo, 2004.

COURANT, Richard; ROBBINS, Herbert. O que Matemtica? Traduo de Adalberto da

Silva Brito. Rio de Janeiro: Cincia Moderna, 2000, 621 p.

DESCARTES, Ren. Discurso do mtodo regras para a direo do esprito. Traduo de

Pietro Nassetti. So Paulo: Martin Claret, 2008, 144 p.

DELEUZE, Gilles; GUATTARI, Flix. O que a Filosofia? Traduo de Bento Prado Jr. e
Alberto Alonso Muoz. Rio de Janeiro: Editora 34, 1992, 279 p.

121

DIDEROT, Denis. (1754). Da interpretao da natureza e outros escritos. Traduo,

introduo, notas e posfcio de Magnlia Costa Santos. So Paulo: Iluminuras, 1989, 199 p.

DIEUDONN, Jean. A formao da Matemtica Contempornea. Traduo de Hafe

Perez. Lisboa: Publicaes Dom Quixote, 1990, 292p.

DURKHEIM, mile (1938). A Evoluo Pedaggica. Traduo de Bruno Charles Magne.

Porto Alegre: Artes Mdicas, 1995.

DURKHEIM, mile (1912). As formas elementares da vida religiosa. Traduo de Bruno

Charles Magne. Porto Alegre: Artes Mdicas, 2008.

EUCLIDES. Os Elementos de Euclides. Traduo e introduo de Irineu Bicudo. So Paulo:

Editora UNESP, 2009, 594 p.

ESSINGER, J; Jacquards Web, Oxford University Press 2004.

EULER, Leonhard. (1748). Intruduction in Analysin Infinitorum. Reprint Springer

Heidelberg, 1980.

EVES, Howard (1953). Introduo Histria da Matemtica. Traduo de Hygino H.

Domingues. Campinas: UNICAMP, 1995, 843 p.

GERSTELL, Marguerite. Prussian Education and Mathematics. In: The American

Mathematical Monthly, Vol. 82, No. 3 (Mar., 1975), p. 240-245.

HOUAISS, Antnio; VILLAR, Mauro de Salles; FRANCO, Francisco Manoel de Mello.

Dicionrio Houaiss da lngua portuguesa. Rio de Janeiro: Objetiva, 2001. lxxxiii, 2922 p.
ISBN 85-7302-383-X.

HUMBERTO, de Assis Clmaco. Prova e explicao em Bernard Bolzano. 2007, 153p.

Dissertao (Mestrado em Educao linha de pesquisa Educao em Cincias e Matemtica)
Programa de Ps-Graduao em Educao, UFMT, Cuiab, 2007.

HUMBOLDT, von Wilhelm. Os limites da ao do estado. Traduo de Jesualdo Correia.

Rio de Janeiro: Topbooks, 2004, 374 p.

122

HUME, David. Hume. Investigao acerca do entendimento humano. Os pensadores.

Traduo de Anoar Aiex. So Paulo: Nova Cultura, 2004, 352 p.

JESSEPH, D. M. Berkeley's philosophy of Mathematics. Chicago: The University of

Chicago Press, 1993.

JOSEPH-MARIE. Jacquard Web. Oxford: Oxford University Press, 2004.

KANT, Immanuel. Crtica da Razo Pura. Traduo de Manuela Santos e Alexandre

Morujo. 4. ed. Lisboa: Fundao Calouste Gulbenkian, 1997, 680 p.

KOCH,H. Gustav Peter Lejeune Dirichlet, in Mathematics in Berlin, Berlin: Springer, 1998,
33-40 p.
KOETSIER, T. Lakatos Philosophy of Mathematics: A Historical approach. Amsterdam:
North-Holland, 1991.

LALANDE, Andr. Vocabulrio Tcnico e Crtico da Filosofia. So Paulo: Martins Fontes,

1999, 3ed.

LAKATOS, Eva; MARCONI, Marina. Metodologia do Trabalho Cientfico:

procedimentos bsicos, pesquisa bibliogrfica, projeto e relatrio, publicaes e
trabalhos cientficos. 7. ed. So Paulo: Atlas, 2007, 225 p.

LEIBNIZ, Gottfried Wilhelm. La Naissance du Calcu Diffrentiel: 26 articles de Acta

Eruditorum. Paris: VRIN, 1995.

LEIBNIZ, Gottfried Wilhelm. Novos ensaios sobre o conhecimento humano. Os

pensadores. Traduo de Luiz Joo Barana. So Paulo: Nova Cultura, 1999, 543 p.

LEITE, Flamarion Tavares. 10 lies sobre Kant. Petrpolis: Vozes, 2007, 134 p.

MANACORDA, Mario Alighiero. Histria da Educao: da Antiguidade aos nossos dias.

Traduo de Gaetano Lo Monaco. 13. ed. So Paulo: Cortez, 2010, 456 p.

123

MILANI, S. Elias. Wilhelm Von Humboldt: nascimento, filosofia e cincia, 2006.

Disponvel em: http://www.revistas.ufg.br/index.php/sig/article/viewFile/2789/2781. Acesso
em 29/09/2010.

MIORIM, M. A. Introduo histria da Educao Matemtica. 1. ed. So Paulo: Atual,

1998, v. 1. 160 p.

MORA, Jos. Dicionrio de Filosofia II. Edies Loyola, 2001, v. 2. 1621p.

MUELLER, Ian. Euclids elements and the axiomatic method. The British Journal for the
Philosophy of Science 20, 1969, 289-309 p.

NEWTON, Isaac. Newton: textos, antecedentes, comentrios. Org. Bernard Cohen & Richard
S. Westfall, Traduo de Vera Ribeiro. Rio de Janeiro: Contraporto: EDUERJ, 2002, 524 p.
OCONNOR, J.J.; ROBERTSON, E.F. Pierre Lon Boutroux, 2000a. Disponvel em:
http://www-history.mcs.st-andrews.ac.uk/Biographies/Boutroux.html. Acesso em 18 de mar.
2009.
OCONNOR, J.J.; ROBERTSON, E.F. Johann Peter Gustav Lejeune Dirichlet, 2000b.
Disponvel em: http://www-history.mcs.st-andrews.ac.uk/Biographies/Dirichlet.html. Acesso
em 8 de out. 2010.

OTTE, Michael. O Formal, o Social e o Subjetivo: uma introduo Filosofia e didtica

da Matemtica. Traduo de Raul Fernando Neto et al. So Paulo: Universidade Estadual
Paulista, 1993, 323 p.

OTTE, M.: PANZA, M (Ed). Mathematics as an Activity and the Analysis - Synthesis
Distinction. In: OTTE, M.: PANZA, M. (eds.), Analysis and Synthesis in Mathematics:
History and Philosophy. Boston Studies in the Philosophy of Science. Vol. 196. Cidade
Kluwer Academic Publishers, 1997, 261-269 p.

OTTE, Michael. Complementarity, sets and numbers. In: Educational Studies in

Mathematics, v.58, 2003, 203-228 p.

OTTE, M. A Realidade das Ideias: uma perspectiva epistemolgica para a Educao

Matemtica. Cuiab: EdUFMT (no prelo), 2008.

124

PALARO, Luzia. A Concepo de Educao Matemtica de Henri Lesbegue. 2006. 242 f.

Tese (Doutorado em Educao Matemtica) Programa de Ps-Graduao em Educao
Matemtica, PUC, So Paulo, 2006.

PAPINEAU, David. Filosofia: Grandes Pensadores, Principais Fundamentos e Escolas

Filosficas. Traduo de Maira da Anunciao Rodrigues e Eliana Rocha. So Paulo:
Publifolha, 2009, 224 p.

PASCAL, Georges. Compreender Kant. 2. ed. Petrpolis: Vozes, 2005, 205.p.

PEIRCE, Ch. S.:CP Collected Papaers of Charles Sanders Peirce, V, I-VI, ed. by Charles
Hartshorne and Paul Weill, Cambridge, Mass. (Harvard UP) 1932-1935, V. VII-VIII, ed by
Arthur W. Burks, Cambridge, Mass. (Harvard UP) 1958 (followed by volume and paragraph).

PELHO, Edelweiss Benez Brando. Introduo ao conceito de funo: a importncia da

compreenso das variveis. 2003. 146 f. Dissertao (Mestrado em Educao Matemtica)
Programa de Ps-Graduao em Educao Matemtica, PUC, So Paulo, 2003.

PEREIRA, Camila. Ensinar para os melhores. Os Loucos Atmicos. 2115. ed. Veja, ano
42, n.22, p. 102, jun. 2009.

PIAGET, J. et AL (1977). Abstrao Reflexionante: relaes lgico-aritmticas e ordem

das relaes espaciais. Traduo de Fernando Becker Petronilha da Silva. Porto Alegre:
Artes. Mdicas, 1995, 292 p.

PINTO, Flvia Cristina; ZAITUNE, Vera Helena; MARTIN, Mara Westin L. Aspectos da
histria da Educao que influenciaram as relaes na Educao Infantil. X INIC Encontro
Latino Americano de Iniciao Cientfica. So Jos dos Campos, v.13, n. 24, out. 2006.
Disponvel em:
http://www.univap.br/univap/pro_reitorias/cultura_divulgacao/revista/RevistaUnivap24.pdf.
Acesso em: 14 de out. 2010.

PIOZZI, Patrizia. Utopias Revolucionrias e Educao Pblica: rumos para uma nova
cidade tica, 2007. Disponvel em: www.scielo.br/pdf/es/v28n100/a0528100.pdf. Acesso
em: 13 de out. 2010.

PLATO (IV a.C.). A repblica. Traduo de Enrico Corvisieri. So Paulo: Editora Nova
Cultura, 1997, 352 p.

POINCAR, Henri (1903). A cincia e a hiptese. Traduo de Maria Kneipp. Braslia:

125

Editora Universidade de Braslia, 1993, 180 p.

POINCAR, Henri (1905). O valor da cincia. Traduo de Maria Martins. Rio de Janeiro:
Contraponto, 1995, 180 p.

POINCAR, Henri. Science et Mthode. Paris, 1908.

REID, C. Hibert. Springer Verlag, Heidelberg, 1970.

RIEMANN, Georg Friedrich Bernhard (1854). Ueber die Darstellbarkeit einer Fuction durch
eine trigonometrische Reihe. In: The Collected Works of Bernhard Riemann. New York:
Dover, 1953.

ROGUE, Christophe. Compreender Plato. 3. ed. Traduo de Jaime A. Clasen. Petrpolis:

Vozes, 2007, 207 p.

RUSSELL, B. Our Knowledge of the External World. Londres: Allen & Unwin, 1949.

SAINT-SERNIN, Bertrand. A Razo no sculo XX. Rio de Janeiro: Jos Olympio / Braslia:
EDUNB, 1998, 272 p.

SANTAELLA, Lucia. Comunicao e Pesquisa: projetos pra mestrado e doutorado. So

Paulo: Hacker Editores, 2001. 215 p.

SANTAELLA, Lucia. O Mtodo Anticartesiano de C. S. Peirce. So Paulo: UNESPE,

2004, 277 p.

SCHUBRING, G. O primeiro movimento internacional de reforma curricular em

Matemtica e o papel da Alemanha. In Zetetik. Vol.7 n. 11. Campinas: CEMPEM
UNICAMP, 1999, 29 49 p.

SILVA, Jairo Jos da. Filosofias da Matemtica. So Paulo: UNESP, 2007, 239p.
SILVA, Maurcio da Rocha. A evoluo do pensamento cientfico. So Paulo: HUCITEC,
1972, 374 p.

TURNER, R. Steven. The Growth of Professional Research in Prussia: 1818-1848, in:

Historical Studies in the Physical Sciences, Vol.3 (1971): 137-182 p.

126

WIELEWSKI, Gladys. Aspectos do pensamento matemtico na resoluo de problemas:

uma apresentao contextualizada da obra de krutetskii. 2005. 382 f. Tese (Doutorado em
Educao Matemtica) Programa Ps-Graduao em Educao Matemtica, PUC, So
Paulo, 2005.