As Teorias de Thomas Kuhn e a Matemtica Uma discusso sobre a nova historiografia da Matemtica

Herbert Mehrtens, Hamburgo Publicado em Historia Mathematica 3 (1976), pp. 297-320

Resumo Nesse artigo, estimulado pela publicao das dez leis de M. J. Crowe, propese uma discusso sobre a aplicao dos conceitos da teoria das revolues cientficas de Thomas Kuhn s mudanas na histria da matemtica. Os conceitos de revoluo e crise so rejeitados enquanto que os conceitos articulados em torno da sociologia da comunidade cientfica so aceitos para uso sistemtico na historiografia da matemtica. Os argumentos so complementados por consideraes de influncias extramatemtica. Finalmente, as leis de Crowe so retomadas para serem explicadas a partir destes conceitos. 1 - Introduo Num artigo publicado recentemente na Historia da Mathematica, M. J. Crowe tenta estimular a discusso da historiografia da cincia estabelecendo dez leis concernentes s mudanas em matemtica [Crowe 1975, 162]. Seu ponto de partida a nova historiorafia da cincia, cujo livro bsico A Estrutura das Revolues Cientficas, de Thomas S. Kuhn [1970 a]; cuja primeira edio data de 1962. Desde ento tem havido muitas discusses sobre as teses de Kuhn. Eventualmente Kuhn acabou por aperfeioar alguns de seus conceitos, isso foi feito no importante ps-escrito para a segunda edio de seu livro (em 1969) e em artigos posteriores (1970 b, 1970 c). Kuhn afirma que historiadores de cincia tm comeado a colocar novos tipos de questes e a traar diferentes ... linhas de desenvolvimento [1970, 3]. Este o ncleo do que vem sendo chamado de nova historiografia da cincia. Historiadores da cincia tomam explicitamente como ponto de partida o conhecimento conceitual e terico oriundo, principalmente, da filosofia e da sociologia. Eles tentam colocar questes que sejam boas e frutferas para que se possa ganhar um maior e mais adequado entendimento de como as cincias e a matemtica se desenvolvem. No campo da matemtica Crowe apontou dois exemplos importantes, um artigo de Imre Lakatos [1963/64] e os estudos de Raymond L. Wilder [1968, 1974]. As prprias leis de Crowe ainda permitem que novas questes sejam levantadas e fornecem alguns princpios conceituais para um melhor entendimento da histria da matemtica. Alm disso, as leis apontam para algumas importantes regularidades que me incitaram a provocar discusses. Desse modo, tentarei neste artigo unir essas regularidades em um esquema conceitual que , basicamente, kuhniano. Na parte principal do artigo pretendo discutir a aplicabilidade da teoria de Kuhn e seus conceitos na histria da matemtica. Comeando com uma breve descrio da teoria de Kuhn, passo depois a discutir seus conceitos em conexo com a matemtica; indo desde os padro gerais de mudana tais como revoluces e crises, chegando at a
1

conceitos mais especficos como os de sociedade cientfica e os diferentes elementos de um matriz disciplinar. A seo 3 ser dedicada s influncias extra matemticas e, na seo 4, as leis de Crowe sero discutidas em termos dos conceitos desenvolvidos ao longo do artigo. 2 - Os conceitos de Kuhn e sua aplicabilidade na Matemtica 2.1 - A Teoria de Kuhn O conceito bsico de Kuhn o de "comunidade cientfica". Uma comunidade cientfica formada pelos praticantes de uma especialidade cientfica. Estes foram submetidos a uma iniciao profissional e a uma educao similares, numa extenso sem paralelos na maioria das outras disciplinas. Neste processo absorveram a mesma literatura tcnica e dela retiraram muitas das mesmas lies. ... No interior de tais grupos a comunicao relativamente ampla e os julgamentos profissionais relativamente unnimes. ... Nesse sentido, as comunidades podem existir em muitos nveis. A comunidade mais global a composta por todos os cientistas... [Kuhn, 1970a, p. 220-21 trad. brasileira] O grupo constitudo por um conhecimento comum de seus membros. isto que Kuhn chama de "paradigma" da especialidade. Um paradigma aquilo que os membros de uma comunidade cientfica compartilham e, reciprocamente, uma comunidade cientfica consiste em homens que compartilham de um paradigma [ibid, p. 219]. Este conceito recebeu muitas crticas e Kuhn teve que aperfeioa-lo criando para isso o termo matriz disciplinar, disciplinar porque se refere a uma posse comum aos praticantes de uma disciplina particular; matriz porque composta de elementos ordenados de vrias espcies, cada um deles exigindo uma determinao mais pormenorizada [ibid, p. 226] Como elementos da matriz disciplinar, Kuhn lista os quatro seguintes (embora existam mais): Generalizao simblica, expresses do tipo F = ma, que funcionam em parte como leis e em partes como definies de alguns dos smbolos que empregam [ibid, 227-228]; "Crenas em modelos particulares", tais como a crena de que o calor energia cintica das partes constituintes dos corpos [ibid, 228]; "Valores", que contribuem bastante para proporcionar aos especialistas em cincias da natureza um sentimento de pertencerem a uma comunidade global... Provavelmente os valores aos quais os cientistas aderem com mais intensidade so aqueles que dizem respeito a predies: devem ser acuradas; predies quantitativas so preferveis s qualitativas... [ibid, 229-31); so valores sobre as qualidades das teorias, das predies, da importncia cientfica da apresentao do assunto, etc. "Exemplares" ou "paradigmas", as solues concretas de problemas que os estudantes encontram desde o incio de sua educao cientfica, ... Tais solues indicam, atravs de exemplos, como devem realizar seu trabalho [ibid, 231-32]. Em seguida, Kuhn distingue duas formas principais de desenvolvimento da cincia: "cincia normal" e "cincia revolucionria" (ou extraordinria). Atravs das linhas da matriz disciplinar aceita os cientistas podem escolher os
2

problemas que so relevantes e que possuem uma alta probabilidade de serem resolvidos. Os elementos da matriz disciplinar atuam como regras, garantindo a solubilidade do problema. Alm disso, os exemplares provem diretrizes para pesquisas. Este tipo de trabalho como resolver um problema tipo quebra-cabeas. A falha em resolver um problema normal ser atribuda falta de pacincia ou inteligncia do cientista. Apenas depois que tais falhas tornem-se espetaculares - e tambm devido reputao daqueles que tentaram ou por causa de sua quantidade - os elementos da matriz disciplinar sero questionados. O tipo de pesquisa onde nenhum problema espetacular surja impe a "tentativa enrgica e dedicada de forar a natureza a entrar nas caixas conceituais fornecidas pela educao profissional [Kuhn 1970 c, 321 - trad. brasileira]. Kuhn chama isso de "cincia normal". Para ele a "soluo de quebra-cabeas" o critrio de demarcao para as cincias maduras. Regularmente a natureza mostra "anomalias", fenmenos que resultam ser resistentes para o observador comum. Tais fenmenos so, muitas vezes, deixados de lado para geraes futuras que possuam melhores argumentos. s vezes um persistente fracasso em tratar uma anomalia conduz a um pequeno desvio na matriz disciplinar, a qual eventualmente acaba integrando a anomalia no caminho "normal" da teoria. Se isto no acontece, a comunidade cientfica fica confusa. Seus membros gradualmente passam a reconhecer que h algo errado em suas crenas bsicas. Isto um estado de "crise" na comunidade cientfica. Caso contrrio os rgidos limites da matriz disciplinar tendem a ser rompidos, e novas teorias e solues, novos "paradigmas" podem vir tona. No h uma escolha racional entre o velho e o novo paradigma. As razes para a escolha de uma teoria (poder explanatrio, fecundidade, elegncia, etc) so mais devidas a valores do que a existncia de critrios. A mudana do paradigma como uma mudana de "gestalt", os cientistas percebem a natureza de diferentes maneiras. Os conceitos, generalizaes simblicas, etc, do paradima anterior, se contidos no novo paradigma, tm um significado diferente por causa do novo contexto lingstico. Esta a tese da incomensurabilidade, a qual tem sido bastante discutida, e sua elaborao por Kuhn [1970 c, 259-277] mostra como ele v o desenvolvimento cientfico muito claramente. As revolues kuhnianas no so apenas mudanas fundamentais na viso de mundo que ocorrem uma vez a cada sculo. As revolues so "um pequeno tipo estudado de mudana conceitual a qual ocorre freqentemente na cincia e fundamental para o seu avano" [Kuhn 1970 c, 249-50] Toulmin usou o termo "micro-revolues" para isto [Toulmin 1970, 47]. As revolues so sempre vistas com respeito a uma comunidade cientfica a qual pode ser muito pequena e as revolues podem envolver somente partes da matriz disciplinar. 2.2 - A aplicao dos conceitos de Kuhn para a Matemtica. 2.2.1 - O modelo de mudana cientfica O ponto de partida de Kuhn a psicologia social (ou sociologia) da comunidade cientfica normal. A contrapartida da sociedade cientfica natural. A partir disso ele desenvolve sua viso dualstica da mudana cientfica. A princpio isto se transfere para a Matemtica. Sem entrar no mrito da questo de como e se a Matemtica est de alguma forma relacionada com a natureza, pode-se dizer que a Matemtica se preocupa com as coisas que oferecem resistncia aos
3

