O QUE DEMONSTRAO?

ASPECTOS FILOSFICOS
Thiago Nagafuchi
1
Irina de Lourdes Batista
2
RESUMO
O que demonstrao? uma pergunta ampla, que pode ser respondida a partir de
diversas vertentes. Nosso objetivo no obter uma resposta nica, mas sim analisar e
investigar como um olhar filosfico para esta pergunta pode contribuir para a Educao
Matemtica. Para este fim, este artigo, que parte do nosso estudo de mestrado, trata do
tema demonstrao em matemtica a partir de alguns aspectos filosficos, como o
significado das palavras prova e demonstrao, sua relao com a Matemtica, a Filosofia
da Matemtica e a Lgica Matemtica. Em complementao, feita a anlise acerca da
epistemologia dos pesquisadores em Educao Matemtica que estudam o tema.
Palavras-chave: Prova, Demonstrao, Educao Matemtica, Filosofia da Matemtica,
Lgica Matemtica, Epistemologia dos Pesquisadores.
INTRODUO
H quem diga que as provas so o corao da matemtica. De toda forma, no h
como negar sua importncia histrica e epistemolgica no desenvolvimento da atividade
matemtica e tambm no atual cenrio que se encontra a Cincia.
A despeito de sua importncia para a Matemtica, por vezes a prova se torna a
atividade nuclear no ensino de diversas disciplinas que se encontram nos programas
curriculares de cursos superiores de matemtica. Um motivo que, sozinho, torna suficiente,
e tambm necessria, a incluso de uma discusso aprofundada do tema entre os
educadores matemticos.

