1

A Crtica de Brouwer ao Teorema de Brouwer e a Prova de Existncia na Teoria de Equilbrio Geral

Eleutrio F. S. Prado1

Introduo Na teoria de equilbrio geral, prova-se a existncia de equilbrio aplicando o teorema de ponto fixo de Brouwer. Entretanto, esse grande matemtico, ele mesmo, condenou o seu prprio teorema como algo irrelevante, j que produziria resultados imaginrios ou ilusrios2. O teorema, segundo ele, provava a existncia do ponto fixo, mas no era capaz de mostrar como esse ponto fixo podia ser construdo. Especula-se aqui com a possibilidade de que o seu argumento tenha interesse para a crtica da teoria do equilbrio geral. Para examinar essa possibilidade, em primeiro lugar, faz-se uma apresentao elementar do teorema do ponto fixo de Brouwer com o objetivo de fazer aparecer a prpria natureza da prova. Em segundo lugar, faz-se uma apresentao didtica do argumento que prova a existncia do equilbrio na teoria em considerao. No desenvolvimento desses dois primeiros pontos, no h uma preocupao central em manter rigor formal na matemtica apresentada, pois o objetivo antes filosfico do que matemtico. Em terceiro lugar, procurar-se sintetizar o argumento crtico de Brouwer que condena as provas de existncia. Em quarto lugar, questiona-se o fundamento filosfico da posio de Brouwer. E, finalmente, faz-se um esforo para tirar concluses eventualmente relevantes para uma melhor compreenso da teoria econmica a partir do que foi desenvolvido nas sees anteriores. O teorema do ponto fixo O teorema do ponto fixo de Brouwer estabelece que uma funo contnua com domnio e contra-domnio num mesmo conjunto fechado, limitado e convexo tem sempre um ponto fixo. Seja F(x) essa funo. O teorema diz que existe pelo menos um x* tal que x* = F(x*). Considere a situao ilustrada pela figura abaixo. A funo F(x) a desenhada est definida apenas no intervalo 0 x 1 que fechado, limitado e convexo. O domnio e contradomnio dessa funo coincidem, pois, com o intervalo unitrio. A funo tambm contnua. intuitivamente verdadeiro e isso a prpria figura mostra por meio do ponto A que a funo necessariamente intercepta a linha de 45 em algum ponto e que nesse ponto x* = F(x*). Ora, para esse caso elementar fcil encontrar uma prova. Devido prpria natureza do problema matemtico, a demonstrao da existncia do ponto fixo feita por absurdo. Suponhase por um momento que o ponto fixo no exista. Ou seja, por exemplo, suponha-se que, para qualquer x no intervalo unitrio, F(x) x > 0. Nesse caso, se x = 1, ento F(x) > 1, o que
1

Este artigo foi escrito para o prprio aprendizado e deleite e no para ensinar qualquer coisa a outrem. Se algum quiser aproveit-lo que o faa por sua prpria conta e risco. 2 O tema deste artigo foi sugerido pela leitura de artigo de Kumaraswamy Velupillai que recomenda a alternativa computacional para a formalizao em Economia (1996).

2 contradiz a hiptese segundo a qual F(x) est definida apenas no intervalo unitrio. Suponha-se, agora, que F(x) x < 0. Nesse caso, se x = 0, ento F(x) < 0, o que tambm produz uma contradio com a hiptese inicial sobre o contra-domnio da funo. Logo, como F(x) no pode estar sempre acima ou sempre abaixo da linha de 45, F(x) tem de intercept-la necessariamente em algum ponto. Nesse ponto F(x) x = 0, o que implica que existe x* tal que x* = F(x*). crucial observar, agora, que a prova por absurdo utiliza necessariamente o princpio do terceiro excludo, o qual reza que dado um A qualquer, ento A B ou A no B, pois no h um terceiro possvel. No caso em apreo, dado F(x), o ponto fixo x* existe ou no existe. Ao se supor que ele no existe, chega a absurdos. Logo, preciso concluir que existe o ponto fixo x* tal que x* = F(x*).