matemticos e solicitam um tratamento especfico. Mais que nas cincias naturais, os problemas a serem tratados so determinadas pela prpria Matemtica. Mas isto apenas uma diferena de grau. O relacionamento entre os matemticos e seu objeto muito maior que o existente nas cincias naturais. Kuhn toma a sociedade cientfica como claramente identificvel, relativamente isoladas dentro das grandes comunidades e relativamente livre das influncias extracientficas. Isto coloca toda a sua teoria dentro de uma forte idealizao que encontrou severas crticas dos historiadores de cincia [cf., p. ex., Meyer 1974]. Se h algum modelo de mudana na Matemtica, ele certamente no visto com facilidade. H desenvolvimentos entrelaados das diferentes disciplinas da Matemtica, influncias extra-matemticas de vrias espcies e assim por diante. No parece haver um modelo comum de mudana dentro da Matemtica que possa ser aplicado na historiografia. Mas h muitas regularidades (como as leis de "Crowe" mostram) e estas podem ser tratadas e parcialmente explicadas pelos conceitos de Kuhn. Deste modo, eu discutirei a aplicabilidade dos conceitos, comeando com revoluo e indo para os elementos da matriz disciplinar. 2.2.2 REVOLUES Na aplicao dos conceitos de Kuhn para a Matemtica h geralmente duas questes envolvidas: h uma tal coisa na Matemtica? E se assim, o conceito definido pode ser usado com vantagens na histria da Matemtica? Primeiro, h revolues na Matemtica? Considere este exemplo:
At, pelo menos, bem entrado o sculoXIX, os ilustre professores das Faculdades de Cambridge e Oxford olhavam para as tentativas de aperfeioamento da teoria das fluxes como uma revolta mpia contra a sagrada memria de Newton. O resultado foi que a escola newtoniana da Inglaterra e a escola leibniziana do continente se separaram ... O dilema foi resolvido em 181, por um grupo de jovens matemticos de Cambridge que, sob a inspirao do velho Robert Woodhouse, formaram uma "Sociedade Analtica" para propagar a notao diferencial ... Este movimento encontrou, inicialmente, crticas severas, as quais foram superadas por aes como a publicao, em 1816, de uma traduo em ingls do "Tratado Elementar do Clculo Diferencial e do Clculo Integral de Lacroix). A nova gerao, na Inglaterra, comeava agora a participar nas matemticas modernas [Struik 1948, 27273 trad. portuguesa].

Para a comunidade matemtica inglesa isto foi uma revoluo. Uma parte substancial da matriz disciplinar, o compromisso para com o sistema de notao de Newton, foi derrubada. Este um exemplo sugestivo, mas h outros. Entretanto, Crowe assegura que no h revolues na Matemtica [dcima "lei" em Crowe 1975, 165]. Ele provavelmente rejeitaria o exemplo dado, dizendo que isto no uma revoluo na Matemtica. Para ele a preposio na crucial [ibid., 166]. Infelizmente ele no explica o que na Matemtica significa, exceto que a nomenclatura, os simbolismos, a metamatemtica, a metodologia e a histria no esto na Matemtica. Provavelmente Crowe tem em mente a "substncia" ou o "contedo" de Matemtica. (Mas, o que isto?). Ainda assim, considere este exemplo: um pedao da Matemtica, no sentido de Crowe, seria o teorema de Taylor, o qual tem sido invariavelmente vlido desde sua publicao em 1715. Mas ela tem o mesmo contedo na publicao original de Taylor e em livros texto modernos? H sempre uma grande gama de experincias relacionadas com um teorema. Hoje o conceito de funo completamente diferente; a anlise infinitesimal a base da topologia geral. Com o teorema de Taylor, o matemtico tem uma generalizao para espaos de Banach em

mente, e assim por diante. Todavia, h algo mais do que uma simples tradio relacionando o teorema de 1715 e o atual. O exemplo deve mostrar que este "contedo" difcil de compreeender. No possvel despir o contedo de sua nomenclatura, simbolismos, metamatemtica, etc. H um perigo para o historiador da matemtica nesta preposio na. O matemtico de hoje tende a declarar toda a histria da pr-histria da Matemtica como conhecida. Assim sendo, tudo que includo ou possvel de ser obtido da moderna matemtica est na Matemtica. Os aspectos significativamente histricos como o uso de conceitos, as crenas gerais referentes disciplina, etc, no esto naturalmente na Matemtica. Crowe afirmou que ele no culpado por tal ponto de vista. Mas eu gostaria muito de saber como ele explica sua preposio "na". Para concluir a discusso deste ponto eu deveria pegar outro exemplo. Peguemos, digamos, van der Waerden e sua lgebra Moderna de 1930 e qualquer livro texto de lgebra de 1830. A diferena impressionante; o conjunto completo dos domnios e conexes dos contedos, a terminologia, o simbolismos, a metodologia, e as metamatemticas implcitas, tudo mudou. Todos estes elementos esto entrelaados; um conceito, por exemplo, no est somente determinado pelo seu prprio contedo, como dado na definio, mas tambm est determinado pela conexo na qual usado. Assim sendo, h uma "metafsica" associado a ele. Alm disso, cada um dos elementos substancial para a teoria, tal como ela ocorre historicamente. Conseqentemente, eu deveria dizer que mudanas na metodologia, na simbologia, etc, so mudanas na matemtica. Poucas, se existem, teorias matemticas foram completamente derrubadas, mas h muitas teorias que se tornaram obsoletas ou sofreram modificaes em tamanha extenso que quase no h semelhana com o ponto de partida. Estas modificaes tm ocorrido, freqentemente, como conseqncia de uma interao de mudanas nos "contedos" e na "metafsica" de uma disciplina. Um exemplo a transformao da lgebra clssica para a lgebra moderna, a morte da teoria dos invariantes [cf. Fisher 1966, 1967] sendo uma parte deste desenvolvimento geral. At aqui mostrei que h eventos na histria da Matemtica que poderiam ser designados como "revolues" e que no h acordo sobre a distino de tais acontecimentos ocorrerem "na" Matemtica ou em algum lugar qualquer. O exemplo de um "desenvolvimento revolucionrio", que abriu esta seo muito sugestivo, porque neste caso as conotaes da palavra "revoluo" so adequadas. H muitas palavras que podem ser usadas para expressar a importncia de um evento histrico, "revoluo" uma delas. A analogia implcita com a histria poltica um modo de expresso para o historiador como escritor. Mas se algum est olhando um conceito como forma de ditar regras metodolgicas para a historiografia, guiando e auxiliando a pesquisa e interpretao na histria da matemtica, esta fora imaginativa dada por uma palavra com conotao carregada um tanto perigosa. Isto torna-se bvio quando algum fala de "micro-revolues". Neste caso a conotao certamente enganosa. Isto responde a segunda pergunta, sobre se o conceito til. Aps eu ter rejeitado o esquema dualstico de Kuhn como um modelo geral de um desenvolvimento histrico da Matemtica. No h nada deixado que justifica o uso do conceito de "revoluo" como parte de uma aplicao metodolgica de um modelo conceitual. Seria muito agradvel ter um modelo conceitual para a classificao (e explanao) dos tipos de mudanas na histria da Matemtica. Eu no conheo nenhuma. Minha proposta usar o conceito de matemtica normal (a qual ser discutida abaixo) como um instrumento na avaliao das inovaes, relacione a inovao Matemtica contempornea (a matriz disciplinar), veja se uma frao da Matemtica normal, e se

