Bolzano, a formao da Matemtica Pura e a aritmetizao da

Matemtica
Humberto de Assis Clmaco UFG
Michael Friedrich Otte Uniban/Bielefeld

Bernard Bolzano (1781-1848) foi um matemtico, telogo e filsofo de lngua

alem nascido em Praga, na Bohemia, hoje capital da Repblica Tcheca. Sua obra se insere
no contexto das grandes transformaes por que passaram a matemtica e a filosofia no
sculo XIX, em particular com o movimento de aritmetizao que transformou a
matemtica e com a tendncia da filosofia a passar de uma abordagem epistemolgica,
centrada no sujeito cognoscente e num discurso mental e intuitivo que caracterizou o
perodo que vai do cartesianismo ao kantismo, chamado por Foucault (2007) de poca das
representaes para uma abordagem semntica. Esta ltima se caracteriza por ser
centrada na necessidade de criao e explicitao de conceitos, de uma revalorizao da
lgica e nas necessidades de um discurso explcito e pblico. Para os filsofos da poca
das representaes, como Leibniz (1646-1716), Locke (1632-1704) e Berkeley (1685-
1753), as verdades se baseavam nas relaes entre as ideias, enquanto para alguns filsofos
do sculo XIX, como Bolzano e Frege (1848-1925), elas representam relaes entre
proposies.

Bolzano foi o mais importante representante na Bohemia do Iluminismo Catlico,

movimento criado pelo Imprio Austraco como forma se proteger do avano dos ideais da
Revoluo Francesa e das tropas napolenicas, mas que na Bohemia transformou-se numa
forma de combater a autoridade do Imprio Austraco que nessa poca controlava o
Reino da Bohemia e suas arbitrariedades. Bolzano deixou um importante legado
matemtico, filosfico e religioso, marcado pela luta por justia e contra toda forma de
arbitrariedade. Seu lema era guiar-se, em todos os aspectos da vida pela lei moral maior,
que consistia em sempre estar num caminho que promover o bem comum (BOLZANO,
1976).
A concepo de matemtica de Bolzano e seus esforos de reforma do
conhecimento so inseparveis do processo de expanso do ensino e das necessidades de
divulgao do conhecimento para um pblico muito mais amplo do que as pequenas
comunidades de matemticos do sculo XVIII. Nesta poca surgiram as primeiras grandes
turmas de Engenharia. Assim, sua busca por reforma do conhecimento inseparvel de

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

aspectos de comunicao e linguagem, por sua vez inseparveis de fins didticos, e
colocaram no centro a necessidade de uma abordagem semntica da filosofia.
Por outro lado, a amplitude dos estudos empreendidos por Bolzano, bem como sua
crena em que o conhecimento contribui para a realizao da justia, so semelhantes s
concepes dos Iluministas do sculo XVIII: para ele, as diferentes reas do conhecimento
formavam uma unidade profunda, que ele tentou sistematizar em seu Wissenschaftslehre
(BOLZANO, 1981). Foi como professor de Cincias da Religio que ele escreveu seu
principal artigo matemtico, o Prova puramente analtica do teorema que afirma que entre
dois valores de sinais opostos existe pelo menos uma raiz real da equao1 em 1817 e o
Sobre a relao entre as duas raas na Bomia em 1816 (BOLZANO, 1989).
no contexto da busca por eliminar toda forma de arbitrariedade e fazer justia que
deve ser compreendido o projeto de Bolzano de reconstruir os fundamentos da Matemtica
com base em provas puramente analticas, independentes da capacidade ou percepo
subjetivas.

Embora haja estudos que mostrem que filsofos e matemticos do final do sculo
XIX como Frege (1848-1925), Cantor (1845-1918) e Weierstrass (1815-1897), e seu
contemporneo Cauchy (1789-1857), tenham conhecido pelo menos parte de sua obra2, o
patrimnio intelectual de Bolzano no foi gerido por seus discpulos de maneira que
conseguisse evitar que ele praticamente casse no esquecimento no ambiente acadmico.
Embora na Bohemia suas ideias sociais, educacionais e religiosas tenham sido assumidas e
divulgadas por geraes de seguidores que chegaram a obter notvel influncia (cf.
SKED, 2000) o domnio do idealismo alemo sobre a filosofia, o distanciamento de
Bolzano dos grandes centros matemticos e a incompreenso por parte dos matemticos
destes grandes centros da profundidade das propostas de Bolzano, tornaram seus escritos
de difcil acesso e aceitao para seus contemporneos.

O ideal de Bolzano de uma profunda reorganizao de todo o conhecimento

humano s se tornaria influente na matemtica, na filosofia e na linguagem, a partir da
segunda metade do sculo XIX, e seu nome permaneceu muito pouco conhecido nos

1
o artigo que contm a demonstrao do Teorema de Bolzano, cuja generalizao o Teorema do Valor
Intermedirio, ao qual nos referiremos em diversas ocasies neste artigo, e que pode ser encontrado em
qualquer livro didtico de Clculo e de Anlise Matemtica.. De agora em diante, o artigo ser denominado
RB, como o padro internacional de citaes de Bolzano, em referncia s iniciais das duas primeiras
palavras que aparecem em maisculo no ttulo do artigo Rein e Beweis).
2
A respeito dessa questo, ver Dugac (1972, 1980), Freudenthal (1971), Sundholm (2000), Sinaceur (1973).

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