F(x) (0,1)

(0,0)

(1,0)

Supe-se, agora, sem demonstrao, que o mesmo teorema vale quando F(x) est definida m no quadrado unitrio no R , que tambm fechado, limitado e convexo. Com base nesse teorema, possvel provar da existncia de um vetor de preo que equilibra todos mercados num modelo de equilbrio geral conveniente constitudo, ou seja, construdo com base nos axiomas dessa teoria. A prova da existncia De um modo apenas ilustrativo, faz-se aqui a prova de existncia do equilbrio numa economia degenerada em que existe apenas um bem3. Nessa economia idealizada, a partir das funes de oferta e de demanda, cada uma delas contnua e homognea de grau zero em relao ao preo, possvel encontrar a funo de excesso de demanda E = E ( p ) , definida para todo p 0.

Acompanha-se aqui a prova encontrada em J. M. Henderson e R. E. Quandt, Microeconomic Theory A Mathematical Approach (1971), a qual se aplica ao caso de n bens quaisquer.

3 Sem perda de generalidade possvel definir o domnio da funo de excesso de demanda no intervalo unitrio em R, ou seja, fazendo com que 0 p 1 , o que equivale, evidentemente, a uma certa redefinio da unidade de medida da quantidade. O domnio da funo de excesso de demanda vem a ser, assim, um conjunto fechado, limitado e convexo. Considere-se, agora, a funo definida no mesmo domnio da funo de excesso de demanda e com contradomnio definido pela seguinte expresso: f ( p) = p + max[0, E ( p )] 1 + max[0, E ( p)]

Como o contradomnio dessa funo constitudo tambm pelo intervalo unitrio em R, de tal modo que o domnio e o contradomnio so idnticos, pelo teorema de Brouwer acima apresentado, a funo f ( p ) tem um ponto fixo p*. p* = p * + max[0, E ( p*)] 1 + max[0, E ( p*)]

Donde se obtm uma expresso, a qual, multiplicada em ambos os lados por E = E ( p*) , fica:
p * E ( p*) max[0, E ( p*)] = E ( p*) max[0, E ( p*)]

Como, pela Lei de Walras, p * E ( p*) = 0 , tem-se que:

E ( p*) max[0, E ( p*)] = 0

Nessa expresso, necessariamente, E ( p*) 0 , pois, em caso contrrio, ter-se-ia um absurdo, j que um nmero positivo e igual a [ E ( p*)]2 estaria sendo igualado a zero. preciso examinar, agora, se E ( p*) < 0 um caso possvel. Se p* = 0, h excesso de oferta, de tal modo que no existe de fato uma economia no sentido neoclssico. Se p* > 0, pela Lei de Walras, no possvel que E ( p*) < 0 . Logo, quando p* > 0, tm-se que E ( p*) = 0 . Ou seja, fica provada a existncia do equilbrio.
A crtica de Brouwer

Como se mencionou de incio, Brouwer desaprovou o teorema de ponto fixo que ele mesmo havia demonstrado. Os seus argumentos contrrios ao emprego desse teorema decorrem de uma reflexo filosfica sobre os fundamentos da Matemtica, ou seja, sobre os pressupostos ontolgicos e epistemolgicos empregados na demonstrao. A demonstrao do teorema do ponto fixo se d no campo dos nmeros reais e depende, como foi visto, do emprego do princpio do terceiro excludo. Ora, Brouwer no aprovava nem a