ela no , trate-a individualmente, descobrindo o que exatamente no normal sobre ela e porque isto assim. 2.2.3 CRISES Como Revoluo, o conceito de crise tem seu valor principal como parte do modelo de Kuhn sobre o desenvolvimento cientfico. No aceitando este modelo geral para matemticas que algum pode ainda discutir o papel das crises Kuhnianas. Eles simbolizam o fenmeno na qual uma dada comunidade matemtica - por uma razo qualquer - o compromisso habitual de um grupo questionado e, consequentemente, a estabilidade deste sistema social est em risco. Os matemticos estaro mais aptos a desenvolver idias divergentes de uma pesquisa comum de seu grupo e estimular de fora da comunidade seria mais facilmente aceito. E desta forma pode-se perceber crises como funcionais para o desenvolvimento cientfico. Ns conhecemos crises na matemtica, a to chamada crises de fundamentos [1]. Devido falta de espao para elaborar sobre isso, eu apenas posso afirmar que duvido que uma opinio adequada destas crises at agora expostas seja adequadamente histrica. Isto , em parte, o resultado de uma ambiguidade de termos na sua aplicao intuitiva para a matemtica. Ela significa sempre uma crise social na comunidade de matemticos; mas visto tambm como uma crise na matemtica , a qual implica uma contradio bsica de lgica que vem tona, ento h uma crise. O problema com o conceito, por conseguinte, ver qual evidncia histrica pode justificar o uso do termo crise. No havendo soluo deste problema e com fortes dvidas sobre a possibilidade do uso do conceito na exposio histrica (concernente matemtica), eu prefiro no dar a ela um uso sistemtico. O problema remanescente como as funes de crise no esboo de Kuhn so acopladas na matemtica. Para qualquer coisa os matemticos possuem um vasto repertrio de tcnicas para manusear problemas que devem gerar crises, tal como afirmou Crowe [lei 9 em 1975, 165] e Lakatos [1963/64] tem ilustrado. Uma destas tcnicas consiste em ignorar problemas de fundamentos e confiar na aplicabilidade de conceitos ou teorias matemticas. Alm disso, as comunidades matemticas so sistemas abertos. A interao das disciplinas matemticas e suas relaes para os campos extra-matemticos, bem como as variaes entre matemticos individuais, permitem mudanas a longo prazo, sem que estas tragam crises a uma comunidade inteira [3]. A seo seguinte vai elaborar algumas destas idias. 2.2.4. ANOMALIAS Anomalias so fenmenos que no seguem as expectativas da matriz disciplinar aceita. Um proeminente exemplo na matemtica o quinto postulado de Euclides, o qual, eventualmente, levou a novas geometrias e ao saturamento da metafsicada geometria. O exemplo mostra que anomalias tm um papel decisivo na histria da matemtica. Como as afirmaes acima, as anomalias podem ser manuseadas freqentemente pelas tcnicas existentes. Muitas vezes, conceitos so modificados para integrar ou excluir anomalias (conforme Lakatos, em seu Monstros e Excesses; [1963/64] ). Pesquisas sobre a forma que os matemticos reagem s anomalias podem dar contribuies valiosas historiografia da matemtica. Anomalia um termo relativo. Ela aponta para a relao entre um fenmeno e as expectativas de pesquisa de matemticos. Como tal, ela um importante conceito da

avaliao da pesquisa e das inovaes da histria da matemtica. O 5 postulado no est de acordo com as caractersticas por ele mesmo evidenciados do axioma euclidiano e postulados. Ele nos faz abandonar a idia de uma nica geometria, restando uma evidncia por si mesma suposta. Um exemplo pouco familiar a inveno dos nmeros primos ideais e dos Ideais por Kummer e Dedekind. Kummer tentou provar o teorema de Fermat (o qual por si mesmo uma anomalia na teoria dos nmeros). Ele aplicou tcnicas adquiridas apenas recentemente no domnio dos complexos inteiros. Sua expectativa era de que os mtodos e teoremas da teoria dos nmeros naturais pudessem ser extendidos a lgebra dos inteiros. Ento lhe sobreveio uma idia errnea de que estes eram unicamente resolvveis dentro dos fatores primos. Depois do erro ter lhe sido apontado por Dirichlet, ele tentou integrar esta anomalia e inventou seus primos ideais, mais exatamente a divisibilidade por um primo ideal. Dedekind tomou a mesma linha de pesquisa de Kummer e esforou-se para desenvolver uma teoria geral da lgebra dos inteiros seguindo a teoria clssica dos nmeros na forma dada por Gauss e Dirichlet. Colocando o problema de congruncia como base, ele tentou desenvolver uma teoria em termos de congruncia superior, mas encontrou muitas anomalias. Por conseguinte, ele liderou as descobertas dos conceitos de deal, completando a teoria pelo uso de campos e mdulos. Esta soluo, encontrada anos depois de trabalho rduo, foi o desvio das pesquisas normais, pelo fato de as mesmas no se encaixarem dentro dos conjuntos numricos. Em resumo, a teoria algbrica dos nmeros foi desenvolvida pela interao das foras dominantes principais dada pela teoria Gaussiana dos nmeros, por um lado pelas anomalias surgidas, e por outro nos diferentes campos dos nmeros algbricos. Este pequeno rascunho deve ter mostrado o importante papel das anomalias [6]. H muitos outros exemplos, em diferentes graus, bastante semelhantes. A reao da comunidade matemtica frente s anomalias depende da fora da convico que so violados pelas anomalias. O problema da incomensurabilidade pitagrica deve ter sido um escndalo. Mas as pesquisas no devem ser de uma comunidade inteira. Um exemplo espetacular o teorema de Schrder da independncia da distributividade nos axiomas da lgebra booleana [4]. Na sua primeira apresentao da lgebra da lgica, Schrder deu distributividade o carter de axioma em 1877. C. S. Pierce, o qual Schrder admirava muito, em um documento de 1880 afirmava a distributividade como um teorema, mas omitia a prova. Referidas s expectativas de Schrder, isto era uma grande anomalia e consequentemente ele deu muita considerao a este assunto. Ele foi levado diviso dentro de duas inequalidades distributivas e encontrou a prova para uma. Atravs de um modelo tomado por suas outras pesquisas, ele tentou mostrar que a outra era improvvel. Estas pesquisas o fizeram ver a aplicabilidade da estrutura definida por aqueles axiomas que em sua definio vieram antes da lei de distributividade. Ele definiu o conceito de uma lattice (com zero e um), qual ele chamou lgica kalkul com grutpen e a aplicou aos problemas da lgebra universal moderna [Schrder 1890, I, Anhang 4 - 6]. A anomalia ento levou a desenvolvimentos interessantes que nunca foram sem efeito na histria da matemtica: quase ningum estava interessado em estruturas generalizando a lgebra booleana pelos 30 anos seguintes. Schrder nunca conseguiu provar a independncia. Mas logo o mtodo axiomtico moderno fez deles um procedimento padro e a lei da distributividade no era mais uma anomalia. A prova de Peirce que ele produziu foi aplicada a outro axioma. Este exemplo deveria mostrar, alm do papel de uma anomalia, o modelo geral