1
Mestrando do Programa de Ps-Graduao em Ensino de Cincias e Educao Matemtica da Universidade
Estadual de Londrina.
2
Professora doutora do Programa de Ps-Graduao em Ensino de Cincias e Educao Matemtica da
Universidade Estadual de Londrina.
Motivos no faltam, tambm, para tal discusso na Educao Matemtica. Basta
notar o crescente nmero de pesquisas internacionais realizadas nos ltimos anos como
lembra Pietropaolo (2006), que do fato do tema chamar tanto a ateno dos pesquisadores,
levou criao de um jornal a ele dedicado: International Newsletter on the Teaching and
Learning of Mathematical Proof, disponvel em <http://www.lettredelapreuve.it>. A
maioria das pesquisas envolvendo esse assunto na Educao Matemtica, foi desenvolvida
a partir de meados dos anos 80 e intensificada nos anos 90.
Um dos possveis motivos da exploso de pesquisas sobre provas e demonstraes,
foi a incluso das demonstraes no currculo da educao bsica em pases como Estados
Unidos, Canad e Inglaterra. Hanna e de Villiers (2008) corroboram dizendo que diversos
documentos curriculares de matemtica elevaram o status da prova na matemtica escolar
em diversas jurisdies educacionais pelo mundo.
O tema vem sendo igualmente discutido nos principais congressos internacionais de
educao matemtica. No prximo ICMI, que realizar-se- em maio de 2009 em Taiwan,
haver um grupo de estudos intitulado Proof and Prooving in Mathematics Education, que
alm da atrao na conferncia de estudos com apresentaes de trabalhos, editar-se- um
volume com contribuies selecionadas nas apresentaes de trabalho, alm de um website
com informaes sobre a conferncia, j disponvel em
<http://jps.library.utoronto.ca/ocs/index.php?cf=8>. Mais informaes constam na revista
ZDM nmero 1, volume 40 de janeiro de 2008. O documento de discusso da conferncia
prope inmeros e possveis temas de estudo e discusso.
No Brasil, em 2002, ocorreu um encontro para a discusso do tema. Tal encontro
gerou um nmero especial do peridico BOLEMA, o que mostra que o assunto vem
tomando cada vez um lugar de importncia em pesquisas da educao matemtica. Porm,
as discusses sobre o tema ainda devem ser ampliadas por aqui.
Por conseguinte, faz-se conspcua a discusso sobre provas e demonstraes na
educao matemtica, principalmente na realidade brasileira, que carece de discusses
sobre o tema.
AS PALAVRAS: DEMONSTRAO E PROVA.
A pergunta que direciona os estudos deste artigo O que demonstrao?.
interessante, sobremaneira, iniciarmos com os significados das palavras prova e
demonstrao.
Por uma busca no dicionrio de lngua portuguesa Houaiss online, encontramos os
seguintes significados e rubricas:
Demonstrao: ato ou efeito de demonstrar. 1 qualquer recurso capaz de atestar
a veracidade ou a autenticidade de alguma coisa; prova. 1.1 raciocnio que torna
evidente o carter verdico de uma proposio, idia ou teoria Ex.: d.
matemtica.
Prova: 1 aquilo que demonstra que uma afirmao ou um fato so verdadeiros;
evidncia, comprovao. 2 ato que d uma demonstrao cabal de (afeto,
fidelidade, felicidade etc.); manifestao, sinal. 3 trabalho escolar, ger. composto
de uma srie de perguntas, que tem por finalidade avaliar os conhecimentos do
aluno; teste, exame.(HOUAISS Online).
Desconsiderando o uso coloquial da palavra, vemos que apenas a rubrica 1.1 do
significado de demonstrao tem uma relao direta com a Matemtica. Vemos tambm
que a prova uma espcie de demonstrao, usada para demonstrar que um fato ou
afirmao so verdadeiros, e ainda pode incluir o significado de demonstrao matemtica.
Um olhar mais cuidadoso para as palavras nos leva a um dicionrio de termos
filosficos, no qual encontramos o seguinte:
Demonstrao: Uma demonstrao uma deduo destinada a provar a verdade
da sua concluso apoiando-se sobre premissas reconhecidas ou admitidas como
verdadeiras. (LALANDE, 1999, p. 239).
Prova: Operao que leva a inteligncia de uma maneira indubitvel e
universalmente convincente (pelo menos de direito) a conhecer a verdade de uma
proposio antes considerada como duvidosa. A prova , em geral, um
raciocnio, mas nem sempre: pode consistir numa apresentao de fato que afasta
a dvida. Da que esta palavra, num sentido, por assim dizer, material, se aplique
tambm ao fato, ao documento, que prova alguma coisa. Por outro lado, a prova
distingue-se, pelo seu carter de verdade, das formas do raciocnio hipottico-
dedutivo, onde simplesmente se mostra que existe uma ligao necessria entre
certas premissas e certas conseqncias, sem nada pronunciar assertoticamente
sobre estas. A idia de prova pertence mesma ordem de noes lgicas como
as de dvida, refutao e certeza (LALANDE, 1999, p. 879).
Ou seja, neste dicionrio, o termo prova tomado como mais amplo que
demonstrao, e da mesma forma que o dicionrio de Lngua Portuguesa, inclui o
significado de demonstrao.
J num dicionrio de termos matemticos, o Dicionario de Matematicas
encontramos Prova: sinnimo de demonstrao (BOUVIER e GEORGE, 1984, p. 678),
e uma busca pelo termo demonstrao remete diretamente ao termo formal, em que se
define demonstrao formal como sendo referente aos clculos de predicados e
proposicional. J o Dictionnaire des Mathmatiques Modernes, define apenas
demonstrao:
Demonstrao: srie de relaes pelas quais passamos de axiomas, ou de
teoremas j estabelecidos, para um teorema dado. (CHAMBADAL, 1969, p.
67).
Entretanto, muitas vezes, principalmente em Matemtica e nas aulas a que somos
submetidos s provas, as palavras so tomadas como sinnimos. Como nos diz Pietropaolo
(2005), no mbito da Matemtica as palavras so sinnimas e no precisam de
adjetivaes, como no caso de prova rigorosa.
Esta diferena tambm existe em outras lnguas. Em francs, existem as palavras
preuve e demonstration, embora muitas vezes usadas como sinnimas, so distintas para
educadores matemticos. J na literatura anglfona, usa-se proof e proving e ainda uma
distino em formal proof e mathematical proof. (PIETROPAOLO, 2005).
O significado da palavra ainda pode variar de acordo com o contexto e o prprio
conceito de demonstrao, e mesmo dentro da comunidade de educadores matemticos que
pesquisam sobre o tema, h variaes.
DEMONSTRAO, MATEMTICA E FILOSOFIA DA MATEMTICA
A Matemtica uma cincia que permite um campo muito amplo de aplicaes.
Mesmo dentro da Matemtica, existem campos chamados de Matemtica Aplicada, cujo
fim no , naturalmente, unicamente terico. O nosso interesse aqui investigar o que
demonstrao para aquele matemtico que faz de seu uso uma busca ao desenvolvimento
de uma cincia terica.
A possibilidade da demonstrao no seio da Matemtica a distingue da necessidade
e do carter emprico das cincias que so ditas naturais. Por meio dela os matemticos
podem desenvolver e avanar em sua cincia, estabelecendo uma rvore terica derivada
de algumas verdades primeiras, os postulados e axiomas, em que cada galho e cada folha
representam um resultado, um teorema ou um corolrio, mantendo o carter de verdade,
universal e atemporal. Conforme Shapiro:
Como o conhecimento matemtico parece estar baseado em demonstrao, no
em observao, a matemtica um aparente contra-exemplo principal tese
empiricista. De fato, a matemtica , algumas vezes, tida como um paradigma de
um conhecimento a priori conhecimento anterior a, e independente da
experincia. (SHAPIRO apud BICUDO, 2002, p.82).
Para Bicudo (2002), as definies da Lgica o que deveria modelar as
demonstraes matemticas, porm, a demonstrao que se encontra nos livros e
peridicos aquela que satisfaz a comunidade de especialistas, no interessando o quo
distante ela possa estar do ideal lgico.
Godino e Rcio (1997) argumentam que no contexto da matemtica profissional,
como a atividade produzida pelos matemticos, nem sempre as provas obedecem
estritamente a caracterstica to cara aos aficionados pelo formalismo, ou seja, elas no so
dadas de acordo com a definio de prova formal.
A Histria da Matemtica, como assevera Pietropaolo (2005), mostra que a busca
da verdade e o desejo de valid-la tm sido objeto de estudos matemticos h mais de dois
mil anos, e que apenas recentemente o absolutismo da demonstrao e da verdade foram
postas em cheque.
Ainda para o mesmo autor, a explicao da obsesso pela busca de verdades
absolutas simples: isto afastaria definitivamente a incidncia do julgamento humano e
das evidncias meramente intuitivas da Matemtica.
Era este afastamento que pretendiam as escolas logicista e formalista da Filosofia
da Matemtica. Por um lado, a primeira tentaria a fuso entre dois campos do
conhecimento, a Matemtica e a Lgica. Russel (1974, p.185) argumentou que a
conseqncia que se tornou impossvel traar uma linha entre as duas; de fato, as duas
so uma. E ainda,
A Matemtica uma cincia dedutiva: partindo de certas premissas, chega, por
um estrito processo de deduo, aos vrios teoremas que a constituem. verdade
que, no passado, as dedues matemticas eram com freqncia muito
destitudas de rigor; tambm verdade que o rigor um ideal dificilmente
alcanvel. No obstante, se faltar rigor em uma prova matemtica, ela ser, sob
esse aspecto, defeituosa; no constitui defesa a alegao de que o senso comum
mostra ser o resultado correto, porquanto, se tivssemos de confiar nisso, melhor
seria abandonar completamente o argumento do que trazer a falcia em socorro
do senso comum. Nenhum apelo ao senso comum, ou intuio ou qualquer
outra coisa que no a estrita lgica dedutiva, deve ser necessrio Matemtica
aps estabelecidas as premissas. (RUSSEL, 1976, p.139)
E por outro lado, num sentido de preservar o rigor, o Formalismo pregava a
completude dos sistemas formais que pudessem estar subjacentes s teorias matemticas,
querendo axiomatizar e formalizar todas as teorias possveis.
O caminho que Hilbert encontrou para isso foi a metamatemtica, cujo objeto de
estudo so as teorias formais. Por um lado, cabia-lhe mostrar que a teoria consistente, ou
seja, no encerra contradies em si. Havia tambm o problema da completude, isto , a
propriedade que garante que dada qualquer assero expressa na linguagem do sistema,
ela, ou sua negao, so demonstrveis (mas no ambas, pois seno o sistema seria
inconsistente) (da Silva, 2007, p.188), e ainda a independncia dos axiomas do sistema.
O programa de Hilbert sofreu um terrvel golpe quando, em 1931, um matemtico
austraco chamado Kurt Gdel publicou um artigo em que mostrava que: (1) a aritmtica
formal, e por extenso a maior parte das teorias matemticas interessantes, era incompleta
e que (2) a demonstrao da consistncia da aritmtica formal era impossvel por mtodos
que pudessem ser formalizados na prpria aritmtica formal (da Silva, 2007, p.204-5,
grifos do autor).
Uma outra escola filosfica, que surgiu como uma contraposio ao Formalismo,
quando se acreditou que os teoremas de Gdel significavam a inutilidade da formalizao,
foi o Quasi-empiricismo de Imre Lakatos.
Lakatos props uma dinmica do conhecimento matemtico baseada em uma
heurstica que tem como motores principais as provas e as refutaes. Os passos dessa
heurstica sintetizam-se da seguinte forma: (1) Uma conjectura primitiva, (2) prova, (3)
contra-exemplos conjectura primitiva, chamados de globais, (4) a prova re-examinada,
(5) exame de provas e outros teoremas para verificar se o lema achado ou o conceito
gerado pela prova ocorre neles, (6) as conseqncias at ento aceitas da conjectura
original e agora refutada so conferidas e (7) os contra-exemplos convertem-se em novos
exemplos, abrindo novos campos de investigao. (LAKATOS, 1978).
E, assim, ele argumenta que o estilo dedutivista, fundamentado nos axiomas,
teoremas e provas, oculta a luta, esconde a aventura. Toda a histria evapora, as
sucessivas formulaes provisrias do teorema durante a prova so relegadas ao
esquecimento enquanto o resultado final exaltado como infalibilidade sagrada.
(LAKATOS, 1978, p.186).
DEMONSTRAO E A LGICA MATEMTICA
Destacamos inicialmente o estreito lao entre a demonstrao e a Lgica, que possui um
ramo que a tem como objeto de estudo. Desta forma, comeamos com a definio de prova
formal dada por Tarski (1969), que a considera como uma sntese de uma construo de
uma seqncia de proposies tal que:
(i) a primeira proposio um axioma; (ii) cada uma das outras ou um axioma
ou dedutvel diretamente das que a precedem na seqncia; (iii) a ltima
proposio aquilo que se pretendia demonstrar. (Tarski, 1969, p.75).
E ainda podemos definir a demonstrao por meio de um sistema formal, que
consiste de (i) um conjunto de axiomas e (ii) um conjunto de regras de inferncia, que
permitem uma relao entre os axiomas e as proposies. No primeiro conjunto,
encontramos alm dos axiomas da teoria propriamente dita, os axiomas lgicos.
A partir disso, na Lgica, sendo F uma frmula escrita numa linguagem formal L,
ela ser formalmente demonstrvel num sistema formal se existir uma seqncia de
frmulas que contm apenas axiomas ou frmulas demonstradas formalmente a partir das
frmulas que precedem na lista. E assim, uma demonstrao de F uma seqncia, uma
lista, que se termina por F. As frmulas demonstradas so chamadas teoremas ou teoremas
formais (WAGNER, 2002).
Para da Silva (2002), considerar a demonstrao como seqncias ordenadas no
espao lgico, com relaes de dependncia ou conseqncia lgicas, reflete apenas um de
seus aspectos, que ele chama de lgico-epistemolgico. Para ele ainda existem mais dois
aspectos: o retrico e o heurstico.
O aspecto retrico remete ao poder de convencimento das demonstraes, que,
segundo o qual, elas aparecem como portadoras de fora coercitiva de aquiescncia s
teses demonstradas (DA SILVA, 2002, p.69).
O outro aspecto, em que uma demonstrao tem uma funo heurstica, versa que a
ela pode ser indutora de descoberta matemtica. Aqui o autor toma a perspectiva da
epistemologia falibilista popperiana, proposta por Imre Lakatos em sua Filosofia da
Matemtica centrada na dialtica de provas e refutaes.
Sendo assim, uma vez que a demonstrao precisa de uma incorreo lgica para
poder induzir ao progresso matemtico, segundo o aspecto heurstico, ela no pode ser uma
demonstrao logicamente impecvel do aspecto lgico-epistemolgico. O que
impossibilitaria, segundo esta viso, a possibilidade de uma convivncia entra estes dois
aspectos discutidos.
Da Silva (2002) enumera as seguintes duas finalidades das demonstraes: (i)
estabelecer a veracidade de um enunciado e (ii) convencer sobre a veracidade do que
demonstrado.
Uma vez que as definies dadas acima favorecem apenas a finalidade (i), pois no
abre espao para um sujeito, a finalidade (ii), assim como o aspecto heurstico, mostra a
necessidade de um sujeito, de um carter subjetivo.
Embora o autor afirme que no tenha o papel de expor a teoria das demonstraes,
e muito menos critic-la, ele conclui apresentando duas observaes: a primeira, em que
ele chama esta mistura de elementos objetivos e subjetivos de indesejvel, alegando por
que no separar definitivamente o objetivo do subjetivo, relegando teoria matemtica das
demonstraes simplesmente o papel de estudar relaes de dependncia lgica em seu
escopo mais geral [...]? (DA SILVA, 2002, p.78); e a segunda, alegando que, ao passo
que a demonstrao s existe no interior de um sistema formal determinado, no se pode
esperar que as verdades da matemtica sejam demonstrveis em um sistema formal que
obedea restries como a decidibilidade de seus axiomas, alegando que isso no ocorre
nas demonstraes da vida real.
Em outro estudo, encontramos ainda uma anlise da palavra formal, que pode ter
alguns significados enumerados por Arzarello (2007). A primeira forma, concerne as
sentenas matemticas, como objetos sintticos estruturados, que so independentes de
seus contextos intertextuais. Por exemplo, as sentenas da teoria do silogismo de
Aristteles, em que as concluses dependem das formas sintticas das sentenas.
A segunda forma concerne o modo como a matemtica apresentada como produto
final numa linguagem formalizada. A terceira forma diz respeito noo de conseqncia
lgica.
Antes de falarmos desta terceira forma, convm introduzir as noes de prova e
derivao dadas por Rav (1999) e tambm discutidas por Arzarello (2007).
Para os autores supracitados, uma prova uma prova conceitual do discurso
matemtico costumeiro, com um contedo semntico irredutvel. J uma derivao em
uma teoria formalizada T, uma seqncia finita de frmulas na linguagem de T, cada
membro da qual ou um axioma ou o resultado da aplicao de uma das muitas regras de
inferncia estabelecidas finita e explicitamente frmulas prvias na seqncia. (Rav,
1999). Ou seja, para ele, uma derivao o que definimos acima como prova formal.
A seguir, chegaremos numa outra definio de prova de acordo com essa
perspectiva. Porm, faamos algumas observaes antes. Cada teorema uma suposio B
para a qual existe outra suposio A, tal que A a conseqncia lgica de A. Isto pode ser
simbolizado por A B, em que a seta tem somente uma funo icnica, ou seja, no
significa implicao formal. Para Rav,
ao ler um artigo ou monografia, de forma freqente acontece como todos
sabem muito bem que se chega num impasse, no vendo porque uma certa
afirmao B deve seguir de uma afirmao A. [...]. Assim, ao tentar entender a
afirmao do autor, se pega um papel e um lpis e tenta-se preencher as lacunas.
Aps alguma reflexo na teoria que est por trs, o significado dos termos e o
uso do conhecimento geral sobre o tpico, incluindo eventualmente uma
manipulao simblica, v-se um caminho de A para A
1
, de A
1
para A
2
,..., e
finalmente de A
n
para B. Esta anlise pode ser escrita sistematicamente como
segue: A A
1
, A
1
A
2
,..., A
n
B. (RAV, 1999, p. 14).
E se h dificuldade em uma dessas passagens, pode haver uma interpolao entre A
e A
1
, como A A e A A
1
. O processo de interpolaes no tem um limite superior,
ou seja, o tamanho da anlise de uma afirmao depende do agente.
Assim, chegamos a seguinte definio de prova: uma prova um conjunto
ordenado de afirmaes da forma A
i
A
i+1
, que so ligadas por transitividade. Em outras
palavras, a prova nada mais do que uma decomposio da relao de conseqncia
numa corrente de instncias da mesma relao (garantida a transitividade) que fcil de
ver, at que as pessoas concordam que as vem. (ARZARELLO, 2007, p.49),
completando que a prova um discurso que pode se referir a cada ramo possvel do
conhecimento matemtico que o agente acredita ser til para garantir que B de fato
conseqncia lgica de A.
A partir dos comentrios acima, vimos que, embora as definies dadas pela Lgica
excluam a possibilidade de um sujeito, o apelo de uma prova est intimamente conectado
ao sujeito. ele quem deve compreender, se convencer, estruturar e reescrever uma prova.
DEMONSTRAO SOB UMA ABORDAGEMSOCIAL
Deixando o escopo da Lgica, podemos argumentar sobre o papel social da
demonstrao. Se a demonstrao o ncleo da Matemtica, ento ela um aspecto central
prtica da Matemtica.
Paul Ernest prope uma Filosofia da Matemtica cunhada em aspectos sociais,
qual ele denomina Construtivismo Social. Ernest (2006) descreve tal filosofia como
nominalista, em relao ontologia, e como convencionalista, em respeito epistemologia
e aos fundamentos do conhecimento. O construtivismo social uma filosofia nominalista
porque os objetos da matemtica so signos, e convencionalista porque os conceitos,
termos, teoremas, regras e lgica das provas, verdades e teorias matemticas so entidades
culturais socialmente construdas.
Para ele, a prova algo essencial para o estabelecimento da verdade matemtica.
Necessria, porm no suficiente. Ela depende que um grupo de profissionais as aceite e
as use, alm de fatores de segunda ordem, que so subjetivos a cada profissional e que
influenciam o estabelecimento de novos conhecimentos matemticos.
Em um sentido parecido, Davis (2006) cita o Clay Mathematics Institute
1
, que
oferece prmios de um milho de dlares para a soluo de cada um dos sete famosos
problemas. O Instituto, por conseguinte, criou um critrio de aceitabilidade das solues.
Primeiro, a soluo deve ser publicada num peridico renomado; segundo, a soluo deve
permanecer aceita na comunidade matemtica por um perodo de dois anos; e por ltimo, o
instituto nomeia uma comisso para verificar a soluo.
Em resumo, uma soluo aceita se um grupo de matemticos qualificados
concorda com a soluo. Ou seja, um fenmeno social, em que a natureza da matemtica
construda socialmente e depende de um consenso.
Livingstone (1999) analisa a demonstrao sob a tica da Sociologia da Cincia, e
desenvolve seu argumento acerca das culturas de demonstrao, concatenando os seguintes
aspectos da prova: o raciocnio matemtico, a argumentao matemtica, a materialidade
da cultura matemtica, o papel das definies e a fenomenologia da descoberta
matemtica.
Para tanto, o autor utiliza a teoria da Gestalt, argumentando que o raciocnio
matemtico de uma prova anlogo a algumas caractersticas da percepo gestalt. Por
exemplo, considere a seguinte prova da unicidade do elemento identidade de um grupo:

1
http://www.claymath.org/
sejam e e e dois elementos identidades, ento e = e.e = e. A prova apresenta duas
gestalts, a primeira, reside no fato de o termo intermedirio poder ser lido de duas formas
diferentes (e como um elemento identidade esquerda e e como um elemento identidade
direita), a segunda, que diz respeito ao que realmente foi provado, no caso, que se existem
dois elementos identidades, eles devem ser iguais.
Ou seja, para o autor, a gestalt esta caracterstica do raciocnio que esto
implcitas e que subjazem as provas matemticas, presentes em todos os nveis de
demonstraes. Esta gestalt - idiossincrticas uma demonstrao particular uma
organizao de prticas de demonstrao que exibem o raciocnio daquela gestalt. E ainda
mais, o raciocnio e a prtica matemtica so a arte de encontrar tais gestalts.
E por meio delas que Livingstone justifica o que ele chama de fenomenologia da
descoberta matemtica. O mote da descoberta seria o buscar e encontrar tais gestalts,
residindo neste ato os elementos necessrios para que ela ocorra. Enquanto o matemtico
configura um curso de raciocnio integrando, descartando, revisando, comparando,
combinando e investigando seus argumentos parciais, ele orienta e compe o seu trabalho.
E nesta viso sociolgica, quase antropolgica, se o trabalho dos matemticos
provar teoremas, a descoberta matemtica o real trabalho do fazer matemtica.
Em uma das concluses, Livingston sugere que o aparecimento da verdade
necessria ou certeza absoluta na demonstrao matemtica [...] pode ser examinada como
um fenmeno cultural e como um fenmeno gerado pelas mesmas prticas que sustentam
estas prticas - ou seja, como um fenmeno que pertence a uma tribo particular, a tribo dos
matemticos provadores
1
de teoremas. (LIVINGSTONE, 1999, p.885).
PROVA E EDUCAO MATEMTICA: EPISTEMOLOGIA DOS PESQUISADORES
Acima vimos a importncia que o assunto demonstrao vm ganhando em
pesquisas na rea da Educao Matemtica. Segundo Hanna (2008), as reas de nfase
destes estudos
2
so: os aspectos epistemolgicos da prova, os aspectos cognitivos, uso de