4 extenso do campo numrico ao dos reais nem considerava vlido o emprego desse princpio de separao em Matemtica4. A escola de Brouwer em Matemtica chamada de intuicionismo. Segundo essa corrente, as entidades matemticas vlidas so apenas aquelas que podem ser tidas como claras e intuitivas, ou seja, que existem na apercepo racional e que podem ser obtidas por construo. Assim, os matemticos intuicionistas restringem o campo de operao ao dos nmeros naturais no, entretanto, como um conjunto infinito, mas apenas como uma seqncia potencialmente infinita. Brouwer concebe a Matemtica como uma atividade da razo em sua busca independente e ativa de se apropriar do mundo natural e social. Pressupe, portanto, a separao ex-ante entre a razo e o mundo fenomnico, os quais se encontram apenas ex-post na experincia, ou seja, na atividade prtica do homem. De um modo kantiano, ele entende a Matemtica como resultado do esprito do homem, ou seja, como uma construo progressiva do intelecto humano: assim, a afirmao de que A existe significa, para ele, que A foi construdo pela inteligncia humana. Dito de outro modo, para Brouwer a Matemtica no se compe de verdades eternas, relativas a objetos intemporais, metafsicos, semelhantes s idias platnicas (Costa, 1977, p. 22). Ele se contrape, assim, tradio racionalista (Descartes) segundo a qual o matemtico, por meio da razo, descobre as entidades matemticas, as quais j existiriam previamente sua inteleco. Para Brouwer, pois, o homem as constri ele no as descobre (tomando os verbos construir e descobrir em seus sentidos literais). A Matemtica, pois, um saber construdo e em construo, mas que opera com conjuntos potencialmente infinitos. Os nmeros naturais se estendem infinitamente, mas dado qualquer um deles que existe em potncia , sempre possvel pens-lo como resultado efetivo de um processo de construo (por exemplo, como uma soma finita e repetida do nmero um). O que ele diz equivalente a afirmar que sempre existe um algoritmo por meio do qual se pode calcular um dado nmero natural. Se a Matemtica deve se restringir a operar com entidades que podem ser construdas, prova de existncia do ponto fixo anteriormente aludida, medida que afirma apenas a existncia, j lhe falta um solo seguro. Entretanto, se a prova feita, porque nela empregado um procedimento invlido. Ora, certo que em certas provas de existncia, tal como a do ponto fixo, emprega-se o princpio do terceiro excludo. Chega-se, ento, concluso que tal ponto existe porque a sua no existncia implicaria em contradio. Eis que, para Brouwer, o princpio do terceiro excludo, originrio da lgica clssica, no pode ser usado em Matemtica desse modo, j que esta lgica, conforme a sua prpria origem, s se aplica a conjuntos finitos ainda que abertos ao infinito. A lgica tradicional, segundo ele, no se funda metafisicamente, mas tem sua razo de ser nas exigncias da prtica, na qual se opera sempre com conjuntos finitos. Da ele inferia que os usos desse princpio em Matemtica, no contexto de conjuntos infinitos postos como tais (ou seja, como conjuntos efetivamente existentes), podem originar entidades ilusrias, cuja suposta existncia no est bem justificada. Para evitar essa possibilidade, ele passa a excluir o uso do
4

Para apresentar e reconstruir a argumentao desse matemtico excepcional, segue-se aqui a exposio de Newton da Costa em Introduo aos Fundamentos da Matemtica (Costa, 1977, p. 18-23).

5 princpio do terceiro excludo para provar, por exemplo, a existncia de solues de sistemas de equaes. Para ele, um teorema vlido de existncia, deve mostrar tambm que aquilo que existe pode ser construdo, fazendo-o de um modo bem determinado.
Discusso da tese de Brouwer