de minhas aplicaes dos conceitos de Kuhn. Eu tenho rejeitado os conceitos de revoluo e crise do modo como so usados comumente. Eu acredito, e tenho tentado mostrar, que o conceito de anomalia usado como uma ferramenta. Ela a chave de uma importante conexo causal. Oferecendo inovaes na matemtica para as pesquisas contemporneas, ajudando e avaliando desenvolvimentos histricos. 2.2.5 - CINCIA NORMAL O tipo de trabalho que Kuhn chama de Cincia Normal desenvolvido tambm na matemtica. Por exemplo, a maioria das teses de doutorado so matemticas normais. Uma tese decisiva para a carreira acadmica e consequentemente h uma tendncia muito forte de se abordar problemas que prometem ser solucionados por mtodos padres. Grande parte da matemtica desenvolvida de forma normal seguindo as regras aprendidas nos textos comuns, resolvendo problemas padres, preenchendo espaos em uma teoria, generalizando conceitos, aprofundando condies, etc. A verso final de uma teoria, elegante, compreensiva, bem definida, s conseguida depois de um perodo de pesquisa normal sobre a teoria. Esse tipo normal de pesquisa um sinal que mostra que a disciplina ou teoria tornou-se uma parte aceita do trabalho matemtico. Uma descrio adequada da matemtica normal em histria um problema difcil a uma tendncia normal de se concentrar nos grandes matemticos e de suas grandes descobertas e olhar superficialmente a matemtica normal. Isto insatisfatrio, mas uma tentativa para descrever um desenvolvimento na matemtica pode resultar completamente em uma coleo ilegvel de fatos. Uma possibilidade para evitar esse dilema deve ser a descrio generalizada das principais correntes no trabalho normal de uma teoria, usando os elementos que esto orientando o trabalho normal (que sero discutidos abaixo sobre o ttulo ELEMENTOS DA MATRIZ DISCIPLINAR). Uma vez que no quero falar sobre matemtica revolucionria pode-se argumentar que no sobra nada alm da matemtica normal. Mas normal , como anomalia, um termo relativo. Ele relaciona uma parte do trabalho matemtico s normas contemporneas. Um trabalho matemtico pode ser extraordinrio de vrias formas: na escolha do problema, nos mtodos aplicados, na extenso dos conceitos conhecidos, etc. Para uma compreenso apropriada da situao histrica de uma contribuio matemtica, essencial ver exatamente o que no normal sobre isto e descobrir como isto poderia aparecer. 2.2.6 - COMUNIDADE CIENTFICA O mais avanado valor real do conceito de comunidade cientfica que ela liquida com a impresso que freqentemente pode ser vencedora de discusses sobre a Matemtica e sua histria. Particularmente, que Matemtica um pacote interminvel de verdades espirituais gradualmente abrindo-se no curso da histria, visvel somente aos olhos secretos de talentosos gnios que fazem-na acessvel aos diligentes estudantes pesquisadores. De fato, a Matemtica feita pelos homens, sua base vital a interao social de matemticos na sua comunidade cientfica. Nenhum matemtico comea do nada. Ele tem que se basear na matemtica, tradicional na sua formao matemtica, seja ela formal ou de outro modo, ele adquire um conhecimento tcito sobre a Matemtica, o modo de falar sobre ela, seus objetivos e mtodos, etc, o qual capacita-o

para comunicar-se com seus colegas matemticos. Ele torna-se um membro de sua comunidade, mais ou menos adaptado a este modo de fazer as coisas e a estas normas. Ele empenha-se por reconhecimento por parte de seus colegas. Igualmente, leigos como H. Grassmann tentam induzir suas mensagens atravs da comunidade matemtica, no caso de Grassmann pela elaborao do seu Ausdehnungslehre, na segunda edio. No estou tentando explicar algo sobre Matemtica em termos sociais ou sociolgicos. Muito depende da biografia pessoal do matemtico, a qual raramente pode ser investigada com bastante rigor. Alm do mais, h problemas que parecem no serem explicveis, pelo menos de nenhum modo satisfatrio. No obstante as condies sociais, especialmente aquelas da fechada comunidade dos matemticos, so as bases do desenvolvimento da Matemtica. Apesar deste valor bsico do conceito da comunidade cientfica, h srias deficincias nele. Isto certamente aplicvel aos matemticos do sculo XX na acepo de Kuhn, de que primeiro a comunidade para ser identificada e ento a matriz disciplinar. Mas voltando atrs na histria, torna-se difcil identificar claramente com contornos bem delineados as subcomunidades matemticas. Invariavelmente ela de certo modo coextensiva com a comunidade dos astrnomos e dos fsicos. H o perigo de uma abordagem particularmente presentista da histria. Logo, o conceito deve ser usado com muito cuidado (mas deve ser utilizado). No manejo de disciplinas matemticas, deve ser estabelecido que era uma comunidade correspondente que pode ser identificada (o qual pode ser concludo pela inspeo da comunicao entre seus membros). Ento h a questo sobre qual dos compromissos comuns so especficos para as comunidades. Aqui a conexo com o conceito de matriz disciplinar, que o complemento quele de comunidade cientfica. 2.2.7 - MATRIZ DISCIPLINAR Nas sees anteriores, tenho freqentemente utilizado a palavra "background" para expressar o compromisso comum dos membros da comunidade matemtica. Este background inferiorizado pelo conceito de matriz disciplinar. O conceito a principal ferramenta para anlise do background comum e ao mesmo tempo de alto poder explicativo para a historiografia da Matemtica. O conhecimento disciplinar da Matemtica consiste de teorias, teoremas, mtodos de ensaio, mtodos de representao, simbolismos, terminologias, e assim por diante. Alm disso, h uma srie de crenas acerca do valor geral da Matemtica, exatamente o que ela , e outras coisas como isto. Ento existem valores sobre a esttica da Matemtica, o papel das aplicaes, mtodos de ensaio, etc. Este complicado e remotamente atingvel background um pouco diferente para cada indivduo. Mas ele adquirido num processo de aprendizagem em um ambiente social de uma estrutura bem definida e matemtica. Conseqentemente, h um forte background comum aos membros da comunidade matemtica. As ligaes comunitrias so os diferentes tipos de comunicaes, livros, trabalhos, correspondncias, etc, a base comum, em resumo, a matriz disciplinar. Desta forma, a matriz disciplinar tem uma importante funo social para a comunidade e uma funo emocional para o membro em particular. O matemtico que adere ao compromisso comum do seu grupo pode sentir-se seguro, ele protege sua identidade confiando na matriz disciplinar. Este fenmeno explica o grande grupo das leis de Crowe que sero apresentadas na seo 4. A matriz disciplinar determina as coisas sobre as quais a comunidade