grandes centros at que foi redescoberto por Hermann Hankel (1839-1873) e por Otto
Stolz (18421905). Esse ltimo republicou em 1881 vrios de seus artigos matemticos3.

Os filsofos viriam a conhecer a obra de Bolzano e reconhecer sua originalidade

somente quando Brentano (1824-1898), ento colega de Robert Zimmermann4 (1838-
1917) e professor de Edmund Husserl (1859-1938), realizou um seminrio, na
Universidade de Viena, no inverno de 1884-1885 (LAPOINTE, 2003, p. 14) sobre o livro
de Bolzano Paradoxos do Infinito (1991, 1851). Tal apresentao fez despertar a
curiosidade de seus estudantes, em particular de Husserl e de Kazimierz Twardowski
(1866-1938), que sob a influncia de Bolzano s teceu crticas teoria da
intencionalidade de Brentano, em sua tese de habilitao5. Husserl, por outro lado, teria
uma crucial inspirao (WOODRUFF, 2007, p. 16) para a construo de sua
fenomenologia na concepo de Bolzano de que a lgica trata de proposies em si
independentes do pensamento

por meio de Twardowski que as ideias de Bolzano viriam a influenciar a escola

polonesa de lgica que ele viria a fundar, bem como a criao, nesta mesma escola, da
concepo de lgica como teoria formal das teorias dedutivas, o que por sua vez
influenciaria a criao da filosofia analtica (LAPOINTE, 2003)6.

Houve, ao longo da histria uma srie de tentativas de reeditar as obras completas

de Bolzano (HYKSOVA, 2000), mas at o final da dcada de 60 do sculo XX, surgiriam
apenas reedies parciais. nesta poca que viria a se realizar, sob iniciativa de Eduard
Winter e de Jan Berg, o projeto de uma edio completa, em 126 volumes, dos quais at
hoje foram publicados 69. Em 1991 foi criada a Sociedade Bolzano, e no final da dcada

3
Schubring (1993) mostra que trs importantes artigos matemticos redigidos por Bolzano tiveram suas
resenhas publicadas num peridico no especializado ao qual os matemticos de Berlim tinham acesso; e
tambm que matemticos importantes da poca, como Creele (1780-1855) e Abel (1802-1829) conheceram
estes artigos. No entanto, sua afirmao de que pode-se deduzir... que Berlim foi um centro de recepo e
transmisso do trabalho matemtico de Bolzano (1993, p. 50) no se sustenta, pois no foi encontrado
nenhum grande matemtico da poca que tenha citado Bolzano em uma de suas obras. O fato incontornvel,
se se pretende analisar o legado de Bolzano, que suas ideias no foram assimiladas por seus
contemporneos, e o prprio Bolzano reconhece isso, em 1817, no prefcio do RB. No houve fatos
significativos que possibilitassem que essa avaliao mudasse nos anos seguintes.
4
Zimmermann havia ficado em posse de grande parte dos manuscritos de Bolzano, alm de ter sido por ele
encarregado de finalizar seu Groenlehre (Doutrina das Grandezas). No entanto, sua viragem doutrinria lhe
deixou desinteressado de continuar herdeiro da obra de Bolzano.
5
Sobre o contedo e o objeto das representaes (1977).
6
Devido ao fato de que Frege e diversos matemticos que conheceram a obra de Bolzano no o tenham
citado, a filosofia analtica e a matemtica se desenvolveriam de maneira relativamente inconsciente da
herana que receberam de Bolzano.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

de 90 comeou a ser publicado um rgo de divulgao permanente das obras de Bolzano,
o Beitrge zur Bolzano Forschung.

Nos dias atuais, a obra de Bolzano estudada por filsofos e historiadores da

filosofia que buscam em seus escritos a histria do combate filosfico da fenomenologia e
da filosofia analtica contra o psicologismo, as origens do debate em torno da
intencionalidade, a transformao da filosofia de epistemologia para a ontologia semntica,
ou ainda por educadores, filsofos e cientistas da computao que buscam em sua obra
em particular, em sua concepo de Abfolge (explicao causal ou relao fundamento-
consequncia) uma alternativa para o formalismo matemtico e filosfico.

Em lngua portuguesa quase no h nada publicado sobre Bolzano; no Brasil,

somente foram encontrados os trabalhos de Otte e Clmaco (2010), Clmaco (2007a,
2007b, 2008 e 2011), Porta (2002, 2003 e 2004, os dois primeiros em espanhol) e Cavaills
(2012). H tambm duas dissertaes de mestrado orientadas pelo professor Benedito
Antnio da Silva, da PUC-SP, que abordam os estudos de Bolzano sobre o infinito e
refletem sobre ele do ponto de vista didtico. Num livro didtico de Iezzi e Murakami
(2005) aparecem informaes equivocadas e anedticas, sob um ttulo sensacionalista
(Padre refugia-se na matemtica) numa nota histrica.

Alm das tradues da obra de Bolzano para a lngua portuguesa publicadas na

dissertao de mestrado de Clmaco (2007a), h somente poucos trechos em portugus em
obras de histria da lgica (KNEALE/KNEALE, 1991), histria da matemtica ou em
notas histricas de livros didticos de matemtica (VILA, 1999).