Investigam-se aqui os fundamentos filosficos da tese de Brouwer. Entretanto, de incio, de um ponto de vista da cincia em geral, pode-se constatar que muitas teorias em Fsica, Biologia, Astronomia, etc., extremamente frteis para a prxis do homem, so fundadas, construdas e pensadas no campo dos nmeros reais (e mesmo dos nmeros complexos). Isto certo. Eis, porm, que muitos dos nmeros pertencentes a esse campo e isto tambm certo no podem ser obtidos por meio de algoritmos5. Em conseqncia, quando essas teorias so postas em operao, ou seja, quando elas recebem um tratamento numrico, elas mudam de campo, pois implicitamente deixam de estar fundadas no campo dos reais e passam a s-lo no campo dos nmeros computveis. Brouwer um kantiano e, para Kant, as proposies matemticas em sentido prprio so sempre juzos a priori, no empricos, porque trazem consigo necessidade que no pode ser tirada da experincia (Kant, 1991, p. 30). Logo, elas pertencem ao domnio que o filsofo de Konigsberg chama de transcendental. Elas esto separadas da experincia, mas no so idealidades metafsicas; em conseqncia, no podem ser consideradas como produtos de descobertas, mas devem ser tidas como frutos da razo. Ademais, as proposies da Matemtica no so analticas, no decorrem de mera decomposio de conceitos previamente existentes. Para Kant, elas so, pois, construes sintticas a priori. Ora, o pensamento kantiano se assenta na separao do sujeito e do objeto do conhecimento e na conexo entre a razo e o emprico por meio da experincia. Para Kant, a Matemtica vem a ser conhecimento terico da razo de modo inteiramente puro. J a Fsica requer o concurso da outra fonte do conhecimento que no a prpria razo. A Fsica, pois, baseiase na experincia; entretanto, mesmo nesse campo a razo s discerne o que ela mesma produz segundo o seu projeto (Kant, 1991, p. 13). A razo pe os seus juzos segundo leis constantes e, ao faz-lo, obriga a natureza a responder s suas perguntas. A Fsica segue a idia de procurar na natureza (sem lhe imputar), segundo o que a prpria razo coloca nela, aquilo que precisa aprender, e sobre o que nada saberia por si prpria (Kant, 1991, p. 13). Eis, entretanto, que a separao do sujeito e do objeto do conhecimento, do transcendental e do emprico, pode ser colocada em questo. Para o materialismo marxiano, por exemplo, com referncia s entidades matemticas mais simples, tais como os nmeros naturais 1, 2, etc., as quatro operaes, pode-se dizer que eles exprimem formas de modos de ser, determinaes da existncia6 (Marx, 1978, p. 121). Nessa concepo, a intuio e a representao em geral, assim como, em conseqncia, as noes primitivas da matemtica, tm como ponto de partida efetivo
5

Na verdade, se sabe hoje que os nmeros racionais e alguns nmeros irracionais so computveis. Dito de outro modo, sabe-se que existem reais no computveis. 6 Marx emprega essa expresso para se referir s categorias econmicas, para dizer que as categorias estudadas pela cincia e pela histria no seu curso esto dadas previamente tanto na realidade social quanto no crebro dos atores sociais.

6 o mundo concreto. Por isso mesmo, a matemtica espontnea no rigorosa segundo os cnones da matemtica moderna formada por noes intuitivas. A matemtica origina-se, portanto, no mundo da vida, mas a no permanece. Percorre o caminho que vai do concreto ao abstrato, mas em seu processo de desenvolvimento tende a separar a forma de todo contedo possvel e a criar mundos imaginrios que no tem mais contrapartida na intuio. Dito de outro modo, a matemtica cria efetivamente mundos transcendentes, ainda que tais mundos platnicos sejam produzidos pelo homem social e histrico. Ademais, por se tornar um ramo especializado do conhecimento, tende tambm a se encerrar num universo que parece estar alm das construes e abstraes cientficas, de tal modo que se afigura como uma esfera totalmente autnoma, meramente formal. assim que se originam as iluses que do origem escola formalista, escola logicista e escola convencionalista em Filosofia da Matemtica. Ademais, segundo Marx, como o concreto aparece no pensamento como um processo de sntese, como resultado, no como ponto de partida surge, de um lado, a iluso hegeliana de conceber o real como resultado do pensamento (Marx, 1978, p. 117) e, de outro, a iluso kantiana de conceber as categorias da intuio e do entendimento e assim, tambm, as noes primeiras da matemtica como produto a priori do puro pensamento e a cincia em geral como resultado da atividade da razo pura que busca organizar a experincia. Contradita-se, pois, Kant, mesmo sendo verdade que a cincia produzida pelo entendimento, pela razo meramente analtica, valha-se de matemticas, modelos e tipos ideais que conferem consistncia hiperblica ao real por exigncia do prprio modo de pensamento. interessante observar aqui que Hegel criticou Kant por considerar as proposies da Matemtica como sintticas. Segundo ele, esse um saber arrancado do real que se tornou inerte, porque deixou de compartilhar da vida dialtica do esprito. Do somar que Kant considerou uma operao sinttica ele disse que pode denominar-se um acrescentar, um sintetizar (...) porm [se trata de] um sintetizar que de natureza totalmente analtica, porquanto conjunto assim feito [ou seja, a prpria soma] todo artificial e nada h nele, nem nele entra, que no proceda do exterior (Hegel, 1969, p. 69). Dito de outro modo, a origem da Matemtica o mundo real, mas depois que foi separada e constituda logicamente como um corpo bem estruturado (por exemplo, a aritmtica), torna-se um saber analtico7. A Matemtica, assim, passa a ser a esfera por excelncia do pensamento axiomtico dedutivo. Sem dvida, assim que um corpo matemtico formalizado e axiomatizado, nele passa a operar amplamente a razo dedutivista. Entretanto, a Matemtica como um todo um campo aberto do saber que se desenvolve por meio da investigao que se vale no apenas da lgica formal (e hoje de outras lgicas), da axiomatizao e da formalizao, mas tambm da atividade de criao da mente humana, assim como da interao da prpria matemtica com as cincias naturais e sociais. Como o seu prprio desenvolvimento mostra, possvel criar corpos de idias imaginrias em Matemtica, os quais no encontram qualquer fundamento na prtica cientfica e na prtica social, mas esses corpos, apesar de fazerem homenagem inteligncia humana, no so
7