matemtica particularmente conservadora. Ao mesmo tempo ela um modelo para a Matemtica formal. 2.2.8 - ELEMENTOS DA MATRIZ DISCIPLINAR Para uma investigao conclusiva do desenvolvimento histrico, devero ser vrios os tratamentos dos elementos importantes da matriz disciplinar. Para faz-lo convincentemente devemos tentar classificar os diferentes elementos que so determinantes para o trabalho dos matemticos. Evidncias para a importncia das categorias devem ser dadas. Os mtodos matemticos adquirem confiana, normas, etc, devem ser investigados, e alm disso as prioridades na matriz e a interdependncia de seus elementos algo para ser discutido. Finalmente, deve-se atentar para a anlise da relao das matrizes e dos diferentes nveis das comunidades matemticas. Isto pode ser feito num estudo detalhado de um caso que no est no escopo deste trabalho. Posso apresentar algumas proposies, levantar algumas questes e dar alguns exemplos. Sobre os elementos da matriz disciplinar, gostaria de examinar cinco deles: opinies sobre modelos particulares, valores, modelos (ou paradigmas), conceitos e problemas padro. Os trs primeiros foram abordados por Kuhn. Os ltimos dois, acredito serem especficos para matemticos. 2.2.8.1 - OPINIES SOBRE OS MODELOS PARTICULARES Aqui eu me refiro sobre opinies metafsicas como "matemtica a cincia da magnitude", "aritmetizao fornece uma base importante para anlises", os programas de formalismo, logicismo, e assim por diante. Estas opinies bsicas parecem ser o que Crowe tem em mente na sua lei 5 (1975, 163), onde ele menciona o conhecimento multifasetado dos matemticos. H modelos tambm num senso mais heurstico, como a viso de uma curva como uma passagem de um ponto em movimento. No estou convencido, entretanto, da utilidade do ltimo conceito de "modelo" na historiografia da Matemtica. 2.2.8.2 VALORES Na histria dos valores matemticos aciona-se um importante papel para a comunidade matemtica como para o matemtico individualmente. H valores que pertencem a grandes comunidades de estudantes como aquela que R. Merton (1968) tem explorado. A comunidade de matemticos compartilha valores sobre como as pesquisas devem ser feitas, como os resultados devem ser apresentados e sobre a importncia de sujeitos, mtodos e problemas. Um destes valores de grande prioridade que inovaes matemticas devem ser vantajosas e aplicveis (na Matemtica ou fora dela). O sistema de valores muda historicamente. Uma questo interessante a comparao dos valores de fecundidade e de rigor. A histria de nmeros imaginrios mostra que a fecundidade domina a rigor. Outro exemplo o manifesto de Dedekind que ele no publicou suas idias sobre nmeros irracionais imediatamente porque o assunto era muito pouco til (1930/32, III, 316). O rigor com um valor ganhou mais e mais relevncia durante o sculo XIX. Este desenvolvimento apresenta dois pontos conclusivos sobre valores. Primeiro, a variao histrica dos valores determinada pelas circunstncias materiais da vida, a qual possibilita viver de acordo com estes valores ou no. Por outro lado, os valores influenciam estas circunstncias. Aqui, o segundo ponto surge. No caso do valor do rigor, este ostenta mais relevncia quanto

10

mais naturalmente ele aplicado no trabalho matemtico. Este processo expediente de rigores da Matemtica tem sido criado por matemticos como Weierstrass, Dedekind, Peano e outros, os quais valorizam o rigor em seus trabalhos excepcionalmente elevados. Ento, no h somente a interao entre os valores da comunidade matemtica e as circunstncias materiais, mas tambm a interao entre valores individuais e comunitrios. 2.2.8.3 - EXEMPLOS, PARADIGMAS O conceito de paradigma foi no comeo o mais espetacular da teoria de Kuhn. Paradigmas so exemplos compartilhados que estruturam a percepo dos matemticos e guiam suas pesquisas. Gostaria de usar a palavra "paradigma" para objetivos alcanados que governam o desenvolvimento matemtico em muitas maneiras e por um longo perodo. Exemplos so os Elementos de Euclides, procedimentos de Arquimedes em Clculo. O Disquisitiones Arithmeticae de Gauss, a Lei do Pensamento de Boole, e trabalhos similares. Um paradigma neste sentido muito mais que a soluo de um problema. O mesmo engloba conceitos bsicos, problemas-soluo padres, um simbolismo e terminologia especficos, e freqentemente o mesmo possui uma fora de gerao de valores muito forte. Nas Leis do Pensamento de Boole, por exemplo, os principais elementos paradigmticos foram a aplicao de simbolismo algbrico e procedimentos para a lgica e o tratamento de equaes lgicas. At em torno do ano 1900 o livro foi de influncia central no desenvolvimento da lgica da Matemtica. Naquela poca, um novo programa foi buscado. Se quisermos falar de um "paradigma" neste caso, foi gerado por vrias publicaes e livros de autoria de C. S. Peirce, Dedekind, Frege, Peano e outros. O princpio que lidera deixou de ser a aplicao de Matemtica lgica, mas, pelo contrrio, a aplicao dos meios de lgica simblica s fundaes da Matemtica, que se tornou possvel devido aos resultados obtidos no perodo precedente. A mudana de paradigmas neste caso muito complicada e pode ser chamada meramente de "revolucionria". Ainda h traos da tese de incomensuralidade para serem encontrados, como na falta de apreciao de Schrder dos objetivos de Frege (cf. Lewis 1966). Talvez este tipo de mudana de paradigmas possa ser tratado em termos da concepo de Lakatos em programas de pesquisa de competio (Lakatos, 1973). Os mais restritos tipos de paradigmas, os quais chamarei "exemplrios", so solues-problema exemplares. Um exemplo a representao geomtrica de nmeros complexos funcionarem como um exemplrio na procura por um sistema similar de anlise de espao resultando nos QUATERNIONS de Hamilton (cf. Crowe 1967, 512). O exemplo mostra um trao importante de exemplrios. Podem sugerir solues de problemas muito diferentes do problema resolvido originalmente. No exemplo, o problema foi a "possibilidade" de nmeros imaginrios, os mesmos receberam um substrato de material por representao geomtrica. A representao conversvel, e o que foi procurado com os nmeros complexos em mente foi uma representao algbrica de espao tridimensional. Muitos exemplrios mostram um importante trao de desenvolvimento matemtico, especialmente o fato de o progresso em um campo agir em aspectos especficos como exemplrios em um outro campo. Novamente, a representao geomtrica de nmeros complexos um exemplo. As diferentes interpretaes dos nmeros complexos tornou visvel o processo abstrato de interpretao que foi iniciado

11

por matemticos ingleses em sua concepo de uma lgebra simblica (Novy 1973, 194). Exemplrios influenciam a maneira do matemtico ver o seu assunto. Isto ainda mais claro na aplicao dos conceitos da teoria dos nmeros algbricos s funes algbricas. Aps Dedekind ter elaborado quase que totalmente sua teoria de nmeros algbricos observou a estrutura similar no domnio de funes algbricas. Em colaborao com H. Weber ele elaborou a teoria de funes algbricas estritamente de acordo com estas linhas (Dedekind 1930/32, 283-350). 2.2.8.4 CONCEITOS Talvez os conceitos sejam a analogia s generalizaes simblicas de Kuhn. Certamente exercem um importante papel na histria da Matemtica. O conceito de funo, por exemplo, um tema muito bem conhecido dentro da historiografia. Acredita-se que os elementos dos conceitos das matrizes disciplinares esto ligados intimamente com valores e com as crenas nos modelos "metafsicos". Para o matemtico em exerccio que no se importa com perguntas de ontologia, os conceitos que conhece determinam o que existe em Matemtica. A partir disso, aparece uma idia geralmente implcita de que tipo de conceitos so permitidos. A reao a desvios individualmente diferente; Kronecker um extremo muito bem conhecido. Como os exemplrios, os conceitos gerenciam a Matemtica normal. Eles tambm determinam fronteiras. Na procura de Hamilton por um sistema vetorial, o conceito prevalescente da multiplicao restringiu as operaes possveis simplesmente comutativas. Este exemplo ser elaborado em conjunto com as Leis de Crowe abaixo. Existe muito a ser dito sobre conceito em Matemtica. Wussing (1970) props um padro para o desenvolvimento histrico de conceitos cientficos o que , em certos aspectos, muito intrigante e poderia ser aplicado aos problemas de desenvolvimento das matrizes disciplinares. 2.2.8.5 - PROBLEMAS PADRO A partir da simples fatorao prima de nmeros naturais advm uma grande quantidade de teoremas de fatorao dentro da lgebra moderna. Pode-se considerar isto como um exemplrio, mas um novo teorema de fatorao em alguma ramificao exotrica da lgebra moderna no formado de acordo com os exemplrios fornecidos. Em vez disto, a fatorao um procedimento muito bem conhecido, existem certas tcnicas e os problemas de fatorao so geralmente tidos como objetos vlidos de pesquisa. Em resumo, fatorao um problema padro. Alm disso, problemas padro no exigem uma soluo completa como o exigem algum prottipo. Isto mais claramente visvel no caso quando o problema no encontrou inicialmente uma soluo tal como o problema de palavras em grupos e outras estruturas algbricas. A maioria dos "problemas abertos" listados em livros textos so de um tipo padro. Alm da fatorao, exemplos so a decomposio, representao, axiomatizao, generalizao, etc. Estes problemas so de diferentes nveis. Generalizao, por exemplo, tem sido considerada por Wider (1968, 175) como uma "fora evolutiva" dentro da Matemtica. Eu no deveria falar sobre tal "fora" de ao constante. O valor "resultados matemticos devem ser o mais geral possvel" tem sido um peso variante no curso da histria. O que tenho em mente generalizao como um procedimento padro