Na Educao Matemtica, alm das dissertaes supracitadas, existem as

publicaes da pesquisadora mexicana Waldegg (2005), muitas delas em ingls, sobre as
implicaes didticas da noo de infinito que Bolzano desenvolveu.

O problema que se pretende abordar neste artigo o de compreender melhor a

transformao da linguagem matemtica ocorrida no final do sculo XVIII e incio do
sculo XIX, destacar suas finalidades didticas e paradoxalmente as novas dificuldades
didticas que criou, e como se deu a relao destas transformaes com aquelas que
ocorreram nas cincias, na filosofia e na cultura no perodo em questo, inseparveis por
sua vez das necessidades de comunicao social que surgiram.

Pretende-se ainda mostrar que as transformaes ocorridas na matemtica, alm de

no serem resultados de mera opo dos matemticos e filsofos, no foram resultados da

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

ao consciente de grupos de poderes ou de determinadas etnias, e sim correspondiam a
necessidades externas e internas matemtica da poca, bem como se inserem no conjunto
das transformaes pelas quais passaram elementos diversos da poca: a cultura, a
indstria e as cincias em geral.

O estudo da obra de Bolzano torna possvel compreender com bastante clareza os

fundamentos filosficos e matemticos das transformaes supracitadas, pois, como
filsofo que estudava a matemtica com interesses principalmente filosficos (cf
BOLZANO, 1976), ele afirmou os princpios que regiam e fundamentavam tais
transformaes com maior clareza e conscincia do que qualquer um de seus
contemporneos, embora nem de longe tenha sido um dos mais produtivos matemticos da
poca; tambm permite compreender a natureza e o contexto em que ocorreram tais
transformaes.

importante notar que quase no h publicaes que reflitam sobre as necessidades

educacionais e de comunicao que contriburam para impulsionar as transformaes
ocorridas na matemtica na virada do sculo XVIII para o XIX, nem sobre seus impactos
sociais e educacionais.

O que sim existem so estudos sobre a Reforma da Matemtica Moderna, que foi a
tentativa de levar para a sala de aula dos ensinos mdio e fundamental a matemtica tal
como foi desenvolvida a partir do sculo XIX7. Mas estas publicaes no fazem, nem
seu propsito faz-lo, um estudo criterioso da natureza das transformaes estudadas no
presente artigo.

Os estudos recentes no Brasil que mais se aproximam de uma reflexo a respeito

das transformaes sofridas pela matemtica no sculo XIX so os artigos de DIAS et al.,
(2010) e DIAS (2008). Mas estes trabalhos analisam apenas de maneira secundria o que
ser abordado nesse artigo, pois so estudos sobre a histria do ensino da matemtica; e
quando tratam da questo aqui abordada, o fazem sem realizar uma reflexo mais
cuidadosa sobre a relao da aritmetizao com o desenvolvimento das cincias e
tecnologias, e terminam por julgar que o distanciamento da Matemtica do senso comum
ocorrido a partir desse processo ocorreu devido a necessidades de profissionalizao da
matemtica, que por sua vez seria consequncia de interesses polticos, culturais e

7
Merecem destaque as publicaes do Grupo de Pesquisa de Histria da Educao Matemtica da CNpQ
(GHEMAT), inspirado num projeto mais amplo que realizou trabalho semelhante em diversos pases do
mundo.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

sociais (DIAS, 2010, p. 3). Alm disso, tais artigos ignoram que, se de um lado no
possvel determinar que as transformaes da matemtica ocorridas no sculo XIX eram
inevitveis, de outro impossvel conceber que o desenvolvimento das cincias e
tecnologias, bem como a Revoluo Industrial, poderiam ter ocorrido sem que tivesse se
dado, de uma forma ou de outra, algum fenmeno de aritmetizao, fundamental para
medir e prever, condies necessrias para o surgimento das cincias aplicadas e da grande
indstria.

Para compreender a natureza da transformao da linguagem matemtica ocorrida

nesta poca, a crtica que Bolzano dedicou a Kant (1724-1804) deve ser retomada, pois ela
exemplar das transformaes ocorridas em todas as reas do conhecimento e da cultura
do incio do sculo XIX, e mostra com clareza a ruptura que comea a se operar no incio
do sculo XIX na cultura e em todas as reas do conhecimento.

Mas, afinal, que transformaes foram estas? O que que elas tm em comum com
aquelas ocorridas no conhecimento matemtico deste perodo, que tornam a obra de
Bolzano to significativa e sua crtica a Kant to exemplar?

Para responder tais questes, necessrio retomar algumas caractersticas da

filosofia e da matemtica da poca da representao, caracterizada por Foucault (2007)
como aquela em que h uma identificao entre a representao e o conceito representado,
e pelos historiadores da filosofia como o perodo epistemolgico.

A obra de Kant expressou filosoficamente vrias caractersticas desta poca. Ela ,

como a de Descartes, inseparvel das transformaes ocorridas com a Revoluo Cientfica
dos sculos XVI e XVII, que havia feito com que a matemtica se voltasse para questes
prticas, em detrimento das especulativas. Na filosofia, cresceu a ideia de que o
conhecimento escolstico, e a lgica, haviam se tornado inteis e , incapazes de revelar
novas descobertas, ou de que a lgica j no tinha mais o que desenvolver (ver Descartes
(1983), Bacon (2005), Kant (2001)).