Isto, entretanto, duvidoso, j que, como se sabe hoje, mesmo a aritmtica no completa.

7 constitudos por mais do que conjecturas puramente formais. A gerao desses corpos pode at ser necessria para o desenvolvimento possvel da cincia, mas eles, enquanto tais, permanecem inteis, ao menos que possam ser efetivamente aproveitados pelo prprio desenvolvimento da cincia e sancionados pela prtica social. A fundamentao kantiana do intuicionismo e do construtivismo matemtico no parece, portanto, poder sustentar todo o edifcio da Matemtica. Apesar disso, o construtivismo enquanto orientao ontolgica e metodolgica pode fazer sentido na esfera do conhecimento aplicado, especialmente nas cincias sociais como ser mostrado. Ademais, pode fazer sentido que o princpio do terceiro excludo da lgica clssica seja aplicvel somente aos conjuntos finitos. Segundo Hegel, ele um princpio importante j que radica sua necessidade no fato de que a identidade se transpe em diversidade e esta em oposio. Para entender essa afirmao, note-se em primeiro lugar que a diversidade uma abertura infinidade (do mesmo modo que os nmeros naturais, que formam conjuntos finitos, abrem-se ao infinito). Note-se, em segundo lugar, que o princpio do terceiro excludo separa e pe em oposio, de modo bem geral, o ser do no-ser. Entretanto, Hegel comenta que sentenas tais como o esprito verde ou no verde so triviais e no pem nada mais do que a indeterminao, exigindo, ao contrrio, que a determinao se determine com mais preciso. Ora, no se pode exigir tambm mais determinao do que aquela que afirma simplesmente que um equilbrio existe no modelo de Arrow-Debreu?
Relevncia para a teoria econmica