12

ocorrendo na Matemtica desenvolvida dos sculos XIX e XX. Logo que haja uma hierarquia de estruturas, a expanso de teoremas vlidos para uma estrutura at os mais gerais tentada. No caso da generalizao, a ntima relao entre valores e os problemas padro visvel. Problemas resolvidos com sucesso (no necessariamente do tipo padro) influenciam os valores relativos escolha de problema e os valores determinam a extenso (no o individual) de problemas padro. Sendo que os valores relativos qualidade dos problemas so "tcitos", eles so obtidos atravs do conhecimento de problemas padro predominantes. A aplicao dos problemas comandada por valores; muita generalizao feita mas no publicada por ser simplesmente generalizao trivial. Elas tm de apresentar mais "fecundidade" por exemplo. Problemas padro so freqentemente (sempre ?) gerados por exemplrios e so uma das causas de descobertas mltiplas, em muitos casos causando o aparecimento de novos exemplrios e paradigmas. 2.2.8.6 - ELEMENTOS ADICIONAIS Os elementos adicionais da matriz disciplinar no esto precisamente separados. Existe interao muito forte e grande interdependncia. Portanto, um matemtico poderia estruturar a matriz utilizando outros conceitos diferentes dos meus; isto est aberto discusso. Elementos adicionais, que poderiam ser considerados e atribudos em discusso individual so: smbolos, mtodos e, talvez, restries. Tendo descrito os modelos, valores e conceitos como agentes ativos parcialmente restritivos sobre o trabalho matemtico, restries so ento subordinadas, mas discutvel se em certos casos histricos esta assuno exeqvel. Da mesma maneira a discusso deveria em geral incluir todos os perodos na histria da Matemtica (o qual ainda no tentei fazer). 2.3 - CONCLUSO O modelo geral para a teoria de T. S. Kuhn da estrutura de revolues cientficas parece no ser aplicvel Matemtica. Mas muitos dos conceitos de Kuhn se mantm valiosos para a historiografia da cincia mesmo que o modelo bsico da teoria seja rejeitado. Os conceitos que giram em torno da sociologia de grupos de estudiosos so de poder explanatrio muito grande e, em minha opinio, suprem conceitos importantes para a historiografia da Matemtica. Eles iluminam a relao de realizaes matemticas junto ao cenrio contemporneo. Desta maneira podem servir para explicar e entender e fazer mais justia aos matemticos do passado, seus esforos e fracassos, do que a predominante tendncia de notar as realizaes matemticas do passado sob a luz de seus efeitos a longo prazo. Exemplrios usados so quase que exclusivamente originrios dos sculos XIX e XX. No insisto que os conceitos sejam aplicveis em todos os casos. No deseja tornar a historiografia da Matemtica exclusivamente Kuhniana. Devo ter deixado claro que estou procurando satisfazer o entendimento histrico e no buscando uma teoria melhor. Seguindo por essa via as concepes de Kuhn e possivelmente de outros proporcionaro ao pensamento histrico duas possibilidades: Primeira, novos fenmenos passaro a ser vistos bem como novas conexes causais e novos desenvolvimentos. Segunda, a aplicao explcita do backgraund conceitual torna discutveis as pressuposies geralmente totalmente implcitas nas quais a historiografia da matemtica est fundamentada. Ento til ter diferentes sistemas que podem esclarecer a histria e a historiografia da matemtica a partir de diferentes ngulos.

13

Os conceitos desenvolvidos at aqui podem ser continuados em diferentes formas. Uma delas o papel das influncias sociais extramatemticas que ser discutida na prxima seo. A ltima seo ser destinada ao que eu tenho chamado de poder explanatrio dos conceitos atravs da discusso de regularidades na histria da matemtica as quais foram muito bem estabelecidas por Crowe em suas "leis". 3 - UMA COMPLEMENTAO NECESSRIA: O BACKGROUND SOCIAL Uma das falhas das concepes de Kuhn relacionadas a forte idealizao da comunidade cientfica a falta de considerao de influncias extra disciplinares. Eu j falei da interao das disciplinas matemticas e h muito a ser dito sobre as relaes da matemtica com fatores no matemticos, que vo desde astronomia at as condies materiais gerais da sociedade. Devo me limitar a sociedade da comunidade matemtica. A posio social do matemtico e sua comunidade depende da estrutura da sociedade e seu desenvolvimento. Consequentemente, o desenvolvimento da matemtica no independente do fato de que os matemticos so amadores, filsofos, funcionrios pblicos, acadmicos e professores universitrios. A propsito, a minha viso de status social da matemtica na sociedade uma parte especfica da histria da matemtica. Como Bem-David argumenta, no deve haver influncia sistemtica da sociedade nos contedos das cincias; mas como seu livro ilustra, a estrutura social da sociedade uma pr-condio para o estabelecimento de um papel cientfico que est na base de uma tradio cientfica especializao da linha de Ben-David sobre o questionamento sobre a matemtica um assunto valioso para estudo. Em relao a condio social dos membros da comunidade cientfica e sua influncia no desenvolvimento da matemtica dou dois exemplos: O primeiro dado por J. Needham I [1956, 1964] comparando as estruturas sociais e tradies cientficas (matemticas) da China e Europa Oriental no renascimento cientfico. Ele mostra que a estrutura da sociedade foi um fator no aparecimento da nova cincia que uniu conhecimento matemtico e da natureza. Ele argumenta que o fato de que os cientistas chineses eram parte do sistema burocrtico, foi desfavorvel a esse desenvolvimento e ao mesmo tempo foi favorecido pelas condies dos homens do conhecimento na sociedade mercantil do Oriente. Deve-se adicionar que os trabalhos de Needham no tentam provar nenhuma conexo, mas apenas do argumentos de tentativa. Ainda so uma contribuio convincente ao debate das causas do renascimento cientfico e se aplicam tanto a matemtica como as cincias naturais. Meu segundo exemplo se refere a lei n 4 de Crowe, que diz que o rigor nas teorias matemticas frequentemente adquirido apenas muito tarde no desenvolvimento histrico. A evidncia dada aponta principalmente aos fatos de que a utilidade tem um valor maior que o rigor e que o sculo XIX e XX padres mais altos de rigor. Tentarei dar explicaes sobre o ltimo fato. A comunidade matemtica do sculo XVIII consistia de estudiosos e prticos. Os dois grupos estavam bem separados, mas haviam conexes. As formas para assegurar a segurana de material eram vrias e sempre muito difceis. A base institucional da comunidade eram das academias e sociedades cientficas. As academias institucionalmente juntavam a matemtica e seus campos de