Neste perodo, a noo de rigor grego, bem como uma abordagem qualitativa e
esttica da matemtica, foram sendo substitudos por uma matemtica voltada para resolver
problemas prticos, relacionados ao comrcio, mecnica e astronomia,
predominantemente quantitativa e voltada para a medida e a previso.

Antes ainda do sculo XVI, muitos dos homens de saber j afirmavam que o rigor
grego havia se tornado um obstculo para o desenvolvimento de novos mtodos

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

cientficos. Em particular, no sculo XVII, o abandono desse rigor contribuiu para o forte
desenvolvimento da Matemtica, sobretudo do ento conhecido como clculo diferencial
e integral. No entanto, a falta de rigor gerou uma situao em que os prprios criadores do
clculo, Newton e Leibniz, bem como geraes de seguidores, no conseguiam explicar os
fundamentos lgicos dos mais importantes procedimentos criados.

Leibniz justificava o principio da continuidade o segundo principio fundamental

de sua filosofia, que tambm ocupava um papel fundamental no clculo por meio da
necessidade de uma anlise perpetua, ou seja, a indispensabilidade do infinito potencial.
De acordo com esta concepo, cada substncia individual deveria ser caracterizada pelo
seu conceito completo pois para o racionalismo cada evento tem que ter uma causa e
para entender esta causa seria necessria uma anlise infinita dos conceitos (o que somente
Deus, supostamente, poderia fazer).

Leibniz acreditava que o clculo exigia explicaes metafsicas, ao mesmo tempo

em que se apoiava em analogias com a continuidade percebida na natureza; mas as leis
matemticas da natureza no explicam, nem podem explicar, nada de essencial, mas
somente descrever os fatos em termos gerais. Alm disso, para realizar operaes com
derivadas, Leibniz se apoiava em conceitos geomtricos.

Newton, por outro lado, compreendeu melhor o carter no filosoficamente

racionalista do clculo e da fsica, mas tampouco conseguiu fundamentar adequadamente o
clculo, recorrendo s noes de espao e tempo, e mesmo se contradizendo (ver, por
exemplo, STRUIK, 1989).

No sculo XVIII, quando o clculo havia se desenvolvido e aplicado em todos os

ramos da Matemtica, a falta de fundamentos fez surgir novos problemas: mesmo, Euler
(1707-1783), talvez o maior matemtico do sculo, chegou a resultados contraditrios,
como - = (ver Struik (1989) e Rusnock (1997)).

Alm disso, Euler definiu funes contnuas como aquelas possveis de se

representar por meio de uma nica expresso analtica, identificando a continuidade como
uma caracterstica da representao simblica da funo, e no do conceito de funo, que
ele no considerava como um objeto prprio da matemtica; alguns anos depois, Kant
ainda identificava a ideia de tringulo com a representao de um tringulo particular
(CRP, A 714 B 742).

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

 Apesar de todas as dificuldades relativas aos fundamentos, o perodo que vai do
incio da Revoluo Cientfica (incio do sculo XVI) at o incio da segunda fase da
Revoluo Industrial (incio do sculo XIX), foi de uma produtividade enorme da
matemtica, e foi nesta poca que, pela primeira vez, ela consegue desvelar grande parte
dos fenmenos que at a Idade Mdia tinham seu funcionamento obscuro.

No sculo XIX, ocorre uma mudana qualitativa, que muda a nfase do sujeito
para o social, do particular e do emprico para o geral, da intuio para a comunicao e o
conceitual. Raymond Williams (2011, p. 16-17) explica como estas mudanas se
expressaram na formao de palavras e sua relao com as mudanas culturais e sociais no
perodo que ele situa entre as ltimas dcadas do sculo XVIII e a primeira do sculo XIX:

Cinco palavras so os pontos-chave a partir dos quais esse mapa pode ser
desenhado. So elas indstria, democracia, classe, arte e cultura... As
mudanas em seu uso, naquele perodo crtico, revelam uma mudana
geral nas nossas maneiras caractersticas de pensar sobre nossa vida
comum: sobre nossas instituies sociais, polticas e econmicas; sobre
os objetivos que essas instituies so destinadas a representar; e sobre as
relaes com essas instituies e os objetivos de nossas atividades no
aprendizado, na educao e nas artes.

A primeira palavra importante indstria e o perodo em que seu uso se

modifica o perodo que agora chamamos de Revoluo Industrial.
Indstria, antes dessa poca, designava um atributo humano especfico...
nas ltimas dcadas do sculo XVIII, indstria passou tambm a
significar... uma palavra coletiva para nossas instituies manufatureiras
e produtivas e para suas atividades gerais... O rpido crescimento da
importncia dessas instituies considerado como a criao de um
novos sistema que na dcada de 1830, chamado pela primeira vez de
Industrialismo. Em parte, isso o reconhecimento de uma srie de
mudanas tcnicas muito importantes e de seu efeito transformador nos
mtodos de produo. tambm, no entanto, um reconhecimento do
efeito dessas mudanas na sociedade como um todo, que, com isso,
igualmente transformada.

Esta transformao de atributos pessoais (e tambm de processos) em substantivos