1
Traduo livre do termo prover.
2
Vale ressaltar que todos os estudos a que ela se refere so internacionais.
intuio e dos esquemas nas provas, a relao entre prova e raciocnio, a utilidade da
heurstica para o ensino da prova, a nfase em estruturas lgicas no ensino superior, etc.
Porm, com o crescente nmero de pesquisas sobre o tema, sobre as mais diversas
perspectivas, h de se esperar que no haja consenso entre os prprios pesquisadores
acerca do que demonstrao em matemtica. Como argumentou Balacheff (2004), em
uma pesquisa em que, da anlise de diversos artigos sobre o tema, chegou concluso
acerca de diferentes pontos de vista a respeito das concepes dos pesquisadores em
Educao Matemtica que escreveram sobre o tema. No que os pesquisadores devam
todos seguir uma mesma linha, mas as convergncias deveriam ser visveis e as
divergncias tornadas em questes de pesquisa.
As palavras-chaves das pesquisas no se limitam palavra prova, h ainda
argumentao, justificao, validao, e para cada uma delas, os pesquisadores tm em
mente significados ligeiramente diferentes.
Balacheff (2004) pergunta se um consenso possvel, em que consenso seria uma
estrutura terica comum, e o impasse na rota para alcanar tal programa a prpria
epistemologia de prova matemtica. Por epistemologia, o autor entende a identificao de
um objeto e a rede de relaes que se estabelece em volta de outros objetos, tal como
problemas, tarefas e outras possveis atividades que a envolvem.
Ele ento enumera as diferentes vises epistemolgicas acerca da prova, e
argumenta que cada viso essencial da determinao de escolha de programas de
pesquisa e at mesmo compreenses radicalmente diferentes do que os alunos podem
produzir.
As vises so: (1) a prova matemtica como um tipo exemplar e universal de prova,
(2) a prova e a sua natureza idiossincrtica, (3) a prova como ncleo da Matemtica, (4) a
prova como uma ferramenta necessria Matemtica, (5) a prova como uma
especificidade da matemtica como um campo autnomo.
Ele argumenta:
De fato, no podemos evitar envolver em nosso trabalho nossa prpria
epistemologia de prova matemtica, e alm, nossa prpria epistemologia da
matemtica. Mas se no estamos cientes das diferenas entre estas
epistemologias e as implicaes destas diferenas ao compartilhar teorias e
mtodos, problemas e resultados, estas epistemologias tornar-se-o o obstculo
essencial ao progresso em nosso campo de pesquisa. neste sentido que a
epistemologia dos pesquisadores poderia tornar-se um impasse muito difcil de
evitar ou resolver. (BALACHEFF, 2004, p. 10)
O autor enumera ainda alguns pontos comuns, que envolvem o aspecto social da
racionalidade matemtica, a existncia de relaes entre argumentao e prova, a
necessidade de se analisar a prova sob a luz tanto da teoria quanto da prtica, etc.
E em outra sntese, Balacheff (2004) analisa as estruturas de pesquisa que focam
aspectos textuais e aspectos interpessoais, que seriam ainda outras epistemologias de
pesquisa.
CONCLUSO
Este artigo mostrou algumas noes sob o ponto de vista filosfico e
epistemolgico sobre o que so e para que servem as demonstraes. A nossa hiptese
de que uma resposta sistemtica ou deveras tcnica no suficiente para as questes da
educao matemtica, quando relacionadas ao tema.
No suficiente porque elas no respondem s dificuldades cognitivas ou
epistemolgicas do ensino e aprendizagem da prova e no correspondem ao grande nmero
de pesquisas que abarcam o tema, isto , a necessidade de estudos aprofundados. Ou seja,
esta pergunta no tem uma resposta pronta e evidente.
Compreender a prova matemtica, epistemologicamente ou ontologicamente ou
metodologicamente deveras importante para o pesquisador e educador matemtico
interessado no assunto. Porm, com menor intensidade, importante que o aprendiz
tambm tenha tal compreenso.
Em uma pesquisa realizada a partir de 1995 na Inglaterra por um grupo de
pesquisadores londrinos, envolvendo 2459 estudantes e seus professores, em que
investigou-se a concepo e a compreenso de prova matemtica dos alunos e a forma com
a qual estes estudantes constroem provas (envolvendo o processo de construo e os
mtodos de construo utilizados). Um dos resultados gerais que os autores enfatizaram foi
a necessidade de um ensino mais explcito da prova matemtica. Aqueles que estiveram em
contato com a escrita formal de provas geomtricas tinham uma chance maior em escrever
uma, e aqueles em que a prova foi ensinada como um tpico separado se saram melhores
do que outros ao avaliarem argumentos em lgebra, e ainda
a pesquisa indica que a habilidade de construir, estimar ou escolher uma prova
vlida no simplesmente um assunto do alcance matemtico geral.
Naturalmente h uma influncia, mas pelo menos algumas das performances
mais pobres em prova de nossos melhores estudantes podem simplesmente
serem explicadas pela falta de familiaridade com o processo de demonstrao.
Muitos alunos tem uma pequena idia deste processo e nenhuma compreenso de
prova, a que, nossos achados sugerem, podem impedir suas habilidades de
construir e avaliar corretamente as provas. (Healy e Hoyles, 1998, p.6-7).
De acordo com Balacheff (2004), acerca desta pesquisa, a educao da prova
matemtica no deve ser levada a um reducionismo quanto a sua forma, e sim ao
significado de prova dentro da atividade matemtica. Os autores da pesquisa ainda
sugerem que esforos mais explcitos sejam feitos para atrair os estudantes pela prova
enquanto seja discutida com eles a idia de prova num meta-nvel, em termos dos seus
significados, generalidade e propsitos. David Tall corrobora com os resultados desta
pesquisa, sugerindo que
O desenvolvimento cognitivo dos estudantes deve ser levado em conta tal que a
prova seja apresentada em formas que sejam para eles potencialmente
significativas. Isto requer que os educadores e os matemticos repensem a
natureza da prova matemtica e considerem o uso de diferentes tipos de prova de
acordo com o desenvolvimento cognitivo do indivduo. (TALL apud
BALACHEFF, 2004).
Sendo ou no o corao da Matemtica, a prova tornou-se um desafio para o ensino
e aprendizagem desta cincia. No importa o nvel de ensino, raramente o aluno encontra a
resposta para o que a demonstrao, tornando-a apenas uma ao sem significado que se
repete mecnica e vertiginosamente, com a perda da riqueza da reflexo que esta pergunta
pode incitar.
REFERNCIAS BIBLIOGRFICAS
ARZARELLO, F., The proof in the 20th century: from Hilbert to automatic theorem
proving. In Boero, P. (org.) Theorems in School: from History, Epistemology and
Cognition to classroom practice, Rotterdam: Sense Publishers, 2007, p.43-64.
BALACHEFF, N., The Researcher Epistemology: a Deadlock for Educational Research
on Proof, disponvel em
<http://140.122.140.4/~cyc/_private/mathedu/me1/me1_2002_1/balacheff.doc>
BOUVIER, A., GEORGE, M., Dicionario de Matematicas, trad. por Mauro Armii e
Vicente Bordoy, Akal editor: Madrid, 1984.
BICUDO, I., Demonstrao em Matemtica. Bolema, ano 15, n. 18: 79-90, 2002.
CHAMBADAL, L., Dictionnaire des Mathmatiques Modernes, Paris: Librarie Larousse,
1969.
DA SILVA, J.J., A Demonstrao Matemtica da Perspectiva Lgica Matemtica.
Bolema, ano 15, n. 18: 68-78, 2002.
DA SILVA, J.J., Filosofias da Matemtica, So Paulo: Editora UNESP, 2007.
DAVIS, P.J., When is a Problem Solved? The Philosophy of Mathematics Education
Journal, Exeter, n. 19, 2006. Disponvel em < http://www.people.ex.ac.uk/PErnest/ >.
Acesso em 19 de setembro de 2007.
ERNEST, P., Nominalism and Conventionalism in Social Constructivism. The Philosophy
of Mathematics Education Journal, Exeter, n. 19, 2006. Disponvel em <
http://www.people.ex.ac.uk/PErnest/ >. Acesso em 19 de setembro de 2007.
GODINO, J.D., RECIO, A.M., Meaning of proofs in Mathematics education, 1997.
Disponvel em < http://www.lettredelapreuve.it/Resumes/Godino/Godino97.html>
HANNA, G., BARBEAU, E., Proofs as bearers of Mathematical Knowledge. ZDM
Mathematics Education, 2008.
HANNA, G. DE VILLIERS, M., ICMI study 19: Proof and proving in mathematics
education. ZDM Mathematics Education, v. 40, n. 2, 2008.
HEALY, L., HOYLES, C., Justifying and proving in school mathematics. Summary of the
results from a survey of the proof conceptions of students in the UK. Research Report
Mathematical Sciences, Institute of Education, University of London, 1998.
HOUAISS, A., Dicionrio Houaiss Da Lngua Portuguesa Online:
<http://houaiss.uol.com.br/gramatica.jhtm>
LAKATOS, I. A Lgica do Descobrimento Matemtico: Provas e Refutaes. Trad. por
Nathanael C. Caixeiro, Rio de Janeiro: Zahar Editores, 1978.
LALANDE, A., Vocabulrio Tcnico e Crtico da Filosofia. Trad. por Ftima S
Carneiro, Maria E. de Aguiar, Jos E. Torres e Maria G. de Souza. So Paulo: Martins
Fontes, 1999.
LIVINGSTONE, E., Cultures of Proving. Social Studies of Science, 29/6, 1999.
PIETROPAOLO, R.C., Demonstraes e Educao Matemtica - uma anlise de
pesquisas existentes. III Seminrio Interancional de Pesquisa em Educao Matemtica.
Curitiba : Sociedade Brasileira de Educao Matemtica, 2006.
PIETROPAOLO, R.C., (Re)significar a Demonstrao nos Currculos da Educao
Bsica e da Formao de Professores de Matemtica. Tese de Doutorado, So Paulo:
PUC-SP, 2005.
RAV, Y., Why Do We Prove Theorems? Philosophia Mathematica, v.7, n.3, 1999.
RUSSEL, B.A.W., Introduo Filosofia Matemtica. Trad. por Giasone Rebu. Rio de
Janeiro: Zahar Editores, 1974.
TARSKI, A., Truth and Proof, Scientific American, 220, 1969.
WAGNER, P., Quest-ce que La Thorie des Modles? In: Nouvel, P. (dir.), Enqute sur
le concept de modle, Paris : P.U.F., p. 7-28