Admita-se que uma boa parte dos nmeros reais seja uma mera abstrao, uma elaborao da cabea humana no seu incessante af de apreender o mundo real, sem contrapartida possvel na certeza sensvel, na intuio prtica ou em construes geomtricas intuitivas8. Tenha-se presente, ainda, que muitos nmeros reais no so efetivamente calculveis, indicando apenas uma possibilidade imaginria a que se pode chegar apenas com uma certa aproximao9. Admitase, finalmente, que o teorema do ponto fixo enquanto um teorema que afirma uma existncia no campo dos reais, desprezado pelo seu prprio criador, possa ser reabilitado nessa perspectiva, ou seja, como transcendncia da abstrao. salva, assim, a teoria do equilbrio geral, em cujo mbito provou-se pelo menos a existncia desse equilbrio? A teoria do equilbrio geral pretende ser uma representao do sistema econmico. Para tanto, supe implicitamente que o sistema econmico real capaz de computar e de se aproximar de algum modo do equilbrio. A existncia desse equilbrio na representao uma exigncia preliminar para construir uma teoria cientificamente relevante. Entretanto, parece necessrio, mas
certo que h nmeros irracionais, tais como raiz de 2 e , que tem contrapartida em certas figuras geomtricas como o tringulo e a circunferncia. Outros nmeros irracionais, entretanto, parecem escapar de qualquer contrapartida na intuio. 9 Aps chegar a essa concluso, deparei-me com a seguinte tese de Binmore: Como os modelos no computveis da Fsica funcionam? A razo propiciam aproximaes matematicamente tratveis ao modo com o mundo realmente funciona (Binmore, 2004, p. 480). Este carter de matematicamente tratveis decorre supostamente da continuidade inerente ao campo dos nmeros reais. Entretanto, o argumento pode no ser slido, j que se pode perguntar se h uma boa razo para manter a incongruncia entre o momento construtivo e o momento aplicado da teoria.
8

8 bem insuficiente, afirmar, com base nos axiomas dessa teoria, que, no prprio mbito da teoria, o equilbrio existe. Parece razovel esperar que essa teoria, enquanto representao do sistema econmico real, fosse capaz de mostrar como o equilbrio desse sistema a obtido, satisfazendo assim a exigncia construtivista de Brouwer, no como requisio de uma matemtica orientada pela filosofia de Kant, mas como necessidade interna da prpria teoria que pretende ser uma teoria cientfica relevante. Antes de prosseguir preciso lembrar que a teoria do equilbrio geral tem uma vocao intrnseca para ser meramente uma tautologia, ou seja, uma argumentao em que o fundamento e o fundado so o mesmo. Prova-se, com base em axiomas consagrados, por meio de teoremas de anlise no campo dos reais, tal como o teorema de Brouwer, que o equilbrio existe. Isto significa que no ponto de equilbrio as ofertas e as demandas se igualam e que a se realiza a miragem implcita na Lei de Say. Mas porque o sistema seleciona esse ponto, porque este ponto um ponto possvel? pode-se perguntar. Em face da natureza dessa prpria teoria, a resposta no pode ser outra do que aquela que afirma que nesse ponto os planos dos agentes, radicados em suas preferncias e nas opes tecnolgicas existentes, so consistentes entre si. Ora, essa consistncia de planos obviamente o mesmo que a igualao das ofertas e demandas entre si10. Segundo Hegel, o motivo pelo qual se recomenda tal maneira de explicar a sua grande claridade e inteligibilidade (Hegel, 1969, p. 215). Fazendo uma analogia com o exemplo que ele mesmo d em seqncia, pode-se dizer que no h nada mais claro e compreensvel que dizer, por exemplo, que o sistema fundado na igualao de ofertas e demandas tem seu fundamento em planos geradores de igualao de ofertas e demandas11. preciso ver que Hegel explora aqui uma fraqueza do entendimento, cujo ideal a clareza e a consistncia do conhecimento. Por ser figura constrangida da razo, o entendimento (ou a razo analtica) sempre cai na obscuridade mstica (por exemplo, quando apela mo invisvel para fechar o modelo de Arrow-Debreu) e na contradio vulgar (por exemplo, quando faz a suposio de que h fixao de preos quando todos os agentes so tomadores de preos12). Para que uma explicao efetiva possa se originar de ofertas e demandas, seria necessrio apresentar outro contedo como fundamento, o qual no estivesse contido na prpria explicao por meio da oferta e da demanda. A apresentao desse contedo seria um ato de revelao de algo que estaria oculto e que, por isso mesmo, no se afiguraria como algo claro e transparente para o entendimento. Contudo, apenas essa apresentao seria capaz de romper a tautologia, fornecendo um fundamento do prprio ponto de equilbrio entre a oferta e a demanda. Em caso contrrio, fica-se num jogo de formas e o formalismo no explica nada (Hegel, 1969, p. 215). Para poder provar a existncia, a teoria do equilbrio geral assume que os agentes so dotados de racionalidade perfeita. Eis que assim ela cai num problema de auto-referncia, j que
E isto deveria ser muito bvio j que atravs da deduo lgica nunca se pode obter um contedo (Albert, 1976, p. 25). Dito de outro modo, a consistncia possvel dos planos, que o mesmo que a igualao das ofertas e das demandas, j est implicitamente contida nos axiomas da teoria. E este tipo de teoria, alis, no pretende mais do que isso. 11 O exemplo de Hegel o seguinte: nada mais claro e compreensvel que dizer, por exemplo, que a planta tem o seu fundamento numa fora vegetativa, isto , uma fora que produz plantas (Hegel, 1969, p. 215). 12 Como foi muitas vezes, notado, isto viola o prprio princpio do individualismo metodolgico.
10