ocorreu de maneira muito semelhante na Matemtica. Otte, seguindo Marx, chamou este
processo de objetivao de habilidades subjetivas (1994), que Marx (1978) e Mumford
(1934, p. 9) mostraram que ocorreu tambm na produo, pois a passagem da manufatura
para a grande indstria resultou na transferncia para a mquina de atividades que antes

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

eram feitas pelo sujeito. Com essa transformao, aquilo que na manufatura exigia a
ferramenta e um sujeito para realiz-la, na indstria passou a ser feito por meio de
operaes mecnicas e independentes da presena fsica do sujeito, que passou a ter o
papel de supervisionar e dirigir o mecanismo.

Foucault (2007, p. 346) expressa ideias semelhantes ao abordar as profundas

transformaes ocorridas nas cincias, na virada do sculo XVIII para o XIX:

O saber, em sua positividade, muda de natureza e de forma... Nem seria

mais exato imaginar que a gramtica geral tornou-se filologia, a histria
natural, biologia, e a anlise das riquezas, economia poltica, porque
todos esses modos de conhecimento retificaram seus mtodos, se
acercaram mais de perto do seu objeto, racionalizaram seus conceitos,
escolheram melhores modelos de formalizao em suma, porque se
teriam desprendido de sua pr-histria por uma espcie de auto-anlise da
prpria razo. O que mudou, na curva do sculo, e sofreu uma alterao
irreparvel foi o prprio saber como modo de ser prvio e indiviso entre o
sujeito que conhece e o objeto do conhecimento.

Difcil descrever em melhores palavras as transformaes pelas quais tambm a

matemtica passou, e assim transformou-se, no sculo XIX, em Matemtica Pura, que tem
pouco em comum com a matemtica anterior ao sculo XIX.

nesse contexto que deve ser compreendida a crtica de Bolzano a Kant, e sua
leitura de que a herana deste ltimo tenha sido terrvel (1976). Kant havia afirmado, em
sua Crtica da Razo Pura, publicada pela primeira vez em 1781, que espao e tempo so
formas puras da intuio sensvel, princpios da sensibilidade a priori, princpios do
conhecimento a priori (A 21/B 35); que a Matemtica continha essencialmente juzos
sintticos, e que seus objetos seriam construtveis na intuio por meio das formas puras a
priori.

Segundo esta concepo, os conhecimentos analticos seriam baseados na lei da

contradio, e Kant julgou que a aplicao desta lei pressupunha que as proposies se
referem a objetos (ver Kant, A 594/B 622), no se preocupando com as proposies em si
mesmas. Desse ponto de vista, na matemtica, todo juzo analtico deveria ser baseado num
juzo sinttico, e os axiomas, em particular, seriam todos sintticos.

Bolzano concordou com estas concluses de Kant, com exceo do envolvimento

da intuio e do papel das proposies (que distinguiu radicalmente de juzos) na formao

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

do conhecimento. Para Bolzano, a matemtica essencialmente uma cincia de conceitos,
e ele percebeu que Kant manteve o foco da epistemologia no sujeito, o que no ajudava a
diferenciar o conhecimento da sua representao, nem a eliminar os conceitos de espao e
de tempo dos fundamentos do clculo.

Mas, afinal, que caractersticas eram essas, que tornaram a matemtica do sculo
XIX um saber completamente diferente da matemtica dos sculos anteriores? Antes do
sculo XIX, a atividade matemtica consistia, principalmente, em procurar mtodos mais
poderosos para resolver problemas externos a ela a maioria deles referentes mecnica e
astronomia e em procurar novas aplicaes. Os nmeros eram vistos como maneiras de
expressar quantidades ou da medida de grandezas8. Pelo menos at 1780, no havia
maiores preocupaes dos matemticos em explicar a natureza do clculo, e publicaes
que abordassem tal questo quase no eram encontradas em peridicos cientficos. Entre
1780 e 1800, verifica-se um pequeno, e pouco significativo, aumento do nmero de tais
publicaes (GARBINER, 1981, p. 23); nesse perodo, a soluo dos problemas de
fundamentos da matemtica se tornou incontornvel, e os matemticos comearam a
perceber, j com Lagrange (1736-1813), a necessidade de eliminar das suas demonstraes
analticas o uso dos conceitos de espao e de tempo, e o recurso visualizao de
propriedades geomtricas (cf. BOYER, 1949) nas demonstraes.

Mas foi no incio do sculo XIX que os matemticos passaram a ter a conscincia
de que a fundamentao adequada da Matemtica era uma exigncia para a prpria
evoluo e continuidade da mesma, e a questo tomou uma forma completamente nova.

Bolzano foi o primeiro a expressar esta tendncia com clareza e conscincia

histrica, pois no apenas tinha uma slida formao matemtica, como tambm
compreendia as questes filosficas que estavam em jogo, que diziam respeito natureza
do conhecimento, da forma de represent-lo e da necessidade de considerar os objetos
matemticos como conceitos independentes de suas representaes particulares ou de sua
aplicao.

Nenhum dos grandes matemticos de sua poca compreendeu como ele a relao
entre os diferentes problemas de fundamentos e os abordou como uma questo mais geral,
nem a necessidade de realizar um plano de reorganizao completa da matemtica, por
meio da eliminao dos conceitos de espao e de tempo e de analogias com a natureza ou