14

aplicao. Alm disso, a situao poltica das academias deu a elas a tarefa dupla do questionamento da verdade e a produo do conhecimento til. Assim, os matemticos se preocupavam com a matemtica aplicada, tanto que os resultados de clculos elevados tinham uma justificativa pronta e segura, embora estivessem fundamentados em uma base duvidosa. No comeo do sculo XIX uma nova classe social dominou. Em consequncia desta mudana, o sistema educacional se motivou e fortaleceu. A revoluo francesa levou criao da escola politcnica e da escola normal, e tinham grande importncia na histria da matemtica. A Frana era o centro da matemtica e da cincia na virada do sculo, era o modelo para estudiosos de outros pases. A reforma da Universidade Alem, comeando pela fundao da Universidade de Berlim em 1809, trazia traos do modelo francs com idias filosficas especificamente alems. E mais importante, era uma tentativa para estabelecer a autonomia de estudiosos sem violar os limites definidos pelo Estado poltico dos pases da Alemanha. Os cientistas no participaram da reforma; isto foi muito favorvel ao desenvolvimento da matemtica e das cincias naturais. O ponto principal que o ensino era feito para alunos que poderiam ficar na Universidade e se tornar professores da matemtica. O background institucional foi dado pelo instituto e seminrio, que foram fundados durante o sculo. Assim, os matemticos podiam ensinar a matemtica com a qual eles mesmos estivessem trabalhando. Esses desenvolvimentos influenciaram a relao da matemtica pura e aplicada de vrias maneiras: Primeiro: a conexo de matemtica tecnologia foi iluminada pela separao das Escolas Tcnicas e Universidades. Assim, por exemplo, a geometria descritiva desapareceu do currculo da Universidade. Segundo: o modelo das fundaes dos seminrios era o seminrio de matemtica e fsica de Tonigsberg; o seu quarto seguidor, o importante seminrio de Berlim, j era puramente matemtico. A estrutura institucional tendia a separar campos e assim, a matemtica pura foi favorecida. Terceiro: O ensino de estudantes com potencial matemtico tinha dois efeitos: se por um lado os matemticos podiam ensinar coisas nas quais estivessem interessados e o ensino iria a um nvel de pesquisa verdadeira, formando assim uma verdadeira tradio, por outro, os matemticos transformam seu interesse profissional em coisas que estavam ensinando e assim tornam-se mais preocupados com as partes elementares de suas disciplinas. Em resumo, os limites aos campos de aplicao eram vagos, havia uma forte condio social para a matemtica e a tarefa principal era o recrutamento da prxima gerao de matemticos. A primeira gerao de matemticos universitrios ainda se preocupava com a matemtica aplicada; as ltimas geraes se voltaram mais e mais matemtica pura, isto significa que a matemtica se voltou para si mesma. Este fato aliado aos efeitos e necessidades de um novo estilo de ensino universitrio, transformou o rigor em um valor de alta prioridade. Esse breve esqueleto de uma explicao do desenvolvimento do rigor da matemtica no sculo XIX pode ser completado pela evidncia de muitos detalhes, para

15

alguns deles confira Ben-David [1971, Ch. 7] e Lorey [1916]. Minha explicao d apenas parte da verdade. H fatores intramatemticos que no so discutidos aqui. 4 - A EXPLICAO DAS "LEIS" DE CROWE Em suas leis, M. J. Crowe [1975] descreveu algumas regularidades na histria da matemtica. Ele no tentou explicar essas regularidades. Muitas podem ser explicadas em termos de conceitos desenvolvidos nas sesses anteriores deste ensaio. Eu farei isto para mostrar como os conceitos podem ser aplicados e mais genericamente, para mostrar a importncia da sociologia da comunidade matemtica na histria da matemtica. Alm disso, a simples declarao de tais regularidades no de muita valia para a historiografia. Tem que haver alguma fundamentao terica. Algumas das leis j foram discutidas. A afirmao de que revolues nunca ocorrem em matemtica (lei 10), tm que ser julgadas de acordo com se e como se usa o termo revoluo. No h nada a se explicar sobre isso. O mesmo se aplica ao termo crises. Crowe afirma que os matemticos possuem tcnicas para dar conta das contradies lgicas e assim prevenir as crises (lei 9). Tais tcnicas pertencem ao conhecimento disciplinar. Uma anlise mais aprimorada da lei provoca questionamentos filosficos sobre matemtica que no esto tratados aqui. Outra afirmao do conhecimento disciplinar que o conhecimento dos matemticos em relao matemtica em qualquer ponto do tempo multifacetado e que existe uma metafsica para matemtica (lei 5). Isto foi discutido e especificado nas sesses 2.2.8 e 2.2.7, na matriz disciplinar e seus elementos. Um grupo de leis pode ser tratado em conexo com o prprio exemplo de Crowe, a histria da anlise vetorial. "Os novos conceitos de Matemtica freqentemente vem adiante, contra o empenho dos matemticos, que os criaram." (lei 1). Essa formulao pode ser elegante, mas ilusria. Pegue as invenes sobre QUATERNIONS de Hamilton. Ele certamente no lutou contra QUATERNIONS e QUATERNIONS no vieram adiante por eles mesmos. O trabalho de Hamilton foi guiado pelo exemplar de nmeros complexos e um dos elementos de matriz disciplinar do seu tempo disse que multiplicao era uma operao comutativa apenas aps muito tempo de perseverante trabalho. Hamilton abandonou a comutatividade e encontrou QUATERNIONS (Crowe 1967). O problema que Hamilton atacou foi a Matemtica normal (ibid, 12). Mas no poderia ser resolvido de forma normal, cresceu na anomalia. Para um homem como Hamilton, que obstinadamente se entregou ao problema por muitos anos, muito provvel que no curso do tempo ele tentaria linhas de pensamento que desviassem mais e mais dos caminhos usuais. Desta forma, encontrar uma soluo como QUATERNIONS pressupe muito tempo e empenho, necessrios para desassociar das restries de aceitar conhecimentos e conceitos. Isso eu penso, o que Crowe chama de lutar contra novos conceitos. "Novos conceitos matemticos vm frequentemente... encontraram grande resistncia aps seu aparecimento e acabaram aceitando somente aps um extenso perodo de tempo" (2 lei). A comunidade matemtica gosta do criador de um novo conceito, apenas de forma relutante abandona alguns deles, aceitam conhecimentos e conceitos. Isso poderia ser visto de forma funcional. Um uso iluminado de novos conceitos que quebram com muitas restries implcitas e conhecimentos poderiam comprometer as bases da comunicao da comunidade. Alm disso, a maior parte dos matemticos so preocupados somente com a Matemtica normal e no se doem para entender e apreciar novos e peculiares

16