9 as decises dos agentes requerem um saber seguro e certo. Para poder tomar deciso, cada agente precisa saber os preos, mas os preos dependem das decises de todos os outros agentes da economia, cada um dos quais, por sua vez, tambm tem que tomar deciso e, para faz-lo, tem que saber os preos... e assim por diante. Como mostrou Hans Albert, nessa situao, o problema de auto-referncia leva ao trilema do mentiroso13: ou se fica na regresso infinita, ou se cai num circulo vicioso (tautologia) ou ainda se apela para uma interrupo dogmtica (opo mais provvel porque parece fechar a questo). No caso da teoria do equilbrio geral h duas sadas: a dogmtica e a ficcional. A primeira consiste em interpretar a interao entre os agentes como um jogo estratgico, recorrendo-se ento noo de equilbrio de Nash. Este primeiro expediente equivale a fazer uma opo direta pela interrupo dogmtica. A outra delas consiste em quebrar a circularidade do problema supondo que existe um centro de informao no sistema de mercados (personalizado, s vezes, como leiloeiro) que gera os preos possveis e os ajustam conforme sejam as magnitudes e os sinais dos excessos de demanda at que o equilbrio se estabelea. Essa segunda sada uma opo indireta pela interrupo dogmtica, pois se supe que h um processo (fictcio) que gera a informao necessria para que os agentes possam tomar as decises corretas. evidente que o dogma aqui posto, em ltima anlise, o funcionamento excelente do prprio mercado. A opo por supor a existncia de um processo de ttonnement que suprime a interao direta dos agentes entre si e os coordena centralizadamente, por sua vez, suscita o problema da capacidade de computao atribuda aos agentes. Ora, nessa teoria, todos os preos, sempre, so preos de equilbrio. Mesmo se a unicidade e a estabilidade do equilbrio no podem ser provadas, ainda assim parece uma exigncia poder mostrar no mbito dessa teoria que o equilbrio possvel, a partir do clculo dos agentes, pode ser atingido mesmo que seja eventualmente. Este tambm o papel do ttonnement walrasiano. A exigncia construtiva, assim, assume um carter mais determinado. Torna-se ento relevante saber, teoricamente, se esse processo de ajustamento dos agentes faz sentido em termos de capacidade de clculo. Emerge, assim, a questo de saber se os agentes do modelo so capazes de encontrar o seu equilbrio parcial em face de uma restrio qualquer de preos pois, em caso contrrio, o ttonnement no poderia funcionar. Ademais, supondo que essa computao seja possvel, seria preciso saber se a durao do processo de clculo seria suficientemente breve em comparao com a prpria brevidade e a volatilidade da ao humana. As respostas para essas questes so todas negativas. possvel provar que o equilbrio parcial do agente no computvel. A fortiori, o equilbrio do sistema tambm no computvel. Admitindo, ento, que seja possvel computar uma aproximao qualquer ao equilbrio terico, parcial ou total, dada as dimenses do sistema de equaes que sintetiza a complexidade do sistema econmico real, em princpio, as decises econmicas de bilhes de indivduos sobre preos e quantidades de milhes de mercadorias, possvel verificar que o tempo de computao seria absolutamente incompatvel com a temporalidade da ao humana14. A teoria do equilbrio