8
O prprio Bolzano ainda utilizava o termo Gre (grandeza).

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

recursos metafsicos do clculo diferencial e integral; de considerar a geometria como uma
rea particular da Matemtica cujas afirmaes deveriam ser provadas por meios analticos
e aritmticos; e passar a considerar a aritmtica como a parte mais geral da Matemtica
(ver Bolzano, 1905/2004). E foi assim que a Matemtica ganhou sua independncia das
outras cincias, deixando de ser o estudo das grandezas, medidas, clculos, muitas vezes
em funo de outras cincias, para tornar-se um conhecimento cujos conceitos no se
referem a objetos fsicos ou a atividades, mas que tem seus objetos prprios: funes,
derivadas, integrais, sries, sequncias, conjuntos, etc. E foi assim tambm que a ideia de
uma lgica pura e de uma filosofia da linguagem ganharam fora.

E, nesse processo, ocorreu uma nova mudana. O centro da atividade matemtica

passou a ser a noo de prova rigorosa de suas prprias afirmaes: o procedimento usado
por Bolzano no RB (1905/2004) que consistia em provar algo intuitivo, bvio, usando
conceitos analticos e a linguagem aritmtica, num processo em que o discreto (numrico)
explica o contnuo (geomtrico) (CLMACO, 2008, p. 10) viria a se tornar, ao longo
do sculo XIX, o padro de toda a matemtica, enquanto no sculo XVIII os matemticos,
ou no achavam que precisavam provar tais resultados, ou utilizavam conceitos alheios ao
clculo para tentar demonstr-los.

Os ideais de Bolzano de reorganizar a matemtica numa cadeia dedutiva de

afirmaes hierarquicamente organizadas de acordo com a analiticidade de suas afirmaes
seriam realizados com as obras dos grandes matemticos alemes da segunda metade do
sculo XIX, como Weierstrass, Dedekind (1831-1916) e Cantor. Com eles, os conceitos
matemticos que expressavam variao de fenmenos fsicos, qumicos e biolgicos
passaram a ser considerados objetos prprios da matemtica e definidos de maneira
puramente analtica, e o centro da atividade matemtica passou a ser as demonstraes e
a explorao das caractersticas dos novos conceitos e objetos matemticos. E provas
rigorosas, a partir do sculo XIX, passaram a significar demonstraes analticas, que no
usem geometria, nem espao, nem tempo, e sim a linguagem aritmtica, a lgica e,
progressivamente, a teoria dos conjuntos.

E foi assim que a Matemtica, como havia ocorrido com a indstria e a democracia,
tornou-se uma instituio social, e suas demonstraes passaram a ser consideradas como
parte de um sistema hierrquico de proposies, como algo comunicvel para comunidades
cada vez mais amplas, ao invs de algo que somente fornecesse certeza e convico de
uma pequena quantidade de especialistas. E foi assim que a mudana nos fundamentos da

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

matemtica impulsionou uma transformao maior da filosofia, com a semntica e a
linguagem tomando o lugar da epistemologia, e o desenvolvimento da lgica voltando para
o centro da atividade filosfica.

O paradoxo pedaggico que surgiu consiste em que, criado com finalidades

didticas e para facilitar a comunicao, a linguagem analtica e as demonstraes
rigorosas distanciaram a tal ponto a linguagem Matemtica da linguagem natural e do
senso-comum, que se tornaram algumas das maiores dificuldades encontradas pelos
professores de Matemtica da atualidade em ensinar a disciplina (sobre isso, ver, por
exemplo, Hanna, 2000).

Ficou claro, a partir do exposto, que as transformaes que ocorreram na

matemtica fazem parte de uma transformao maior ocorrida em toda a sociedade, e que a
prpria profissionalizao a que se refere Dias (2008, 2010) se insere no contexto das
transformaes sociais da poca, em particular da ampliao dos sistemas de ensino. Mais
do que a expresso da vontade de profissionais ou sociedades cientficas para se separar do
senso comum, tais transformaes constituram um passo necessrio da matemtica para
que ela aumentasse sua capacidade de generalizao, bem como para o incio de sua
difuso em larga escala, que seria impensvel se ela tivesse permanecido prisioneira da
aplicao a outras cincias ou ao uso cotidiano que se faz dela. Por outro lado, sem essa
generalizao, no teria sido possvel que surgisse, a partir do sculo XIX, uma nova gama
de aplicaes nas cincias naturais, nas aplicadas e na indstria.

No se pretende negar que tenha havido, nesse processo em que a matemtica

adquiriu sua independncia e formou seus prprios conceitos, , uma tendncia dos
matemticos a acreditar numa espcie de a-historicidade da matemtica, que supostamente
seria a nica rea do conhecimento totalmente pura (ver, por exemplo, Dieudonn,1990, p.
43).

Embora este no seja o objetivo deste artigo, acredita-se que tambm foi refutada
qualquer viso a-histrica da matemtica, na medida em que demonstrou-se que a criao
da matemtica pura foi parte de um processo histrico muito mais amplo, parte da
transformao da prpria cultura.

E, de fato, um dos papeis mais importantes da Filosofia da Educao Matemtica

mostrar que o desenvolvimento da matemtica no se d sem influenciar e sem ser
influenciado pelas grandes transformaes por que passa a sociedade.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

 No entanto, no reduzindo artificialmente a importncia das conquistas da