conceitos e teorias. Alm disso toma muito tempo at a conceito incomum como QUATERNIONS seja aceito e s vezes invenes so desdenhadas completamente. "A fama do criador de um novo conceito da Matemtica tem poder... uma parte na aceitao disso... conceito, ao menos se o novo conceito quebra tradies."(6 lei). Reputao tem sido considerada funcional de vrias formas por sociologistas da cincia. O ponto principal que a reputao garante competncia disciplinar de um membro da comunidade matemtica. Para citar "lei", isto claramente significa que para simples razes de economia os membros da comunidade matemtica so mais inclinados a despender tempo no trabalho no convencional de um famoso matemtico do que em algum de fora. Isso ainda maior quando, como no caso de Hamilton e Grassmann, o trabalho de algum de fora parece estranho e intruso. "Novas criaes da Matemtica freqentemente surgem dentro disso... contextos em grande parte so maiores que preservados contextos dessas criaes."(7 lei). Um novo conceito ou teoria como desenvolvido por um estranho ou matemticos que em um longo perodo de trabalho direcionado de forma diferente da conduta normal e conectaram diferentes idias e formas incomuns sero provavelmente enquadrados em uma forma peculiar e personificada. Alm do mais, os matemticos que quebram tradies e violam crenas aceitas tendem a pr algo mais nesse lugar. Ele interpretar tambm suas criaes de forma a faz-los to compatveis quando possvel com a matriz contemporria de disciplina, ou ele redigir, como justificativa, a filosofia prpria, que o ajuda a manter sua identidade profissional, e que ser conectada com um novo conceito ou teoria. O mesmo processo vai, de outra forma, tomar lugar de forma coletiva no processo de aceitao da comunidade matemtica. Muitas peculiaridades sero feitas, mas algumas partes daquilo que no contedo talvez torne-se uma possesso comum. "Mltiplas descobertas independentes de conceitos matemticos so as regras, no as excees."(8 lei). Crowe aponta para suas leis 2 e 7. Para a explicao parcial, eu posso entender isso apenas no sentido de que um perodo longo de aceitao de novos conceitos d lugar para descobertas independentes, mas isso o menor ponto na explicao dos mltiplos. Eu no pretendo estar hbil para o que vem adiante com uma nova explicao geral para mltiplos na histria da Matemtica, cada um diferente em cada fator multiplicado. Mas o fato que mltiplas descobertas so freqentes e um forte ponto argumentando que a interao dos matemticos em sua comunidade a base vital do desenvolvimento da matemtica o fato que descobertas esto "no ar" podem apenas ser racionalmente explicadas pela matriz disciplinar contempornea, a combinao de certos elementos, os quais, como exemplares, conceitos, problemas, valores, mais a existncia de anomalias e, talvez, influncias extra matemticas fazem possvel o aparecimento de certos novos conceitos. Novamente a histria de anlise de vetor um exemplo. Crowe fala de "tendncia" ou "movimento" (1967, 48, 248) que desenvolve tradies diferentes. Um estudo comparativo considerado a relao de cada tentativa pelo background contemporneo deve clarear mais as causas dessa tendncia. Para terminar essa discusso de leis conectadas com a histria da anlise de vetor, eu deveria acrescentar que o livro de Crowe a luz dos pontos de vista desenvolvidos nesse ensaio, excelente parte da histria da Matemtica. "Embora as demandas de lgica, consistncia e rigor tm solicitado a rejeio de alguns conceitos agora aceitos, de utilidade desses conceitos tm repetidamente forado os matemticos a aceit-los e toler-los..."(3 lei). Essa regularidade na histria dos matemticos deveria ser explicado em termos de conhecimentos bsicos e valores da comunidade matemtica. Eu tenho argumentado que a fertilidade o valor de maior prioridade do que o rigor. Alm do mais, h conhecimentos implcitos que a

17

Matemtica interessada com a soluo de problemas. At mesmo se s vezes possa parecer que a comunidade matemtica (ou parte dela) est se dirigindo para a construo de boas teorias, no caso do exemplo de Crowe, os nmeros imaginrios, Matemtica foi dirigida a problema-soluo e aqueles nmeros impossveis eram importantes solues. Questes de fundao e ontologia so deixadas para os filsofos ou matemticos com idias filosficas, que so tolerados como dirigidas por questes desconfortveis que no tem nada a ver com a verdadeira matemtica. O que a matemtica verdadeira , varia pela histria e pode ser vista apenas como consentimento comum da comunidade matemtica que no pode ser fortemente delimitada. Eu tenho, na seo 3, dado uma idia interpretativa sobre a emergncia do rigor, a qual a lei de Crowe n 4 se refere. Crowe afirma que o rigor da apresentao do livro texto freqentemente uma aquisio tardia, mais imposta do que procurada pelos pioneiros do campo. Pode-se acrescentar na explicao que antes da apresentao do livro texto sobre um assunto que freqentemente h um perodo de matemtica normal na rea. Nesse perodo ateno dada aos detalhes e especialmente aos pontos que no esto de acordo com os padres da comunidade matemtica e assim o rigor imposto pela apresentao do assunto. NOTAS 1 - Crises de fundao tm sido tratadas por J. Thel (1972). Ele comea com uma definio da base social de "crise", parece esquecer sobre isso e termina em uma sistemtica e filosfica discusso. O livro historicamente insatisfatrio. S. Bochner, num trabalho sobre o livro de Kuhn (1963), at mesmo segura que as crises da fundao matemtica so revolues, sem dar muita evidncia ao ponto. O ponto principal considervel desse trabalho o papel do paradigma matemtico em fsica. 2 - J. Hppner e eu temos em um curso sobre crises da fundao da Matemtica (Hamburg, 1973) tentado aplicar os conceitos de Kuhn e Thel. A discusso mostrou ser inadequada como generalizao dos fatos histricos bem como um guia para a investigao histrica. 3 - Em um estudo exploratrio das caractersticas sociais da soluo do problema matemtico Ch. S. Fisher (1972/ 3) deu uma interessante descrio da comunidade matemtica contempornea a qual ele descreve totalmente difusos. 4 - Esse exemplo vem da minha pesquisa sobre a pr-histria da grande teoria. 5 - H. J. M. Boss remarcou no relato que mostra a intrnseca diferena entre cincia e Matemtica: cincia usa generalizaes simblicas de algo; Matemtica estuda as generalizaes simblicas, por elas mesmas so os conceitos. 6 - Possveis dvidas relacionadas correo dessa histria no caso de Kummer no debilitam o argumento. Cf. Edwards, H. M. o background da prova de Kummer do ltimo teorema de Fermat para os primos regulares. Arquivo para histria de cincias exatas 14 (1975), 219 - 236.

18

BIBLIOGRAFIA Ben-David, Joseph - 1971 - The Scientists Role in Society Englewood Cliffs (PrenticeHall) Bochner, Salomon - 1963 - Revolutions in Physics and Crises in Mathematics Science 141, 408 - 411 Crowe, Michael J. - 1967 - A History of Vector Analysis (University of Notre Dame Press) ______ - 1975 - Ten Laws Concerning Patterns of Change in the History of Mathematics HM 2, 161 - 166 Dedekind, Richard - 1930/32 - Gesammelte mathematische Werke 3 vols Braunsschweig (Vieweg) Duveen, Denis J. & RogerHahn - 1957 - Laplaces Succession to Bzouts Post as Examinateur des Elves de Lrtillery Isis 48, 416 - 427 Fisher, Charles S. - 1966 - The Death of a Mathematical Theory: A Study in the Sociology of Knowledge Archive for History of Exact Sciences 3, 137 - 159 ______ - 1967 - The Last Invariant Theorists Archives Europennes de sociologie 8, 216 - 244 ______ - 1972/3 - Some Social Characteristics of Mathematicians and their Work American Journal of Sociology 78, 1094 - 1118 Kuhn, Thomas S. - 1970a - The Structura\e of Scientific Revolutions 2nd ed., enlarged (University of Chicago Press) ______ - 1970b - Logic of Discovery or Psychology of Research in Lakatos/Musgrave 1970, 1 - 23 ______ - 1970c - Reflections on my Critics ibid., 231 - 278 Lakatos, Imre 1963/64 Proofs and Refutations British Journal for the Philosophy of Sciente 14, 1 - 25, 120 - 139, 221- 243, 296 - 342 ______ - 1973 - History os Science and its Rational Reconstructions Boston Studies in the Philosophy os Science 8, 91 - 136 Lakatos, Imre & Alan Musgrave - 1970 - Criticism and the Growth of Knowledge (Cambridge University Press)

19