tambm chamado, por isso, de trilema do baro de Mnchhausen (Albert, 1976). No contexto da cincia econmica, a questo foi extensivamente tratada por Knudsen (1993). 14 Ver Velupillai (2000, cap. 3, p. 28-43).

13

10 geral um delrio da razo analtica e, justamente por isso, serviu de base para uma certa defesa do socialismo de planejamento centralizado. Tudo isso conspira, pois, contra o emprego do clculo diferencial e integral e da anlise real em Economia. O caminho tradicional da economia matemtica se mostra insuficiente ou inadequado. Em conseqncia, a formalizao em Economia que aqui considerado como um recurso necessrio da cincia que respeita apenas a lgica do entendimento teria de passar da anlise conjuntista para a matemtica recursiva, do mtodo axiomtico dedutivo para o mtodo da simulao e da induo, do campo dos reais para o campo dos nmeros computveis, para se tornar um pouco mais rigorosa. Enquanto um saber que se ergue sob a base do individualismo metodolgico ou, sendo irnico, que se satisfaz com os sonhos de se aprumar na capacidade de deciso de indivduos maquinais (machine dreams) , a Economia tem de abandonar o suposto de racionalidade perfeita (ou de expectativas racionais) para optar por dotar os agentes de racionalidade limitada e processual. Contudo, esse no o nico, nem o melhor caminho. Pois, um dos resultados mais interessantes da teoria econmica do Sculo XX chegar a pensar o sistema de mercados como uma mquina computacional adaptativa e complexa, heterogeneamente formada e que opera de modo descentralizado. Nesse caso, faz sentido pensar at certo ponto que a teoria da computao vem a ser o corao e o esprito do mercado enquanto um autmato (Mirowski, 2004, p. 506). Nesse rumo, entretanto no qual ainda se omite a produo capitalista, a esfera explicitamente labordinmica do capitalismo (que movida por uma energia viva e social o trabalho) a Economia d meia volta e ameaa retomar o frtil caminho da Economia Poltica Clssica. uma possibilidade. Mesmo assim, ela no escapar da Crtica da Economia Poltica.

11

Referncias Bibliogrficas

Albert, H. Tratado da Razo Crtica. Rio de Janeiro: Tempo Brasileiro, 1976. Binmore, K. Book review: Philip Mirowskis Machine Dreams. In: The Journal of Economic Methodology, vol. 11(4), dezembro de 2004, p. 477-482. Costa, N. C. A. Introduo aos Fundamentos da Matemtica. So Paulo: Hucitec, 1977. Kant, I. Crtica da Razo Pura. So Paulo: Nova Cultural, 1991. Knudsen, C. Equilibrium, perfect rationality and the problem of self-reference in Economics. In: Rationality, Institutions & Economic Methodology. Ed. U. Mki, B. Gustafsson e C. Knudsen. Londres: Routledge, 1993, p. 133-170. Hegel, G. W. F. Textos Dialticos. Rio de Janeiro: Zahar, 1978. Henderson, J. M. e Quandt R. E. Microeconomic Theory a Mathematical Approach. Tokyo: McGraw-Hiil Kogakusha, 1971. Marx, K. Para a Crtica da Economia Poltica. In: Marx, Os Pensadores. So Paulo: Abril Cultural 1978. Mirowski, P. Machine Dreams Economics becomes a Cyborg Science. Cambridge: Cambridge University Press, 2002. Mirowski, P. Philosophizing with a hammer: reply to Binmore, Davis and Klaes. In: The Journal of Economic Methodology, vol. 11(4), dezembro de 2004, p. 499-513. Velupillai, K. The computable alternative in the formalization of Economics: a counterfactual essay. In: Kyklos, 1996, vol. 49(3), p. 251-272. Velupillai, K., Computable Economics. Oxford: Oxford University Press, 2000.