matemtica pura a supostos interesses de especialistas, de povos opressores ou polticos,
que se conseguir retomar as relaes da matemtica com suas origens; assim como no
reduzindo a matemtica escolar ao que intuitivo, cotidiano, ou ao que aparentemente tem
significado para o aluno, que se conseguir ajudar as crianas a compreenderem as grandes
conquistas que a Matemtica realizou, como parte do desenvolvimento da sociedade e da
cultura.

No apenas a matemtica, mas todo conhecimento formal precisa necessariamente

tomar certa distncia do senso comum para tornar-se cincia; e a matemtica um ramo do
conhecimento em que esta distncia maior, e que nos ltimos anos tambm tem estado
sob a mira de reformadores de currculo que, em nome do respeito ao conhecimento
cotidiano ou cultural da criana, defendem que a Matemtica no seja ensinada em sua
dimenso abstrata. Mas, se a distncia do senso-comum for justificativa aceita para reduzir
alguma disciplina do currculo, nenhum saber geral e abstrato poder permanecer na
escola, o que significaria o total esvaziamento de seus objetivos.

E a obra de Bolzano mostra, inclusive, que a aritmetizao esteve ligada, por suas
origens, busca iluminista por justia e contra toda forma de arbitrariedade.

Referncias bibliogrficas:

VILA, Geraldo. Introduo anlise matemtica. 2. ed. So Paulo: Edgard Blucher,

1999.

BACON, Francis. Novum Organum (Os Pensadores). Traduo de Jos A. R. de

Andrade. So Paulo: Nova Cultural, 2005.

BOLZANO, Bernard. Selbstbiographie; In: Ausgewhlte Schriften, dir. Winter, Eduard.

Berlin: Union, 1976.

___. Las paradojas del infinito. Mxico: Servicios Editoriales de la Facultade de

Ciencias/UNAM, 1991.

___. Paradoxien des Unendlichen. Leipzig: Felix Meiner, 1851.

___. Rein analytischer Beweis des Lehrsatzes, dass zwischen zwei Werten, die ein
entgegengesetztes Resultat gewaehren, wenigstens eine reelle Wurzel der Gleichung
liege. Praga: Gottloeb Hass. Ostwalds Klassiker der exacten Wissenschaften, Leipzig, v.
153, p. 343-395, 1905.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

___. Purely analytic proof of the theorem that between any two values which give
results of opposite sign, there lies at least one real root of the equation. In: RUSS, S.
The mathematical works of Bernard Bolzano. Oxford: OUP, 2004.

___.Bernard Bolzano-Gesamtausgabe . Reihe 1. Schriften. Band 18. Mathematisch-

physikalische und phylosophische Schriften, Winter E., Berg, J., Kambartel, et al. Stuttgart
: F. Frommann, 1989.

___. Wissenschaftslehre, 4 vol. Sulzbach: Wolfgan Schultz. Reprint Scientia Verlag

Aalen, 1981.

BOYER, C. B. The history of the calculus and its conceptual development. New York:
Dover, 1949.

CAVAILLS, Jean. Obras completas de Filosofia da Cincia. Rio de Janeiro: Forense,

2012.

CLMACO, Humberto de Assis . Geometria e Aritmetizao da Grcia Antiga

Matemtica Moderna. Seminrio Nacional de Histria da Matemtica, v. 1, p. 111-122,
2011.

___. Prova, Explicao e Intuio em Bernard Bolzano. In: Encontro Brasileiro de Ps

Graduao em Educao Matemtica, 2008, Rio Claro/SP. XII Encontro Brasileiro de Ps
Graduao em Educao Matemtica, 2008.

___.Prova e Explicao em Bernard Bolzano. 2007a. Dissertao (Mestrado)

Faculdade de Educao da Universidade Federal do Mato Grosso, Cuiab.

___. Sobre a interface entre conceito e intuio na noo de explicao matemtica.

In: IX Encontro Nacional de Educao Matemtica, 2007, Belo Horizonte - MG. IX
Encontro Nacional de Educao Matemtica, 2007b.

CLMACO, Humberto de Assis ; OTTE, Michael. Bernard Bolzano: o conceitualismo e a

intuio na Educao Matemtica. Revista de Educao Publica (UFMT), v. 19, p. 165-
180, 2010.

DESCARTES, Ren. Meditaes (OsPensadores). So Paulo : Abril Cultural, 1983.

DIAS, Andr Lus Mattedi et al. A institucionalizao da matemtica moderna nos

currculos escolares ou a hegemonia da cultura matemtica cientfica nas escolas. In:
ESOCITE VIII - Jornadas Latinoamericanas de Estudios Sociales de la Ciencia y la
Tecnologa, Buenos Aires, 2010, p. 1-19.

DIAS, Andr Lus Mattedi. O movimento da matemtica moderna: uma rede

internacional cientfica-pedaggica no perodo da Guerra Fria. In: Jornadas Latino-
americanas de estudos sociais das cincias e das tecnologias, ESOCITE, VII. Rio de
Janeiro: Ncleo de Computao Eletrnica da UFRJ, 2008.

DIEUDONN, Jean. A formao da matemtica contempornea. Traduo de J. H. H.

