ProfT( ) N(

co dos sentimentos internos que podem estar por trs do envolvimento com a matemtica.

ONSTRUIREMOS UM retrato do "matemtico ideal". Com isso, no queremos dizer o matemtico perfeito, o matemtico sem defeito ou limitao. Queremos representar o matemtico mais parecido com um matemtico, como se poderia descrever o galgo de raa ideal, ou o monge do sculo treze ideal. Tentaremos construir urr espcime impossivelmente puro, a fim de exibir os aspectos paradoxais e problemticos do papel do matemtico. Em particular, desejamos exibir claramente a discrepncia entre o trabalho e as atividades reais de um matemtico e sua prpria percepo de seu trabalho e atividades. O trabalho do matemtico ideal inteligvel somente a um pequeno grupo de especialistas, perfazendo algumas dzias ou no mximo algumas centenas de pessoas. Este grupo existe somente h poucas dcadas, e h fortes probabilidades de que esteja extinto dentro de mais algumas dcadas. No entanto, o matemtico considera seu trabalho como parte da prpria estrutura do mundo, contendo verdades que so vlidas para sempre, desde o princpio dos tempos, mesmo nos locais mais remotos do universo. Sua f so as demonstraes rigorosas; acredita que a diferenajpntre uma demonstrao correta e incorreta uma diferena decisiva e inconfundvel. No consegue imaginar nenhuma condenao mais execrvel do que dizer de algum rgl no sabe nem o que^uma^emonstrao''. No entanto, ria~cnsgue dFnenfium explicaTco'fnfe"do que significa o rigor, ou o que necessrio para tornar uma demonstrao rigorosa. Em seu prprio trabalho, a fronteira entre as demonstraes completas e incompletas algo vaga e frequentemente controvertida.

O Matemtico Ideal C

61

Para podermos falar sobre o matemtico ideal, devemos ter um nome para seu "campo", seu assunto. Chamemo-lo, por exemplo, "hiperquadrados no-riemannianos". Ele classificado por seu assunto, por quanto publica, e especialmente pelos autores que usa, e por quem segue, na escolha de problemas. Ele estuda objetos cuja existncia no nem suspeitada, exceto por um pequeno grupo de colegas. Em verdade, se ; uma pessoa no iniciada lhe pergunta o que estuda, incapaz ; de mostrar ou dizer de que se trata. necessrio submeter-se a uma aprendizagem rdua de vrios anos, para poder entender a teoria a que ele se devota. Somente ento estariamos preparados para receber sua explicao do que est estudando. Sem isso, receber-se-ia uma definio to obscura que derrotaria todas as tentativas de compreenso. Os objetos que nosso matemtico estuda eram desconhecidos antes do sculo vinte; muito provavelmente, eram desconhecidos mesmo h trinta anos. Hoje, so o principal interesse da vida de algumas dzias (no mximo algumas centenas) de seus colegas. Ele e seus colegas no duvidam, no entanto, que os hiperquadrados no-riemannianos tm uma existncia real to definitiva e objetiva como a do rochedo de Gibraltar ou do cometa de Halley. Em verdade, a demonstrao da existncia dos hiperquadrados no-riemannianos um de seus maiores feitos, enquanto que a existncia do rochedo de Gibraltar muito provvel, mas no rigorosamente demonstrada. Nunca lhe ocorreu questionar o significado, aqui, da palavra "existe". Poder-se-ia tentar descobrir seu significado observando-se em seu trabalho e examinando o que a palavra "existe" significa operacionalmente. De qualquer maneira, para ele o hiperquadrado noriemanniano existe, e ele o estuda com devoo apaixonada. Passa todos os seus dias contemplando-os. Sua vida s bem-sucedida na medida em que consegue descobrir novos fatos sobre o hiperquadrado. Acha difcil conversar significativamente com a grande parte da humanidade que nunca ouviu falar de um hiperquadrado no-riemanniano. Isso lhe causa srios problemas; h dois colegas em seu departamento que sabem um pouco sobre os hiperquadrados no-riemannianos, mas um deles est ausente, em seu ano sabtico, e o outro est muito mais inte62

ressado em semi-anis no-eulerianos. Ele vai a congressos e visita colegas durante os veres, para encontrar-se com pessoas que falem sua linguagem, que possam avaliar seu trabalho e cujo reconhecimento, aprovao e admirao so as nicas recompensas a que ele poder jamais aspirar. Nos congressos, o tpico principal geralmente o "problema da deciso" (ou talvez o "problema da construo" ou "o problema da classificao") para os hiperquadrados noriemannianos. Este problema foi enunciado pela primeira vez pelo professor Sem Nome, o fundador da teoria dos hiperquadrados no-riemannianos. O problema importante porque o professor Sem Nome o enunciou e deu uma soluo parcial que, infelizmente, ningum, a no ser o professor Sem Nome, jamais conseguiu entender. Desde o professor Sem Nome, todos os "hiperquadrados no-riemannianistas" tm trabalhado no problema, obtendo muitos resultados parciais. Assim, o problema adquiriu grande prestgio. Nosso heri imagina frequentemente que resolveu o problema. Por duas vezes esteve convencido, acordado, de que o havia resolvido, mas, de ambas as vezes, uma falha em seu raciocnio foi descoberta por outro devoto dos hiperquadrados no-riemannianos. A seus colegas do assunto ele comunica estes resultados em um estilo abreviado e descuidado. "Aplicando um amaciador tangencial quase-martingale da esquerda, voc poder obter uma estimativa melhor do que quadrtica, de maneira que a convergncia do teorema de Bergstein ser da mesma ordem que o grau de aproximao do teorema de Steinberg." Este estilo ameno no ser encontrado em suas publicaes. A, ele acumula formalismos sobre formalismos. Trs pginas de definies so seguidas de sete lemas e, finalmente, por um teorema cujas hipteses ocupam meia pgina para serem enunciadas, enquanto que a demonstrao essencialmente "Aplique os Lemas 1-7 s definies A-H". Seus escritos seguem uma conveno inquebrantvel: esconder qualquer vestgio de que o autor ou o leitor ao qual se dirige so seres humanos. D a impresso de que, a partir das definies enunciadas, os resultados desejados decorrem infalivelmente de um processo puramente mecnico. Em verdade, jamais foi construdo um computador que pudesse aceitar suas definies como entrada. Para ler suas demonstraes, deve-se partilhar de toda uma subcultura de moti63

vaes, raciocnios-padro e exemplos, hbitos de pensamento e concordncia sobre certos tipos de raciocnios. Os leitores (todos os doze) aos quais se dirigem os trabalhos podem decodificar a apresentao formal, descobrir a nova ideia escondida no lema 4, ignorar os clculos rotineiros e desinteressantes dos lemas 1,2,3,5,6,7 e ver o que o autor est fazendo, e por que o faz. Mas, para o no-iniciado, trata-se de um cdigo que nunca revelar seu segredo. Se (que Deus nos livre disso) a fraternidade dos "hiperquadrados noriemannistas" devesse desaparecer algum dia, os escritos de nosso heri menos traduzveis do que os dos Maias. As dificuldades de relacionamento apareceram vivamente quando o matemtico ideal foi visitado pelo diretor de relaes pblicas da universidade. D.R.P. MJ. D.R.P. Agradeo que me tenha recebido. A matemtica sempre foi meu pior assunto. Est bem. Voc tem que fazer seu trabalho. Pediram-me que escreva uma notcia para imprensa, sobre a renovao de seu contrato de apoio financeiro. Normalmente, faramos uma declarao de uma frase, "O professor X recebeu um auxlio de Y dlares para continuar com suas pesquisas sobre o problema de deciso dos hiperquadrados no-riemannianos". Mas achei que seria um bom desafio para mim tentar fornecer ao pblico uma ideia mais real do seu trabalho. Em primeiro lugar, o que um hiperquadrado? Detesto ter que diz-lo, mas a verdade que se eu lhe dissesse o que eles so, voc pensaria que estou tentanto diminu-lo e fazer com que voc se considere burro. A definio realmente um pouco tcnica, e no significaria nada para a maioria das pessoas. Seria alguma coisa conhecida pelos engenheiros ou fsicos? No. Bem, talvez por uns poucos fsicos tericos. Muito poucos. Mesmo se o Sr. no pode dar-me a definio real, no poderia dar-me uma ideia da natureza real e do objetivo de seu trabalho?

M. l.

D.R.P. M.L D.R.P.

64

MJ.

D.R.P. M. L D.R.P. M.L

D.R.P. M.I. D.R.P. M.I. D.R.P. M.I.

D.R.P.

MJ. D.R.P. MJ. D.R.P. MJ. D.R.P.

Muito bem, tentarei. Considere uma funo suave /sobre um espao de medida e tomando seus valores em um feixe de germes equipados com uma estrutura de convergncia de tipo saturado. No caso m ais simples... Talvez eu esteja fazendo as perguntas erradas. O Sr. poderia me dizer algo sobre as aplicaes de suas pesquisas? Aplicaes? Sim, aplicaes. Disseram-me que tentaram usar hiperquadrados no-riemannianos como modelos de partculas elementares em fsica nuclear. No sei se efetuaram progressos nesta direo. Tm havido descobertas decisivas em sua rea, recentemente? H resultados estimulantes sendo comentados pelas pessoas^ Claro, h o trabalho de Steinberg e Bergstein. Foi o maior progresso em pelo menos cinco anos. O que que eles fizeram? No d para contar-lhe. Entendo. O Sr. acha que h apoio financeiro suficiente para as pesquisas em sua rea? Suficiente? Mal se trata de apoio pr-forma. Alguns dos jovens mais promissores da rea no tm conseguido apoio financeiro. No tenho nenhuma dvida de que com apoio extra poderamos estar fazendo progressos muito mais rpidos no problema da deciso. O Sr. percebe alguma maneira como o trabalho em sua rea poderia conduzir a alguma coisa que pudesse ser compreendida pelo indivduo comum deste pas? No. E pelos engenheiros ou cientistas? Tenho minhas dvidas. A maioria dos matemticos puros estaria interessada em seu trabalho, ou o conheceria? No, seria urna pequena minoria. O Sr. desejaria dizer qualquer coisa sobre seutrabalho?
65

M.L D.R.P. M.L D.R.P. M;J. D.R.P.

Alfred Tarski 1902-

M.I.

E suficiente publicar a frase geral que voc citou no incio. O Sr. no deseja que o pblico simpatize com seu trabalho e o apoie? Claro, mas no se para isso eu tiver que me rebaixar. Rebaixar-se? Ter que usar esses truques de relaes pblicas, coisas assim. Percebi. Bem, mais uma vez obrigado por receberme. No h de qu. Voc tem que fazer seu trabalho.

Bem, tratava-se de um diretor de relaes pblicas. O que esperaramos que acontecesse? Vejamos como nosso matemtico ideal saiu-se com um aluno que lhe trouxe um problema estranho. Estudante MJ. Estudante MJ. Professor, o que uma demonstrao matemtica? Voc no sabe issol Em que ano voc est? Terceiro ano de ps-graduao. Incrvel! Uma demonstrao o que voc me tem visto fazer no quadro-negro trs vezes por semana durante trs anos! Eis o que uma demonstrao. Desculpe, professor. Eu deveria ter explicado melhor. Eu sou de filosofia, no de matemtica. Nunca segui seus cursos. Oh! Bem, neste caso, voc j fez algum curso de matemtica, no? Conhece a demonstrao do teorema fundamental do clculo ou do teorema fundamental da lgebra? J vi raciocnios em geometria; em lgebra e em clculo que eram chamados de demonstraes. O que lhe estou pedindo no so exemplos de demonstraes, por uma definio de demonstrao. De outra maneira como posso saber que exemplos esto certos? Bem, tudo isso j foi esclarecido pelo lgico Tarski, acho eu, e alguns outros, talvez Russel ou Peano. De qualquer maneira, o que se deve

Estudante MJ.

Estudante

M J.

66

fazer o seguinte: voc escreve os axiomas de sua teoria em uma linguagem formal com uma lista ou alfabeto de smbolos dados. Ento, voc escreve as hipteses de seu teorema usando o mesmo simbolismo. Voc mostra ento como poder transformar a hiptese passo a passo, usando as regras da lgica, at chegar concluso. Isso uma demonstrao. Estudante mesmo? Espantoso! J segui cursos de clculo elementar e avanado, lgebra bsica e topologia, e nunca vi isso ser feito. MJ. Oh! em verdade ningum nunca faz realmente isso. Levaria toda a vida! Mostra-se simplesmente que poderia ser feito, isso suficiente. Estudante Mas nem isso parece com o que era feito em meus cursos e textos. Assim, no fim das contas, os matemticos realmente no fazem demonstraes. M. L Claro que fazemos! Se um teorema no for demonstrado no vale nada. Estudante Ento o que uma demonstrao? Se for esta histria de linguagem formal e de transformar frmulas, ningum jamais demonstra alguma coisa. Temos que saber linguagem formal e lgica formal antes de poder entender o que uma demonstrao matemtica? M. I. Claro que no! Quanto menos voc souber, melhor. Todas essas coisas so idiotices abstraias, de qualquer maneira. Estudante Ento o que realmente uma demonstrao? M. L Bem, um raciocnio que convence algum que conhece o assunto. Estudante Algum que conhece o assunto? Ento a definio de demonstrao subjetiva; depende das pessoas. Antes que eu possa decidir se algo uma demonstrao, tenho que decidir quem so os peritos. O que que isso tem a ver com demonstraes? MJ. No, no. No h nada subjetivo sobre isso! Todo mundo sabe o que uma demonstrao. Basta ler alguns livros, assistir a cursos de um 67

Estudante M.I. Estudante

M.L

matemtico competente, e voc aprender o que uma demonstrao. O Sr. tem certeza? Bem, possvel que voc no aprenda, se no tiver nenhuma aptido para isso. O que pode acontecer, voc entende. Ento, o Sr. determina o que uma demonstrao, e se eu-no aprender a determinar da mesma maneira, o Sr. concluir que eu no tenho aptido para o assunto. Se eu no concluir, quem o far?

O matemtico ideal encontrou-se, ento, com um filsofo positivista. F.P. Este seu platonismo quase incrvel. O aluno de graduao mais bobo sabe bastante para entender que no pode multiplicar entidades, e voc est lidando com mais de algumas, voc est trabalhando com infinidades no-enumerveis de entidades! E ningum as conhece, a no ser voc e seus colegas. Voc acha que consegue enganar todo mundo? M.L No estou interessado em filosofia, eu sou um matemtico. F.P. Voc como aquele personagem de Molire que no sabia que falava em prosa. Voc comete idiotices filosficas com suas "demonstraes rigorosas de existncia". Voc no sabe que o que existe tem que ser observado, ou pelo menos observvel? MJ. Olha, eu no tenho tempo para controvrsias filosficas. Francamente, duvido que vocs saibam do que esto falando; de outra maneira, poderiam enunci-lo de forma precisa, e eu poderia verificar seu raciocnio. Quanto ao fato de eu ser platonista, isso somente uma expresso conveniente. Nunca supus que os hiperquadrados existissem. Quando digo que eles existem, quero dizer que os axiomas de um hiperquadrado tm um modelo. Em outras palavras, nenhuma contradio formal pode ser deduzida deles, e assim, da maneira matemtica normal, temos liberdade para postular sua existncia. Em verdade, tudo realmente
68

no faz sentido, um jogo, como o xadrez, que jogamos com axiomas e regras de inferncia. F.P. Bem, eu no quis atac-lo demais. Tenho certeza de que til, para as pesquisas de vocs, imaginar que esto falando de algo real. M.I. Eu no sou um filsofo, filosofia me aborrece. Vocs discutem, discutem, e nunca chegam a ponto algum. Meu trabalho demonstrar teoremas, e no preocupar-me com o que eles significam. O matemtico ideal acha-se preparado, caso isso acontea, a encontrar-se com uma inteligncia extragalctica. Sua primeira tentativa de comunicao seria escrever (ou transmitir de alguma outra maneira) as primeiras centenas de algarismos do desenvolvimento binrio de pi. Ele acha bvio que qualquer inteligncia capaz de comunicao intergalctica seria matemtica e faz sentido falar de uma inteligncia matemtica, a parte dos pensamentos e aes de seres humanos. Alm disso, ele acha bvio que representaes binrias e que o nmero real pi so ambos parte da ordem intrnseca do universo. Ele admitir que nenhum dos dois um objeto natural, mas insistir que so descobertos, e no inventados. Sua descoberta, em uma forma como naquela em que os conhecemos, inevitvel, caso uma espcie se eleve suficientemente acima da lama primordial a ponto de poder comunicar-se com outras galxias (ou mesmo com outros sistemas solares.) O dilogo a seguir foi travado entre o matemtico ideal e um classicista ctico. C.C. Voc acredita em seus nmeros e curvas da mesma maneira que os missionrios cristos acreditavam em seus crucifixos. Se um missionrio tivesse ido lua em 1500, estaria a brandir seu crucifixo, a fim de mostrar aos homens da lua que ele era um cristo, e que estaria esperando que eles tivessem seu prprio smbolo, com o qual acenariam em resposta.* Vocs, com o desenvolvimento de pi so ainda mais arrogantes.
"Confronte com a descrio da expedio de Coronado a Cibola, em 1540:"...havia mais ou menos oitenta cavaleiros na vanguarda, alm d vinte e cinco ou trinta a p,

69

M.I. Arrogantes? Ele foi verificado e reverificado, at 100.000 algarismos! C.C. J percebi como voc tem pouco a dizer, mesmo a um matemtico americano que no conhece suas brincadeiras com os hiperquadrados. Voc no consegue nem comear a comunicar-se com um fsico terico; voc no consegue ler os trabalhos dele, da mesma maneira que ele no consegue ler os seus. Os trabalhos de pesquisa de sua rea, escritos antes de 1910, esto mortos para voc quanto o testamento Tutankhamon. Que razo h no mundo para imaginar que voc poderia comunicar-se com uma inteligncia extragalctica? M./. Se no for eu, quem ser? C.C. Qualquer outra pessoa. Ser que a vida e a morte, o amor e o dio, a alegria e o desespero no teriam probabilidades de serem mais universais do que uma frmula pedante e seca que ningum a no ser algumas centenas de pessoas como voc ser capaz de distinguir de um risco traado por uma galinha em um terreiro? MJ. A razo por que minhas frmulas so apropriadas para a comunicao intergalctica a prpria razo que as torna pouco apropriadas para a comunicao entre os habitantes da terra. Seu contedo no terrestre. Esto livres da especificidade humana. C. C. Acho que o missionrio no teria dito a mesma coisa sobre o crucifixo, mas teria dito provavelmente algo semelhante, e certamente no menos absurdo e pretensioso. Os esboos acima no tm a inteno de serem maldosos; em verdade, so aplicveis aos autores deste livro. Mas demasiadamente bvio, e portanto facilmente esquecido, que o trabalho matemtico, aceito sem explicaes pelo matemtico, sem dvida como resultado de uma longa familiaridade, um fenmeno misterioso, quase inexplicvel, do ponto de vista do no-iniciado. Neste caso, o no-iniciado
e um grande nmero de ndios aliados. No grupo, foram todos os padres, pois nenhum desejava permanecer com o exrcito. Sua misso era lidar com os ndios amigos que pudessem encontrar, e eles eram, particularmente, os portadores da cruz, um smbolo que... j tinha comeado a exercer no caminho influncia sobre os nativos" (H. E. Bolton, Coronado, University of New Mxico Press, 1949).

70

poderia ser um leigo, outro professor da universidade, ou mesmo um cientista que usa a matemtica em seu prprio trabalho. O matemtico supe, em geral, que sua viso sobre si mesmo a nica que precisa ser levada em conta. Permitiramos que qualquer outra fraternidade esotrica tivesse a mesma pretenso? Ou ser que uma descrio objetiva de suas atividades por um observador no-iniciado e educado no seria mais confivel do que a de um participante, que talvez seja incapaz de notar, e muito menos questionar, as crenas de seu grupo? Os matemticos sabem que esto estudando uma realidade objetiva. Para um no-iniciado, parecem estar ocupados em uma comunho esotrica entre si e com um pequeno grupo de amigos. Como poderamos, como matemticos, demonstrar a um observador ctico que nossos teoremas tm significao no mundo exterior nossa prpria fraternidade? Se uma tal pessoa aceita nossa disciplina e se submete a dois ou trs anos de estudos ps-graduados em matemtica, ela absorve nossa maneira de pensar, e no mais o observador crtico que era antes. Da mesma maneira, um crtico de cientologia, que se submetesse a vrios anos de "estudo" sob "autoridades reconhecidas" de cientologia poder muito bem converter-se em um crente, em vez de crtico. Se o estudante no consegue absorver nossa maneira de pensar, ns naturalmente o reprovamos. Se ele consegue passar por nossa pista de obstculos e decide ento que nossos raciocnios no so claros ou so incorretos, ns o pomos de lado como um excntrico, maluco ou desajustado. Naturalmente, nada disso demonstra que no estamos certos em nossa autopercepo de que temos um mtodo confivel de descobrir verdades objetivas. Mas devemos fazer uma pausa para percebermos que, fora de nosso grupo, grande parte do que fazemos incompreensvel. No h maneira pela qual possamos convencer um ctico com autoconfiana de que as coisas de que falamos fazem sentido, ou, o que ainda mais difcil, existem.

71