Perez. Lisboa: Dom Quixote, 1990.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

DUGAC, Pierre. Elments danalyse de Karl Weierstrass. In: Archive for History of
Exact Sciences 10, 41-176, 1972.

___. Histoire du theorem des accroissements finis. In: Archives nternationles

dHhistoire des Sciences 30, 86-101, 1980.

FOUCAULT, Michel. As Palavras e as Coisas. Traduo de Salma Tannus Muchail. 9

Edio. Martins Fontes: So Paulo, 2007.

FREUDENTHAL, Hans. Did Cauchy plagiarize Bolzano? Archive for History of Exact
Sciences 18. XI, Volume 7, Issue 5, pp 375-392, sede da revista desconhecida, 1971.

GRABINER, Judith V. The origins of Cauchys rigorous calculus. Cambridge e

Massachusetts: editor do The Massachusetts Institute of Technology, 1981.

HANNA, Gilla. Proof, explanation and exploration: an overview. Educational Studies in

Mathematics (EMS), v. 44, p. 5-23. Dordrecht: 2000.

HYKSOVA, Magdalena. Karel Rychlk and Bernard Bolzano. Seminrios sobre

questes filosficas relacionadas Matemtica e Fsica. Praga: Prometeu, 2000.

IEZZI, Gelson, MURAKAMI, Carlos. Fundamentos da Matemtica Elementar:

Conjuntos e Funes. So Paulo: Atual, 2005.

KANT, Immanuel. Crtica da razo pura. 5. ed. Traduo de M. P. Santos; A. F.

Morujo. Lisboa: Fundao Calouste Gulbenkian, 2001.

KNEALE, William; KNEALE, Marta. O desenvolvimento da lgica. Traduo de M. S.

Loureno. 3. ed. Lisboa: Fundao Calouste Gulbenkian, 1991.

LAPOINTE, Sandra. Bernard Bolzano: contexte et actualit. In:___. Bernard Bolzano:

philosophie de la logique et thorie de la connaissance. Philosophique v. 31, p. 3-17.
Printemps: 2003.

MARX, Karl. Para a crtica da economia poltica. In:___. Manuscritos econmico-

filosficos e outros textos escolhidos. 2. ed. So Paulo: Abril Cultural, 1978.

MUMFORD, Lewis. Technics and Civilization. Nova Iorque: Harcourt, 1934.

NEWTON, Isaac. Philosophiae Naturalis Principia Mathematica, 3; ed. Traduo para

o ingls de Bernard Cohen e Anne Whitman's. Califrnia: Universidade da Califrnia,
1999.

OTTE, Michael. Das Formale, das Soziale und das Subjektive: Eine Einfhrung in die
Philosophie und die Didaktik der Mathematik. Frankfurt: Suhrkamp, 1994.

PORTA, M. A. G. Platonismo e intencionalidad - I: a propsito de Bernhard Bolzano.

Primeira Parte. Sntese, Belo Horizonte, v. 29, n.94, p. 251-275, 2002.

___. Platonismo e intencionalidad - II: a prpsito de Bernhard Bolzano. Sntese, Belo

Horizonte, v. 30, n.96, p. 85-106, 2003.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO

___. A polmica em torno ao psicologismo de Bolzano a Heidegger. Sntese, Belo
Horizonte, v. 31, n.99, p. 107-131, 2004.

RUSNOCK, Paul: Bolzano and the traditions of analysis. In: KNNE, W.; SIEBEL, M.;
TEXTOR, M. Grazer Philosophische Studien, n. 53, p. 61-85, 1997.

RUSS, S. The mathematical works of Bernard Bolzano. Oxford: OUP, 2004.

SCHUBRING, Gert. Bernard Bolzano: Not as Unknown to His Contemporaries as is

Commonly Believed? Historia Mathematica, v. 20, 4553, 1993.

___. Conflicts Between Generalization: Number Concepts Underlying the Development

of Analysis in 17th-19th Century. Nova Iorque: Springer, 2004.

SKED, Alan. Declnio e Queda do Imprio Habsburgo: 1815-1918. Lisboa: Edies 70,
2008.

SINACEUR, H. Cauchy et Bolzano. Revue dHistoire des Sciences, v. 26, 87112, local
de publicao e editora desconhecidos, 1973.

STRUIK, Dirk. Histria Concisa das Matemticas. Traduo de Joo Guerreiro. 3. ed.
Lisboa: Gradiva, 1989.

SUNDHOLM, B. Gran. When, and why, did Frege read Bolzano? Logica Yearbook,
164-174, 2000.

TWARDOWSKI, Kasimir. On the Content and Object of Representation: A

psychological investigation. Traduo para o ingls de R. Grossmann. Haia: Martinus
Nijhoff, 1977.

WALDEGG, Guillermina. Bolzanos Approach to the Paradoxes of Innity: Implications

for Teaching. Science & Education, v. 14, p. 559577. Dordrecht: Kluwer Academic
Publishers, 2005.

WILLIAMS, Raymond. Cultura e Sociedade: de Coleridge a Orwell. Petrpolis: Vozes,

2011.

WOODRUFF , Smith David. Husserl. Londres-Nova Iorque: Routledge, 2007.

36 Reunio Nacional da ANPEd 29 de setembro a 02 de outubro de 2013, Goinia-GO