Vous êtes sur la page 1sur 33

Leo Corry-David Hilbert and the Axiomatization of Physics

Este texto fala sobre o Boltzman, aquele das geometrias no euclidianas.


Boltzman: seguidor da hiptese atomstica. Fez suas teorias bem na poca dos
debates sobre os fundamentos mecnicos da fsica. Foi amplamente influenciado
pela obra de Hertz, "Princpios".
As suas ideias (Boltzmann) aparecem superficialmente nos escritos de Hilber, e por
isso cabe analis-las.
1897, publica seu livro "Lectures on the Principles of Mechanics". bastante
parecido metodologicamente de Hertz, no aspecto dedutivo. Mas sua apresentao
da mecnica mais tradicional que a do Hertz.
Primeiramente ele assume diversos axiomas sobre a acelerao de um sistema e
ento deriva as leis do movimento. Apenas depois de desenvolver muita teoria
que ele aplica na prtica. As causas do movimento so irrelevantes para a cincia
natural.
Ele no quis contradizer Hertz, mas sim dar uma viso alternativa ao mundo.
Assim como Hertz, considerava a supremacia do "pensamento" sobre a experincia.
Diferia, no entanto, na questo de achar que as leis do pensamento eram supremas
arbitrrios, dizendo que at mesmo elas poderiam mudar com o tempo.
Hilbert com certeza leu este livro e tambm compareceu s palestras de Boltzmann.
Este falava sobre a teoria de Hertz, mostrava seus pontos fortes e tambm
destacava suas dificuldades no detalhamento do movimento.
Hilbert tambm ouviu falar sobre alternativas ao programa mecanicista, tais como o
energicismo e as abordagens fenomenolgicas. Boltzmann criticava estas
alternativas, dizendo que elas tentavam descrever os fenmenos sem ir alm
experincia. Ele falava sobre a matemtica fenomenolgica, que tentava formular
equaes atravs de tentativa e erro e teste emprico, em detrimento da
formulao terica de hipteses e etc.
Hilbert com certeza ouviu as palestras de Boltzmann e as usou como inspirao em
partes para fazer suas prprias palestras.
Ele tinha acabado de ensinar em um curso de fundamento da Geometria em
Gottingen, onde a abordagem axiomtica havia sido assumida como a metodologia
adequada para os problemas matemticos vigentes.
A axiomatizao da fsica no resolveria os problemas de Boltzmann, mas a
clarificao conceitual teria melhorado o debate.
Hilbert, no entanto, era mais otimista que Boltzmann.
William_Bragg_Ewald]_From_Kant_to_Hilbert_volII
Este texto fala sobre a lgica e a natureza do conhecimento de HILBERT.
1931: centro de Gottingen foi desativado pelos Nazistas.

Lgica e natureza do conhecimento na teoria de Hilbert.


[1] O conhecimento da natureza e da vida o objetivo. Todo o sofrimento e vontade
vai a isto e o que vem tendo sucesso. Nas ltimas dcadas, o conhecimento da
natureza vem aumentando em ritmo mais rpido que anteriormente. A discusso
deste texto sobre as influncias do pensamento, por um lado, e da experincia,
por outro, no conhecimento.
[2] Sem desmerecer os antigos mestres, possvel achar uma resposta mais correta
esta questo, do que antes. Existem duas razes, a primeira porque a cincia se
desenvolve mais rpido hoje em dia.
[3] As grandes descobertas da antiguidade esto distribudas em diversos sculos.
O perodo moderno comea com Hertz e as ondas. A descoberta do raio-x e da
radioatividade foram muito mais repentinas. Ele cita outras descobertas.
[4] As descobertas fsicas no se sobrepem. As novas teorias possuem elementos
do pensamento terico e prtico.
[5] Desta forma, temos duas vantagens em relao aos antigos: vimos muitas
novas descobertas, e ficamos mais familiarizados com os novos resultados.
Atualmente mais fcil tocar em teorias que antigamente eram "sagradas".
[6] Alm da experimentao, a lgica tambm evolui muito. Hoje em dia, h um
mtodo geral para tratamento terico das cincias naturais, que ajuda a formulao
de problemas e, consigo, suas solues: o mtodo axiomtico.
[7] O mtodo axiomtico bastante usado em todas as cincias, mas sua
significncia no s explicada por isso. Um grande exemplo a geometria
euclidana. Mas na biologia tambm.
[8] Exemplo em umas mosca doida.
[9] Outro exemplo:
[10] Nas cincias tericas, somos acostumados a usar processos tericos formais e
mtodos abstratos. O mtodo axiomtico pertence lgica. Existem exemplos do
dia-a-dia. Ele cita o conceito de infinito, que no existe na vida real, ou seja,
puramente terico.
[11] Como a natureza e o pensamento esto conectados. necessrio ressaltar 3
pontos de vista. 1) Paralelismo entre eles, na vida real no h infinito e na teoria
preciso tomar cuidado com ele.
[12] Outro paralelismo: o pensamento advm da unidade e busca a formao de
uma unidade.
[13] Harmonia pr-estabelecida. O maior exemplo a teoria da relatividade. Apenas
com uma busca pela invarincia e o modelo mais ssimples foi possvel. Mas os

resultados no teriam sido os mesmos sema contribuio de Riemann, tempos


antes. "Eu desenvolvi a teoria de infinitas variveis a partir de um puro interesse
matemtico, [...] sem nunca pensar que eles poderiam ser usados pela fsica.
[14] Natureza e pensamento s podem ser vistos juntos se levarmos em conta os
elementos formais e mecnicos que os unem. O processo matemtico sleciona os
pontos que os pensamentos no mundo real e terico se mesclam.
[15] Essa harmonia no exaure as questes entre natureza e pensamento, e
tambm no resolve os grandes problema. Na cincia moderna, achamos um ponto
que est alm dos objetivos da ci~encia e da formulao de questes; a cincia
moderna no faz simplesmente, como a cincia clssica, um ensino dos
movimentos futuros a partir do conhecimento presente; mas mostra que o presente
no fruto de acidente e obedece as leis da fsica.
[16] O modelo de Bohr mostra isso bem, a construo do cosmos, e a histria
evolucionria da vida orgnica. Parece que a busca por estes mtodos teriam
levado a um sistema onde as leis da natureza se aplicam para toda a realidade e
ento seria necessrio apenas derivar todo o resto. Mas isso no verdadeiro.
Quais so as origens das leis do mundo? Como as adquirimos, quem nos ensina que
elas se aplicam a realidade? A resposta que apenas a experincia torna possvel.
Algumas vezes uma teoria tem uma origem puramente terica e provada s
depois. As vezes a experincia gera as teorias.
[17] Quem quer negar que as leis do mundo vm da experincia tem de acreditar
que existe uma terceira fonte de conhecimento alm do pensamento e a prtica.
[18] Ideia de Kant: alm da lgica e experincia, temos um conhecimento a priori
da realidade.
Este conhecimento nada mais nada menos do que uma viso
fundamental, ou uma expresso das pr condies do pensamento e da existncia.
Para Hilbert, Kant havia superestimado este conhecimento.
[19] Na poca de Kant, a representao de espao e tempo eram to aplicveis
como os nmeros e quantidades. Mas como se viu, eles no so absolutos. E
mesmo em sua poca, Rieman e Helmholtz j haviam dispensado essa teoria.
[20] O conhecimento a priori necessita de cuidados, porque muitos dos conceitos
que hoje so tidos como vlidos no sero no futuro. At conceitos como o
absolutismo do tempo que demoraram muito tempo at serem postos a prova.
[21] O conceito a priori de Kant deve ser liberado de sua ligao antropolgica. A
teoria sobre infinito a prpria contribuio do Hilbert sobre isso.
[22] O instrumento que media teoria x prtica a matemtica. ela que deixa
constri as pontes. Por isso toda a nossa cultura tem como base a matemtica.
Galileu disse: o homem s pode entender a natureza quando saber falar sua lngua
e entender seus sinais. Kant tambm: a quantidade de matemtica em uma cincia
mostra quanto de cincia genuna tem nela. Uma cincia natural s poder se

masterificada quando seu ncleo matemtico for descoberto e compreendido.


Astronomia e fsica se apoiam totalmente na matemtica.
[23] No entanto, matemticos recusam a aplicao para a padronizao de valor
dela. At mesmo Gauss, o prncipe dos matemticos, partilhava desta opinio.
[24] Poincar tambm. Quando conversou com Tolstoy, este disse que seria mais
interessante procurar por aplicaes prticas. Poincar declarou que se tivesse
seguido este conselho, a cincia nunca teria se desenvolvido da maneira que o fez.
[25] Jacobi tambm pensava assim. Quando Fourier disse que o propsito da
matemtica era a explicao dos fenmenos naturais, ele disse que o nico objetivo
de toda a cincia honrar o esprito humano. E que qualquer problema terico to
valioso quando um prtico
[26] Quem se interessar por essa viso no se acabar num ceticismo retrgrado e
infrutfero. De fato, no possvel achar problemas insolveis, pois eles no
existem. Ao invs de ignorabimus, seria We must know, We shall know.
aula9_GENERAL _LOGICAL_THEORY_ AUTOMATA
Papel dos autmatos nas cincias naturais.
Eles tem invadido algumas partes especficas, fsica matemtica e matemtica
aplicada. Seu papel aponta uma contradio em alguns aspectos funcionais da
natureza. Organismos naturais so mais complexos do que autmatos. Porm, h
algumas similaridades.
Dicotomia do probmea: natureza dos elementos e discusso axiomtica da sntese.
Comparando o sistema nervoso central com autmatos artificiais, temos uma
questo. O primeiro muito complexo, preciso dividir o problema em vrias
partes (que so independentes). 1 problema: ver a estrutura e funcionamento das
unidades elementares 2 problema: saber como eles funcionam em conjunto.
1 problema: fisiologia, captulos mais difceis da qumica orgnica e fsico-qumica.
2 problema: pensamento matemtico, lgico. Usar axiomatizao.
O Procedimento axiomtico.
Axiomatizar seu comportamento significa assumir que elementos tem
caractersticas fundamentais bem definidas, ou seja, so "caixas-pretas". So
estruturas internas que no precisam ser reveladas, mas reagem segundo
determinados estmulos.
Assim sendo, podemos investigar organismos maiores. Suas conexes e estruturas.
Este procedimento possui limitaes. Apesar de ser aparantemente semelhante a
realdiade, no o ideal nem muito eficaz para determinar a validade dos axiomas.
(Anotao do Arajo: neste ponto, ele se afasta dos atomistas e se aproxima do

Fourier, de forma que no h "realismo" nos axiomas; admite, sim, que eles so de
certa forma arbitrrios).
O Significado das Ordens de Magnitude
Apesar de todas estas limitaes, a segunda parte continua sendo importante e
difcil. Qualquer definio razovel de elemento, um organismo consiste em
agregados extremamente complexos de elementos. Os neurnios do sistema
central so da ordem de 10(sobre 10) elementos. Os autmatos, no entanto, apenas
chegaram a 10 (3 a 8).
Afirmao do Hilbert:
O pensamento hegeliano de que a busca por leis da natureza que se apliquem a
toda a realidade seguida do pensamento para encontrar o conhecimento fsico no
verdadeira. Quais as origens das leis do mundo? Como adquirimo-las? S a
experincia torna isso possvel. Pontos de vista especulativos cooperam com a
fsica, mas a experincia que define se os quadros lgicos gerados por eles esto
corretos.
Von Neumann e o Papel da Matemtica nas Cincias
The Matematician
Este texto fala sobre a natureza do esforo mental da matemtica.
Discusso da natureza do trabalho intelectual difcil. raro os casos em que no
h contato emprico antes de terico.
A caracterstica mais vital da matemtica sua peculiar relao com as cincias
naturais, ou com qualquer cincia que interpreta a experincia em um nvel mais do
que descritivo.
Muitos concordam que a matemtica no uma cincia emprica, mas mesmo
assim seu desenvolvimento muito prximo s cincias naturais. A geometria
nasceu no empiricismo. Todas as ci~encias caminham para a matemtica: biologia
(qumica e fsica), fsica, etc.
Esta duplicidade natural da matemtica, e preciso que as pessoas a entendam.
Ele ir apresentar a verso mlitipla da matemtica, ao invs da "unitarista"
simplificadora.
Some of the best inspirations come from nature. Primeiro exemplo: geometria
euclidiana (controvrsias sobre axiomtica e rigor no entram aqui). At os textos
modernos se parecem com euclides.
Mesmo que a desempirificao da matemtica tenha aumentado, ela no foi
completa. At na questo das geometrias no-euclidianas estava presente o
empiricismo. Pois o quinto postulado no podia ser pensado empiricamente.

possvel conciliar empiricismo e no-empiricisimo, o prprio Hilbert o maior


expoente disto, dando contribuies para a geometria axiomtica e a relatividade.
Outro exemplo o clculo. Suas origens so claramente empricas, com causas na
mecnica. As primeiras formulaes no eram sequer formalistas matemticas.
Mesmo com um background formal ruim, foram feitos muitos avanos. Euler
tambm era largado, mas Gauss e Jacobi no. O procedimento foi ambguo, e sua
relao com o emprico diferente do que atualmente. At quando Cuachy trouxe o
"reino do rigor", Riemann tambm utilizava mtodos "semifsicos". Este sim, uma
grande personalidade da dupla face da matemtica.
Um terceiro caso, est a relao da matemtica com a filosofia/epistemologia. Cada
conceito absoluto da matemtica no seria imutvel. Algo a mais do que puro
formalismo deveria entrar no campo da matemtica. von Neumann se mostra
ambguo nesta questo, mas tem dois pontos mais ou menos definidos: alguns
conceitos no matemtaticos poderiam entrar no campo; e que a origem emprica
da matemtica fortemente sustentada pelos exemplos anteriores.
Analisando o conceito de rigor matemtico. Mudanas no "estilo" matemtico. O
mtodo de formulaes mudou constantemente. AS diferenas as vezes so to
essenciais que necessitam um amplo tratamento para serem unidas.
Mais precisamente, a questo dos "fundamentos da matemtica". Comea citando
Cantor e sua teoria dos conjuntos. Fala sobre algumas contradies, deveriam ser
retiradas? Estudos feitos por Russell, Weyl e Brouwer, mostram que os conceitos de
validade geral e existncia so filosoficamente questionveis. O ltimo gerou o
Intuicionismo, aparentemente "livre" destes problemas. Porm, outras questes
apareceram na teoria. Ficou claro que este novo pensamento no era logicamente
aceitvel.
No incio do sculo XX, dois matemticos sugeriram que o conceito de rigor
matemtico deveria ser alterado. Notas sobre isso:
1) Poucos matemticos aceitaram este novo padro.
2) Hilbert, malandro, mostra que o intuicionismo poderia ser usado para provar, de
forma terica, o mtodo clssico.
3) Godel chega a resultados satisfatrios. "Se um sistema matemtico no chega a
uma contradio, ento este fato no pode ser demonstrado pelos procedimentos
do sistema". Esta prova satisfez o mais estrito critrio do rigor matemtico, o
intustico. A opinio do Neumann que Gdel serviu para mostrar para Hilbert que
seu programa era infrutfero.
4) Mesmo com motivos contrrios, continuaram a usar o mtodo clssico. Seus
resultados eram elegantes e teis. At mesmo os protagonistas do intuicionismo
concordavam.
Esta questo foi detalhada por Neumann, para que no se leve o rigor matemtico
a um nvel to garantido.

Os exemplos dados mostram que a melhor inspirao matemtica vem da


experincia e que difcil pensar em um rigor matemtico dissociado do mundo
real.
difcil para qualquer matemtico considerar que matemtica puramente
emprica. lgebra comea emprica, mas a moderna se distancia cada vez mais.
Diversos campos que foram desenvolvidos abstratamente foram usados na fsica,
por exemplo.
Ento, matemtica uma cincia emprica? Qual a relao da matemtica com o
objeto? Qual so seus critrios de sucesso.
Ele fala sobre a relao entre matemtica e fsica terica. O sistema de Euclides era
um prottipo dos axiomas da mecnica clssica. A fsica terica no explica
fenmenos, mas os classifica e os correlaciona. Desta forma, cobrindo muito mais
fenmenos.
Fsica terica tem como objetivo problemas da fsica prtica (emprico).
Na matemtica diferente. H muitas subdivises, o oposto da concentrao da
fsica terica. Um fsico sabe muito mais de fsica geral do que um matemtico sabe
da mat. geral. Os matemticos podem deixar problemas pra trs, o que no ocorre
na fsica. "O critrio de seleo puramente esttico".
Quanto mais a matemtica se distancia da realidade com o tempo, mais se torna
esttica. Isso no necessariamente ruim, se outras disciplinas conseguirem
aproveitar de seus avanos.
Porm, quando a matemtica chega a um ponto de se degenerar, preciso "injetar"
ideias empricas, para conservar a vitalidade da cincia
Efeitos da cincia na economia.
Neumann destaca que as economias desenvolvidas j no esto crescendo como
antes, mas que isso normal.
Ele fala sobre o progresso no campo da informao e seu impacto nas tomadas de
deciso.
As informaes esto mais disponveis e h algum grau de automao e trabalho
feito por mquinas, mas ainda muito incipiente.
As decises so tomadas meio por mquinas e meio por homens. O campo que se
destaca o militar.
Quais dificuldades na economia so reais e quais so aparentes. "No se pode
experimentar livremente na economia" Nem na astrologia, mas ela foi uma das

primeiras a serem desenvolvidas e com sucesso. Mesmo sendo uma das que menos
se pode experimentar.
"Amostras pequenas", todas as cincias tm heterogeneidade, astronomia tambm.
O que parece ser a dificuldade real da economia a questo das categorias. Faltam
conceitos bem definidos, mas a economia uma cincia jovem ainda. Ainda falta
muito trabalho a ser feito nestas definies.
O papel da matemtica na cincia e na sociedade.
difcil prever o desenrolar da matemtica no futuro, pois muitas das coisas s
fazem sentido pra quem matemtico. Por isso ele vai falar do papel na sociedade.
Quo til a matemtica? e qual a importncia de ser til? A questo que no se
pode fazer julgamentos rpidos sobre isso.
Dilogo entre Arquimedes e discpulo: a cincia j era divina antes de salvar o
estado, mas independe deste ato.
Ele falar sobre a questo da utilidade da cincia.
Quais seus efeitos para alm de seus participantes e pra dentro de seus
participantes? Estes ltimos so diferentes do que se pensa usualmente. Fica claro
que a matemtica d padres mais objetivos, e que o faz independente de questes
"emocionais". Critrios objetivos da verdade so possveis, e no so autocontraditrios. Entra a questo da lgica per se, e ciencia per se, e como a
matemtica e a cincia esto em nossas vidas.
A verdade intrnseca destas proposies podem ser debatveis, mas o que importa
que elas podem ser feitas. O que realmente importa que, com a matemtica,
podemos construir modelos, imagens, de um sistema que formulamos. Afora a
questo se os padres so objetivos de fato, poder simular um cenrio ajuda a
desenvolver uma teoria posterior.
H diversos exemplos matemticos para isso.
Mais ainda pode ser dito sobre este assunto, sobre os padres objetivos. A primeira
contraargumentao de que estes padres no teriam validade para toda a
aplicao prtica. E Neumann mesmo admite que as verdades "absolutas" mudam
com o tempo. H muita discusso sobre o conceito de rigor matemtico. A prpria
viso do Neumann mudou diversas vezes nos ltimos 30 anos!
Matemticos de sculos passados aceitaram teorias que atualmente seriam
descartadas. Algumas vezes com senso de culpa, mas nem sempre!
H uma discusso no sculo XX sobre os fundamentos da matemtica; e com isso
se os conceitos matemticos so falhos ou no. Algumas ideias de que s se usaria
o que fosse absoluto surgiram. Alguns matemticos diziam que no era para se
questionar o que estava sendo usada. Tambm, outros diziam que s o que tivesse

passado pelos mais crticos analistas deveria ser aproveitado. A maior parte, no
entretanto, que embora houvessem pontos de ambiguidade, deveriam continuar a
ser utilizados. Se uma teoria que estivesse sendo questionado fosse usada
amplamente pela "fraternidade" para formular "belas" teorias. Ele mesmo concorda
com isso, que porque a matemtica, que j havia servido e muito para a fsica, no
deveria ser considerada? Porque seria um desvirtuamento?
Ele no entra mais em detalhes, mas afirma que isso faz parte de uma outra
dificuldade epistemolgica. possvel demonstrar a existncia de um exemplo,
mesmo sem o exibir.
H questes complicados neste campo do pensamento.
Ele fala sobre outras funes da matemtica, especialmente no nosso pensamento.
senso comum de que a matemtica uma excelente escola de pensamento, que
te d pensamento lgico e que seu pensamento fica mais claro. No entanto, o que
ele realmente destaca a flexibilidade dos conceitos matemticos. Esta
exatibilidade no to vista em outras cincias.
Um problema pode ser visto pela abordagem causal e pela teleolgica. Esta ltima
tem bastante importncia na biologia.
Esta no uma m questo, mas deve ser vista com cuidado para se encaixar na
matemtica.
Um exemplo clssico a mecnica clssica (elo entre matemtica e fsica terica).
Esta pode ser expressa por diversas formas matemticas. A teoria de newton
puramente causal. Sabendo as informaes do presente, pode-se simular todos os
eventos futuros.
Outra formulao o princpio do efeito mnimo, que te permite o clculo de certas
coisas, e especificamente a integral de energia, atravs da histria completa do
sistema. Esta, teleolgica.
A questo se baseia em como so formuladas as equaes. Ou seja, no
importante a preservao de um princpio teleolgico, pois essa discusso perde o
sentido (se vocs tiver um conhecimento matemtico).
Este pensamento s pode ser obtido com instrumentos puros matemticos. No
pensamento puro, mas instrumentos puros.
Outro exemplo da fsica terica. Argumento de que h diferena em coisas que so
estritamente objetos de tratamento matemtico e coisas que so deixadas a
prpria sorte (?).
um argumento plausvel, e era muito plausvel h 200 anos atrs, poca da
inveno da teoria das probabilidades que tornou eventos fortuitos, passveis de
formulao matemtica.

A mecnica quntica tambm um exemplo. Os processos elementares no


obedeciam fsica clssica. E esta no consegue prever todo o futuro.
A questo que isso foi descoberto pelo mtodo da fsica e cristalizado (feito
preciso) pela matemtica. Este possibilitou o desenvolvimento de ciclos lgicos.
Pode dar confiana e suavidade tcnica a experimentos da "sorte". Ou seja, a no
previsibilidade de alguns fatos na mecnica quntica foi
A descoberta pela fsica, mas s com a teoria matemtica das probabilidades foi
possvel analis-la.
Outra questo problemtica o expectativa de gerao de um ciclo vicioso ao
analisar a inteligncia humana. Todas as evidncias s podem ser analisadas
atravs de uma abordagem fsica e matemtica. A contradio de se imaginar que
pode-se calcular todo o pensamento humano s poder ser provada
matematicamente.
A fsica tambm tem um problema igual a este (limitaes absolutas) na
relatividade e na teoria quntica. No entanto, a matemtica consegue expressar
estas questes. O paradoxo posio x velocidade s pode ser dseenvolvido atravs
de mtodos matemticos.
Sobre a evoluo da matemtica, ele se mostra temeroso ao ser muito especfico.
Uma coisa muito conspcua: alguns campos da matemtica foram muito teis
para a cincia. um tipo de "praticalidade".
De forma geral, uma teoria dita til se pode ser usada na fsica terica. Ainda,
preciso que seja til na fsica experimental. Depois, na engenharia. Se pode avanar
at mesmo depois da engenharia. Ou seja, o conceito de utilidade limitado. De
forma direta ou indireta, a ajuda vital da matemtica sempre bvia.
O interessante que a maioria das teorias foi desenvolvidas sem se importar com a
utilidade e muito dificilmente com a suspeita de que seriam teis. A prpria lgebra
que foi amplamente usada depois de 200 anos de sua formulao pela fsica
quntica.
Por outro lado, o clculo foi inventado com um objetivo especfico.
Ainda h muitas teorias que foram criadas sem o objetivo de serem teis. H um
grande lapso entre a sua formulao e sua utilidade prtica. Mas isso se estende
para toda a cincia.
Ele termina cita que incrvel observar o papel da cincia na vida normal. Mais
precisamente, os resultados, estranhos e "wonderful", do princpio do laissez faire.
Mtodo nas cincias sociais
nfase em metodologia acontece com problemas. Trs crises.

Trs crises: relatividade, quntica e na matemtica (rigor e prova matemtica). Ele


falar sobre sobre as duas primeiras.
Cincia no explica, faz modelos matemticos lgicos simples.
O que simples? Questo histrica.
A habilidade para descrever importante no modelo, mas no decisiva. Em
ci~encia, no importa se foi feita antes ou depois, mas sim se correta. O material
analisado deve ser heterogneo.
melhor se a teoria de uma rea pode ser usada em outra, mesmo sem objetivo a
priori.
A fsica quntica ajudou muito a qumica, fsica de slidos e espistemologia. Mas
no era seu objetivo.
Fsica clssica tambm, era pra definir os planetas e foi usada amplamente.
Outro aspecto importante a larga escala de utilizao, a fsica clssica pode ser
usada nos planetas mas tambm nos carros.
II
Definio de viso causal x teleolgica.
A mecnica clssica quase um arqutipo deste procedimento. Da viso causal, no
caso.
Na teleolgica precisa-se saber todo o sistema para tirar concluses.
Na biologia isso fica claro.
Newton = causal.
D'alembert = teleolgico.
Matematicamente, no h diferena, pode-se chegar no mesmo resultado sempre.
III
Asim temos exemplos de alternativas interpretaes da mesma teoria.
Mecnica quntica como exemplo. Schordinger, tica; Heisenberg, probabilistico.
Matematicamente, so equivalentes. A segunda mais usada atualmente.
A escolha se d pela melhor adaptao da teoria a outras reas.

A deciso parece ser oportunstica no final. Qual delas levar a uma formalizao
melhor se sobressair. No questo de certo ou errado, mas sim adaptao formal
correta extenso.
Theory of games and economic behavior.
Formulao do problema econmico.
O mtodo matemtico em Economia
Introduo.
Apresentar fundamentos da teoria econmica. Conceitos bsicos do comportamento
econmico. Os problemas econmicos s podero ser exatamente formulados e
resolvidos com a matemtica.
Aplicaes matemtica nos jogos da estratgia.
De que modo a teoria dos jogos pode se relacionar nos elementos comuns. Isso fica
mais claro definindo algunds elementos. No tem nada de artificial nisso, muito pelo
contrrio a teoria dos jogos estratgicos o instrumento certo para a teoria do
comportamento humano.
No apenas uma analogia, mas sim que os problemas tpicos do comportamente
economico so identicos aos jogos estratgicos.
Dificuldades na aplicao dos modelos matemticos
Natureza da economia e o papel da matemtica em seu desenvolvimento. No h
sistema universal, pois muito complexo pra ser desenvolvido rapidamente. Outras
cincias mais antigas nem tem nada. A fsica muito menos complexa e moderna e
no tem teoria unificada.
A matemtica tem sido usada na economia, at com certo exagero. No tem tido
muito sucesso, ao contrrio do visto em outras cincias. Por qu?
Alguns argumentos do conta do carter psicolgico da economia. Ento a biologia,
qumica e fsica tambm no teriam desenvolvido suas matemticas.
A dificuldade na mensurao tambm no consistente. Na fsica tambm era
difcil mensurar no incio, mas isso no impediu seu desenvolvimento.
Dificuldade na diviso de quantidades econmicas. Tambm fraco, a fsica com os
subatmicos mostra isso.
A matemtica no pode ser usada na economia pois esta uma cincia social, que
leva psicologia em conta. Poderiam ver o que deu certo em outras cincias e aplicar
na economia.

preciso procurar um argumento melhor. A falta de sucesso pode ser uma


combinao de circunstncias infavorveis. Alguns problemas no so claramente
formulados. No h sentido, entretanto, em usar conceito crus em no h clareza. A
questo est nas definies. A busca pelo equilbrio econmico sem a devida
anlise matemtica um erro.
Outra questo o background emprico inadequado. Os dados so muito menos
amplos do que na fsica, por exemplo, E tambm h muito menos teoria j
realizada.
Por isso no tem dado certo: falta de conceitos claros e falta de dados empricos e
teorias prvias.
O objetivo de Neumann no aprofundar a pesquisa emprica. Ele vai utilizar
experincias de comportamento humano que sejam tratveis pela matemtica.
Este processo no bvio, no entanto. Sero utilizadas tcnicas no usadas at
agora e no futuro podero ser criadas novas disciplinas matemticas.
O fato de a matemtica na economia ser desprezada reside na questo de que
costumeiramente ela nos d asseres fracas parecidas com a sua no utilizao,
ao invs de "provas" concretas.
As mudanas que o uso da matemtica pode causar so consdierveis. O invento
do clculo o maior dos exemplos.
A importncia do fenmeno social, ruqyeza e multiplicidade, so parecidas com a
fsica.
No entanto, no parece provvel que a repetio do uso dos processo usados na
fsica iro produzir efeitos to postivios na eocnomia. Isso pode ser visto na
superusagem do clculo, equaes diferenciais como instrumentos econmico
matemticos.
1.3 N
preciso voltar aos problemas que so claramente definidos. Algumas j esto
resolvidos, mas faltam provas concretas. Todos os teoremas caem neste propsito.
Apesar de j terem sido deduzidos, falta soluo lgica.
Tambm no o objetivo da matemtica resolver as grandes questes da economia
(renda, emprego, salrios). Mas sim resolver os que esto ao alcance.
O grande progresso se d quando com o estudo dos problemas se desenvolve um
mtodo que expandido mais e mais. Exemplo so aspectos da mecnica
incorporados pela astronomia.
O princpio da modestia verdadeiro, intil tentar explicar tudo sistematicamente
em economia.

necessrio saber o mximo sobre o comportamento dos indivduos e sobre as


formas simples de trocas. A escola marginalista adotou este procedimento, mas ele
no utilizado amplamente. Alguns pontos da economia mais "importantes"
acabam por ofuscar as pequenas definies. A fsica mostra que essa impacincia
s atrasa o progresso. "No existe razo para assumir a existncia de atalhos".
1.4 Concluding remarks.
essencial que os economistas no esperem destino diferente da maioria dos
cientistas. Eles tem que definir os pequenos problemas para poder avanar.
O livro de Neumann no se preocupa se seus avanos sero mantidos ou no, mas
sim o desenvolvimento gradual da economia. Esta fase a fase "heurstica" da
economia, da transio das consideraes "no-matemticas" para a
matematizao. <Ou seria da prpria axiomatizao?>A teoria tem que ser
matematicamente rigorosa e conceitual. preciso passar por essa fase para
chegarmos fase do sucesso. Todas as cincias passaram por isso.
The work of Nicholas Bourbaki
A guerra acabou com os franceses jovens.
No havia gente pra ensinar matemtica contempornea.
Estavam atrelados na teoria das funes.
Um professor inicia seminrios sobre assuntos novos e estrangeiros. Isso anima os
alunos.
Surge a ideia de fazer no um seminrio, mas sim um livro. A que comea o
Bourbaki. Foram inspirados por Van der Waerden (lgebra), que j era de certa
forma um Bourbaki.
O livro era vasto e os contedos prvios estavam desorganizados. No havia
contedo "didtico" antes de Bourbaki.
Surge ideia de Enciclopdia, mas esta no continha provas.
Seria um livro com provas matemticas de diversas reas da matemtica. Os
autores que no foram contemplados no gostavam disso.
Como escolher o que entrava ou no?
Bourbaki no contm nada original, apenas coloca o que j foi provado.
"Since Hilbert and Dedekinf, we have known very well that large parts os
mathematics can develop logically and fruitfully from a small number of well-chosen
axioms"

Pensamento bem axiomtico.


Eles pararam de usar terminologias e formularam algumas novas. Linguagem
reconhecvel e no jarges bizonhos.
Mudana nas classificaes amplas da matemtica (geometria, lgebra e etc).
Poltica estrita de organizao da teoria. "Bourbaki can only and only wants to set
forth theories which are rationally organized, where the methods follow naturally
from the premises, and where there is hardly any room for ingenious stratagems".
No querem dizer se uma teoria "boa" ou "ruim". Mas sim que eles no aceitam
teorias que ficam se remendando e no tem um padro lgico.
O livro tem sido acusado de esterilizar a pesquisa matemtica. No entanto, o livro
no busca o estmulo pesquisa.
Se eles forem padrozinados beleza, entram no livro. Em questo do estmulo
pesquisa:
"Se um problema existe em uma teoria antiga, obviamente ele ser destaacado,
mas este no o objetivo do Bourbaki"
<Ou seja, o mtodo do Bourbaki e suas publicaes podem ser usados para
resolver problemas na vida real e estimular a matemtica. Mas este NO o seu
objetivo. Seu objetivo criar uma obra com os principais teoremas e provas
matemticas j consolidados que apresentem padro lgico e axiomatizado>
O livro no toca em "living mathematics", ele d ferramentas, mas no estimula.
Latour: jamais fomos modernos
Breve resumo:
Hobbes imagina uma sociedade com um tom bastante "unificador", ou seja, com
um "rei" ou representante que seja uma imagem do povo, uma igreja controlada e
estrita. Onde toda a "verdade" seria dita pelos conceitos e provas matemticas.
interessante como ele usa a matemtica para acabar com os "espritos" e "almas".
No entanto, Boyle apresenta os resultados empricos de laboratrio, mostrando o
vcuo no tubo de Torriccelli ("se os espritos j no fossem suficientes"). Se as
experincias forem permitidas para reconhecer os fatos, o poder estaria dividido e
ento o caos. "As imagens estaro 'duplicadas',". isso o que ele fala pro rei para
denunciar os atos da Royal Society.
Bloor 1
Basicamente, o texto fala sobre conhecimento e imaginrio social (seu ttulo). Nele,
fala sobre a relao entre as convenes sociais e cincia. Rechaa a ideia de que

seja algo malfico pra a sociedade, dado que se houverem grande conjunto de
critrios e convenes, alm de motivos para se alterar as teorias em voga, haver
avano cientufico.
O fato de os resultados e mtodos da cincia so convenes no os invalidam.
um erro pensar que elas so trivialmente aceitas e que so pouco exigentes por
natureza. Pelo contrrio,
Argumentos contrrios vo contra a sociologia do conhecimento, o que segundo
Bloor um absurdo.
Bloor 2
O texto fala sobre a lgica de uma tribo Azende e seu sistema jurdico que no faz
sentido lgico.
No final, ele mostra que a lgica deles no to diferente da nossa. Sua relutncia
em aceitar um aspecto logicamente razovel igual nossa quando temos de
deixar para trs algum senso comum. Mesmo assim, no o fazemos sempre.
Portanto, nossa lgica igual a deles?
Nossa psicologia a mesma, mas instituies radicalmente diferentes (as nossas
mais maleveis e a deles mais rgida). Pelo ponto de vista psicolgico, a mesma.
Mas do ponto de vista institucional, diferente. A matemtica utiliza mais o
segundo enfoque.
No entanto, essa definio irrelevante. O que importa sabermos que tanto
fatores psicolgicos quanto institucionais esto envolvidos no raciocnio.
preciso uma estrutura impessoal para estabelecer limites e alocar cada tendncia
corretamente, afinal no h estado de equilbrio. Ele comenta ento, que no seria
certo deixar por conta prpria, pois isso apenas criaria um ambiente restringente.
Por isso necessrio uma "negociao".
Menger apenas uma parte - Leonard
Este texto fala sobre as contribuies do Karl Menger s cincias sociais. Fala sobre
as fundaes da matemtica e sobre os impactos polticos do Nazismo. filho de
Carl Menger.
No gosta de Dusseldorf mas gosta de Paris. Estava em Amsterdam estudando
geometrias e epistemologia. No gosta nada de Amsterd tambm.
Ele foi um intermedirio entre matemtica e cincias sociais na Univ. de Viena. Ele
estava no centro da adeso de um maior rigor do uso da matemtica. Seu trabalho
foi de inspirao para Morgenstern e Nuemann.
Seu trabalho deve ser visto junto de todo o contexto poltico da poca.

Comeou em fsica na faculdade, mas logo foi para a matemtica. Deu uma
descrio precisa de uma curva,
Debreu e sua secrecy Duppe
Texto sobre Debreu e sua "secrecy".
Inicia citando as tragdias de sua infncia e sobre o fato de Debreu no expor isso a
ningum. Era um homem muito introvertido e no gostava de debates.
Seus padres: racionalidade, rigor e beleza.
Ele no tinha "opinio" (he was silent) sobre muitas questes correlatas a sua
teoria, nem sobre suas causas nem sobre suas consequncias.
Seu purismo matemtico era uma forma de evitar a exposio de seu lado pessoal.
"anonimidade da matemtica".
Para Dppe, os fatos que ocorreram em sua infncia tiveram grande impacto em
sua teoria. "Proteo do confronto com o mundo". Ansiedade com controle e com a
falta dele.
Matematizao.
Este captulo fala sobre a vida de Debreu durante a guerra na Frana. Tambm cita
os elogios publicao de Bourbaki, seus nveis de abstrao e pureza so
destacados. Um de seus professores era membro de Bourbaki (Henri Cartan),
moldando sua imagem de matemtica e suas vises intelectuais.
Pode-se destacar a anonimidade que Bourbaki dava aos membros, algo que atraa
Debreu. Bourbaki seria a matemtica falando por si mesma, ou seja, no uma
escola matemtica, a prpria matemtica.
O prprio nome um sinal claro do purismo, afinal no um determinado autor que
assina os livros. Com Debreu, a economia no se Bourbakizou, mas sim se
matematizou. O fascnio do projeto Bourbaki estava na questo que se podia
imergir totalmente na matemtica sem ter que fazer determinada "reclamao" ou
julgamento.
A diferena entre Bourbaki e Hilbert est na ignorncia no que diz respeito
verdade cientfica e desinteresse em justificao filosfica. Matemtica e ci~encia
so sepradas. A preocupao com rigor e a preocuopao com verdade so
excludentes. Bourbaki no estava preocupado com cincia, mas sim com
matemtica. Queriam uma fundao axiomatizada para a matematica moderna.
Seu propsito era matematizar a matemtica.
Quando Bourbaki era atacado por paradoxos filosficos, recorriam ao absurdo:
"matemtica apenas a combinao de smbolos sem sentido". No tem como
haver nenhuma filosofia por trs de Bourbaki.

Para Duppe, matemtica era algo que Debreu usava para se esconder. E bourbaki
era perfeito para ele.
A satisfao do purismo matemtica se d com o custo de ter que perder a
necessidade de se viver em um mundo compreensvel.
Falta de Motivao
Por que Debreu deixou a matemtica? nem ele sabe direito. Quando ele comeou a
ter aulas de economia, davam pouca atenao teoria. Ele se sentia longe do
mundo real, em razo de estar em plena Segunda Guerra e Bourbaki no ter
nenhuma relao com a prtica.
Com o livro de Maurice Allais, ele entrou na economia hesitantemente.
Em 44 ele foi pra guerra.
Em 45, ele se forma e Allais consegue um emprego pra ele, mas era difcil conseguir
uma carreira acadmica. Os matemticos eram vistos com suspeitas pelos
economistas. A situao ficou bastante opaca, no final parecia que ele teria que se
tornar um economista,mas no seria professor de economia na universidade.
Pensou em ir pra indstria, mas logo declinou.
Em seu primeiro artigo de economia, ele demonstrou bastante respeito s
dimenses interpretativas do modelo de equilbrio. Falou sobre o perigo de
considerar algo relativo como absoluto na teoria de Pareto.
Foi em contato com a economia americana que ele se descobriu. No por causa de
grandes aplicadores da matemtica como Solow e Leontief. Mas sim por causa de
um tal von Neumann e sua Teoria dos Jogos. Nesta, as exigncia matemticas de
Debreu estavam atendidas. Os padres Boubarkianos blindaro Debreu da
abordagem anti-walrasiana do livro. Ele acabou se inscrevendo para uma bolsa
Rockfeller e ganhando. No final, acabou indo estudar no Estados Unidos, em
Harvard.
Discreto
Nos EUA, o purismo no era to aceito como na Frana. Debreu foi uma pea
importante para dar um tom mais purista aos americanos, mas estes tambm o
afetaram.
A Segunda Guerra promoveu grandes avanos na aplicao da matemtica.
A entrada no instituto Cowles foi muito bem vista para Debreu, l ele foi bastante
prolfero. Novamente, Debreu foi um importante elo entre purismo e aplicao.
Ainda mais para dar a bandeira de que Cowles no tinha partido.
Ele mesmo se mantinha muito neutro em questes polticas, mas isso era normal
para ele. Continuava com seu rigor matemtica, mas no tentava dissemin-lo.

Portanto, ele no se metia em assuntos polticos (RAND), diferente de von


Neumann.
O trabalho mais importante foi em conjunto com Arrow. Este era seu exato oposto,
extrovertido e bastante forte na economia. Os dois se ajudavam, Arrow mostrava os
erros economicos e Debreu os matemticos.
55, ele movido para Yale onde vira professor. No entanto, a maior parte do tempo
ele escrevia sua monografia, cada vez mais pura. Cada vez mais o contraste entre
ele e seus colegas aumentava.
Sobre o equilbrio, no havia um sentido referencial, era uma necessariedade da
teoria.
In proving existence one is not trying to make a statement about the real world,
one is trying to evaluate the model,.
Esta viso purista no era to aceita pelos seus pares em Cowles. A maior crtica
era "Economia no matemtica, rigor necessrio mas no suficiente para teoria
econmica." Debreu sentiu-se no entendido, mas no se defendeu.
Com essas divergncias crescendo cada vez mais, recebeu um convite para voltar
pra Frana. Ele queria, pois no havia se adaptado aos EUA. SUa famlia pesou na
balana e ele acabou ficando no continente americano.
Alimentando falsas esperanas
Em Berkeley, a economia era muito heterognea, o que era bom para Debreu. Ele
no se intrometia em outras disciplinas, mas ficava puto com o que faziam com a
matemtica na economia. Ele sempre evitava conflitos, no entanto. Era muito vago
e no participava ativamente dos comits.
As diferenas culturais eram grandes.
O texto fala sobre diversas relaes com pessoas de Berkeley. Destaca-se a
aproximao com Smale, que recebeu a medalha Fields e com essa fama conseguiu
colocar a matematica na economia um pouco mais fcil.
Na dcada de 60 (guerra fria), Debreu ainda no falava sobre suas vises polticas,
ao contrrio de Smale. Ser que esta postura daria certo como deu na dcada de
50?
Apesar de ele ainda trabalhar sozinho em suas teorias, desta vez haviam
autoridades em volta dele que tomariam conta do reconhecimento de suas teorias.
A prova da existncia deu esperana h muitas pessoas que ele no queria em sua
comunidade do rigor.
Uma nova escola nasceu em 60, os neo-walrasianos. Esta se aflorou mais na Europa
do que nos Eua.

Aproximal~ao com Hildenbrand (tambm gostava de Bourbaki)


Nos Estados Unidos, sua fama se dava pela teoria economica rigorosa: o modelo
"arrow-debreu), principalmente aps o nobel de Arrow em 1972. Este modelo era
usado em OR, e outros modelos de equilbrio (macro internacional).
No final, os resultados obtidos no tiveram muito impacto sobre a real utilizao.
Mas para Debreu no importava, afinal eles eram bonitos, simples e elegantes.
Seu artigo de 74 foi o ponto alto no mundo acadmico. Foi muito premiado, diversas
honras, "entrou na moda", comparvel Keynes em 83. O texto d como a
consagrao da entrada de Debreu na economia. Era usado tanto pelos heterodoxos
como pelos ortodoxos. Parecia que era o ponto alto e tambm o final para ele.... At
que ele ganhou o Nobel em 83.
Insanidade
O Nobel exps muito Debreu, ainda mais como economista, que sempre se
escondeu atrs de outra autoridade, agora ele era a autoridade. O Nobel
simpesmente aconteceu com ele, no tirnha se preparado. Em seu discurso, ele s
falou de matemtica e sua importncia.
Os liberais usaram seu modelo como uma prova da mo invisvel de Smith e do
sistema de equaes de equilbrio de Walras.
Muitos "discpulos" desmentiram as notcias. Debreu ainda se mantinha neutro
nestas questes. Em seu discurso do Nobel, tentou ser o mais neutro possvel.
A mo invisvel tinha funcionado para ele na vida real, afinal ele estudou
matemtica porque era o que lhe interessava e justamente a economia estava
entrando neste campo.
Recebeu muitos convites polticos, mas sempre se manteve independente.
O prmio fez mal pra ele, no conseguiu "se adaptar a fama".
Debreu Entrevista
P: por que a questo da existncia de um equilbrio geral to importante?
R: na verdade, a prova da existncia til para provar que o modelo bom, no
que a realidade seja assim. Os pressupostos foram relaxados nos ltimos anos,
eram muito restritivos antes.
P: exemplos de polticas que precisavam da prova?
R: com a simplicidade, os economistas tem uma ferramenta melhor. Ele d
exemplos de economistas na Frana que usaram o modelo; e tambm de algoritmos
computacionais que usaram o modelo como base. Diversos setores usaram o

modelo. Tambm fala de conceitos bsicos, como funes de demanda que usaram
o modelo.
P: na mdia se diz que seu modelo pode ser usado contra e a favor do "mercado".
R: um perigo da economia usar um modelo mal formalmente formulado para
aplicar na prtica. A exata formulao d um escudo contra esse perigo. O modelo
pode ser usado em vrios setores, mas ele ideologicamente neutro. A questo
chave so as hipteses. <super vis axiomtico>.
P: eficiente x timo.
R: eficincia: produo. timo: preferncias, pareto.
P: teoria "geral" e "simples".
R: simplicidade aparece de vrias formas, algumas formas mais simples so mais
gerais.
P: conceitos primitivos?
R: estes conceitos esto na teoria axiomtica, so conceitos que tu no define.
Conceitos em que no possvel nenhuma reduo lgica.
P: o que vc quis dizer ao "extender" a teoria de equilbrio?
R: teoria do ncleo, computao do equilbrio, externalidades, bens pblicos, entre
outros.
P: gnese criativa?
R: obscuro processo de emergncia de ideias.
P: como tornastes interessado no problema da existncia de equilbrio?
Com as leituras de Allais, Divisa e Walras, ele no ficou satisfeito com os
argumentos para a existncia do equilbrio. Como um matemtica havia diversos
problemas. Trabalhos de Kakutani, neumann (principalmente) e Nash ajudaram com
seu pensamento. Koopmans era o diretor e o colocou pra trabalhar junto de Arrow.
P: Comentrios sobre McKenzie.
R: Seu modelo usa o equilbrio para comrcio internacional, fiquei sabendo s
depois de jpa ter publicado e apresentado a minha teoria.
P: Comentrios sobre Arrow.
R: Grande economista e amigo. Grandes teorias, como a da impossiblidade. Debreu
s escreveu um artigo em pareceria com ele.

P: reaes positivas e negativas de seu trabalho.


R: Matemtica economica no muito estudada em 50. Debreu e Arrow eram um dos
poucos, mas essa minoria era estimulante. A prova de existncia no foi logo
entusiastica e assim normal. As teorias rapidamente aceitas so suspeitas.
P: vc se focou nos pontos que era forte da economia, e no se desviou para outros
campos. Pode dar uma inspirao?
R: vantagens comparativas um bom conceito economico e sua descio precisa.
P: os recentes avanos da teoria de equilbrio tem "machucado " a teoria
neoclssica?
R: a hiptese de concorrncia um bom framework para o setor de consumo, mas
no pro setor industrial. Este melhor explicado pela teoria dos jogos, que vem
tendo um certo sucesso.
P: pq no usou concorrncia perfeita (O termo) em seu livro?
R: no foi necessrio, apenas assumi que os agentes eram tomadores de preos.
Este comportamento foi explicado pela teoria de ncleos depois.
P: Morgenstern falou que os equilibristas usavam competio em uma maneira
errada, seus pensamentos sobre isso.
R: "ento voc aprova o fato de eu no usar o termo competio perfeita!".
Realmente, a teoria dos jogos abriu uma era de ouro para a economia matemtica.
Mas eles apenas mostraram os principais conceitos, grandes descobertas e
formulaes foram feitas depois, taius como o equilbrio de Nash e a teoria dos
ncleos. Foram precursores e importantes como tal.P: a teoria matemtica do
equilbrio a teoria geral de economia?
R: uma teoria de grande importncia. Economia bastante complexa. Impossvel
cobrir tudo, mas possibliotu grandes avanos.
P: para Frank Hahn, no h problema keynesiano no mundo de Debreu.
R: se as hipteses fossem correspondidas pelo mundo real, ento no haveria
problema. Mas elas no so. Apesar das grandes mudanas na teoria em razo da
maior aplicabilidade ocorrerem, o mtodo simples e genrico provavelmente
continuar o mesmo.
P: equilbrios dinmicos x estticos. Clssico x neoclssico.
R: processos dinamicos so difceis de formalizar matematicamente. O principal
problema a questo do "lag" na reao dos agentes, difceis de mensurar.
P: todo problema econmico requer uma explicao/uso de aparato matemtica?

R: na verdade at os mais complexos dos problemas podem ser usados por tcnicas
simples. O prprio Walras usou tcnicas simples, mas que no eram nem elegantes
nem rigorosas. Mesmo assim, sua contribuio foi absurda. Sim, acho que teorizar a
economia matemtico em sua natureza. Mas no significa que precise de
matemtica sofisticada para fazer boa teoria matemtica. Justamente o oposto,
utilizando tcnicas muito complexas, pode dar merda.
P: mais sobre isso.
R: preciso ver quanto de complexidade precisa ser usada.
P: justo dizer que sua teoria teve motivao diferente dos jovens hoje? Este
querendo sofisticao.
R: agora tem muito mais gente escrevendo sobre. Tem um pouco disso que tu
falaste, mas tambm tem outras coisas.
Debreu matematizao
Texto de Debreu sobre a matematizao da teoria econmica.
Super sntese.
A teoria econmica se matematizou muito depois da segunda guerra mundial,
justamente concomitante com a publicao do livro de von Neumann em 44.
Fala sobre a ligao da fsica com a matemtica, e como a primeira dava novos
problemas para a segunda.
Alguns resultados da fsica contradiziam a matemtica.
Na economia mais difcil fazer experimentaes.
A economia permite algumas inconsistncias lgicas matemticas. Algumas
construes recentes e slidas contriburam para o avano da cincia.
No entanto, uma teoria unificada est longe de ser desenvolvida. Continuaremos
com pequenas teorias individuais. Seus axiomas do limites teorias.
Uma viso global da economia precisa usar um modelo matemtico. Ele fala de
alguns aspectos matemticos.
A convexidade das preferncias um conceito que a economia "deve"
matemtica por sua formalizao.
Matemtica d uma linguagem simples e geral para a economia. Os ganhos da
formalizao esto expostos em Walras e Edgeworth.
A simplicaidade o imperativo da matemtica. Diversas teorias, principalmente de
consumidores, so baseadas nela. Teorias de taxa marginal de substituio e

convexidade. Alm da formulao do princpio de Adam Smith, onde os vcios


privados resultam em benefcios pblicos.
A abstrao ajudou a economia. As preferncias continuam como bom exemplo
disso. A questo da existncia do equilbrio tambm se destaca, com a sua
abstrao matemtica foi possvel estudar diversos problemas fundamentais gerais
e tambm permitiu um grande leque de aplicaes.
Uma grande questo da matematizao que os artigos produzidos s podem ser
corretamente avaliados por quem realmente conhece os termos.
Blaug Revoluo formalista
A revoluo formalista de 1950.
Algo mudou na economia nos anos 50, algo chamado de revoluo formalista, to
forte quanto a revoluo keynesiana.
Entre as guerras houve uma disputa entre institucionalistas e neoclssicos. Mas na
verdade, este perodo pode ser classificado como pluralista, pois a economia
neoclssica apenas surgiu em 1950.
A metamorfose que a economia sofreu entre 40 e 50 foi marcada por uma
formalizao das teorias econmicas. Esta mudana se deu como uma forma de
emular o mesmo que Hilbert fez com a matemtica no incio do sculo.
Ele ento cita diversos artigos:
1. Arrow, Social Choice and Individual Values, 1951.
2. Arrow and Debreu, Existence of Equilibrium for a Competitive Economy,
1954.
3. Patinkin, Money, Interest and Prices, 1956.
4. Solow, Technical Change and the Aggregate Production Function, 1957.
5. Koopmans, Three Essays on the State of Economic Science, 1957.
6. Dorfman, Samuelson and Solow, Linear Programming and Economic Analysis,
1958.
7. Debreu, Theory of Value, 1959.
8. Sraffa, Production of Commodities by Means of Commodities, 1960.
A obra de Arrow e Debreu a principal, no por apenas aplicar a matemica, mas
sim formular os modelos econmicos em formas matemticas.
II. The Arrow-Debreu restatement of Walras
O artigo deles provava a existncia de um equilbrio geral em uma economia de
mercado. Foram utilizados diversos instrumentos matemticos, tais como a anlise
convexa e os teoremas de Nash da teoria dos jogos. O mtodo usado foi o de
Brouwer, "teorema do ponto fixo", onde a prova da existncia foi demonstrada a
partir da contradio axiomtica que se chegava a partir da no validade da
existncia. Chamada de "no-construtiva".

Eles no tentaram provar que o modelo uma representao boa da economia,


pois muitos elementos foram deixados de fora. Eles queriam que fossem sendo
adicionadas ouras especificaes para um mercado dinmico. "O equilbrio
imposto como um ponto fixo no qual os ajustes de mercado chegaram ao fim."
Causou alvoroo pois um problema econmico com variveis econmicas foi
transformado em um problema matemtico de uma economia virtual, que foi
resolvido no por padres da economia, mas da matemtica. Isso puro
Bourbakismo. Debreu era declarado um Bourbakiano e sua Teoria do Valor usava
conspicuamente a axiomatizao formal.
III. The rise and fall of game theory
Em 44 publicado o livro de Neumann e a teoria dos jogos desaparece em 50 e 60.
Isso aconteceu pois ela era muito simplista e considerava apenas dois jogadores.
Depois voltou com tudo nos anos 70. um mistrio.
A soluo pro mistrio o desaparecimento da anlise de desequilbrio no modelo
de Walras e a concentrao no equilbrio "ao fim" da economia ortodoxa em 50.
O economista mdio na dcada de 50, tinha dificuldade de formular um conceito de
equilbrio baseado na lgica do "ponto-fixo", faltando interpretao positiva no
processo convergente ao equilbrio. por isso que a teoria dos jogos demorou tanto
para ser aceita.
Quando A&D usaram a teoria dos jogos para provar a existncia do equilbrio, a
Revoluo Formalista estava recm no incio. Demorou mais de uma dcada para o
formalismo e o Bourbakianismo quebrar a resistncia da teoria dos jogos e do
"ponto-fixo".
Apenas em 70, a teoria de Nash foi incorporada ao conceito de equilbrio neoclssico.
IV. Back to Walras
A questo da existncia-do-equilbrio matou o problema de "uniqueness" e
estabilidade do equilbrio.
Walras foi que nem Neumann, seu livro e teoria demoraram pra serem
reconhecidos. Apenas na dcada de 30 que foi lido (morreu em 10). No incio era
visto como uma teoria perto da realidade. Mas o trabalho contemporaneo, por
exemplo de A&D, era visto como apenas um modelo. Foi enfatizado que era uma
estrutura matemtica. visto como uma das mairoes mundaas de teoria na HPE.
V. Is general equilibrium moribund?
O modelo de A&D continua de p, at porque irredutvel logicamente. A questo
outra. O link entre soluo matemtica e interaes de mercado foram
negligenciados por eles. O que falta na teoria a rivalidade entre agentes nos
mercados reais. "A mo invisvel tambm tem dedos"

Alguns axiomas so no reais, como a substituio perfeita de commodities. "To


believe in the empirical relevance of general
equilibrium theory is to rely on the dynamic stability of equilibrium".
Now it is perfectly true that the hypothesis of relative
stability possesses an inherent plausibility because, as Samuelson (1947, p. 5) once
said, how many times has the reader seen an egg standing on its end?
Isso provavelmente causado por intervenes supra mercado, como regras de
mercado. O mundo de walras no corresponde ao mundo real.
"Chegamos a curiosa concluso de que o equilbrio da teoria geral de equilbrio
conhecido no pode ser nico ou estvel, mas sim por que sua existncia pode ser
provada indiretamente por sua prova negativa". No entanto, a teoria continua a ser
usada como framework.
"Is this yet another example of an emperor who has no clothes?"
VI. Responses to the failure of general equilibrium theory
H inmeras repostas para as falhas do modelo em responder existncia, unicidade
e estabilidade. A primeira que ele pode ser usado para refutar certas proposies
econmicas. Viso de Frank Hahn.
Outra dizer que uma hora ela ser transformada por uma dose de realismo.
A de Weintraub a construtivista, onde equilibrium is a feature
of our models, not the world. O conhecimento s tem sentido pra quem da rea.
Construtivismo tem diversos significados. Sua forma extrema, diz que o
pensamento econmico um produto intencional da atividade humana e por isso
uma "fabricao.
Constructivism has a multiplicity of meanings. In its most extreme form, it argues
that scientific knowledge, including economic knowledge, is the product of
intentional human activity and is therefore essentially a fabricationit is made
rather than discovered (Ziman 2000, pp. 33339). It is not clear whether Weintraub
wants to go quite so far. Are we really to believe claims that derive from
comparative static propositions, such that a rise in unemployment compensations
will increase unemployment, are just assertions about the logical properties of
models and say nothing about the state of the world? Whatever happened to the
correspondence rules that all of us attach to economic theories, explicitly or
implicitly? When economists are told that a tax on butter will raise the equilibrium
price of butter they have learned from the correspondence rules of the theory of
market equilibrium that this conjecture
is true only if price-elasticities are such and such. They will regard the proposition in
question as having considerable policy-relevance because it involves definite
assertion about the nature of reality and not just moves in a language game.
Weintraubs constructivist interpretation of equilibrium is the last stage in his
long journey over several books and many years to construct an impregnable
defense of general equilibrium theory. If general equilibrium is not an actual real

state of affairs that could conceivably happen, but just a heuristic device, a point of
reference, a way of talking, then to ask whether there are missing markets for some
goods or whether agents have perfect foresight has the same sort of
meaning as to ask whether there really are an infinite number of primes or whether
the square root of a negative number is only defined in terms of the imaginary
number i. But this is bad history because whatever we now say, since Arrow and
Debreu, the followers of Walras and Pareto, not to mention Walras
and Pareto themselves, had no doubt that general equilibrium theory dealt with
substantive real-world, policy-relevant issues.
VII. Perfect competition and all that
H um elemento que foi ignorado at agora, competio perfeita. Agentes como
tomadores de preos. A revoluo formalista de 50 foi o banimento da anlise de
desequilbrio, mostrando que o ajuste de preos seria o nico modo de a economia
superar os choques.
Perfect competition never was, nor ever could be, all the textbooks agree (Blaug
1997, pp. 7071), and yet the real world is said to be approximately like, not far
from, very close to, the idealized world of perfect competition. How do we know?
Because historical comparisons tell us so. It is such informal, nonrigorous appraisals
that convince us that competitive markets perform better than centrally planned
economies. Market economies are informationally parsimonious, technically
dynamic, and responsive to consumer demand, and that is why we rate capitalism
over socialism despite periodic business depressions and unequal income
distributions (Nelson 1981). In short, we appraise the private enterprise system in
terms of the dynamic consequences of market processes and leave all the beautiful
statical properties of end-state equilibria to classroom examination questions.
VIII. Concluso
I would contend that the simultaneity of price determination that is deeply
embedded in general equilibrium theory has proved in the fullness of time to be a
grossly misleading metaphor.
A questo de como chegar at o equilbrio foi negligenciada pela Revoluo
Formalista, esta apenas d conta de sua existncia ou no.
Em suma, Blaug desce o pau na teoria do equilbrio.
The Patrons of Economics in a Time of Transformation Craufurd D.
Goodwin
comum que historiadores da economia se perguntem o que aconteceu entre 30 e
60.
O texto ir analisar o financiamento dos economistas nesse perodo.

During the twentieth century, there have been primarily four patrons of economics:
higher education, the government, the business
community, and charitable
foundations
Concluso
Todos os "patres" viam valor na economia, mas tambm percebiam problemas.
Diferenas entre "good" and "bad" guys.
Higher education
As autoridades da higher education viam como positiva a evoluo da teoria
econmica, que ajudava a explicar a economia dos EUA. No entanto, alguns
"baderneiros" serviam como para-rios de ataques as instituies por poderosos
consitencies (pessoas importantes?)
Governo
Comeou em 30. Economistas no conseguiam ou no queriam dar resultados no
incio. A segunda guerra forou eles a serem mais efetivos, dando conselhos para
implementao de polticas. Em 50, economia j tinha uma posio respeitvel.
Setor privado.
Tinham "medo" do pluralismo da dcada de 30, principalmente com o New Deal e o
keynesianismo. Na segunda guerra, viram como era boa a teoria neoclssica para
garantir um ambiente livre empresarial.
Fundaes.
Aceitaram a injunction de Flexner para apoiar apenas economia rigorosa.
Although we have not established a tight causal connection between the actions of
patrons and the responses of their benefice, we have demonstrated that the
environment in the United States over these three decades was much more
congenial to the selection of postwar neoclassicism than to the selection of interwar
pluralism. And it was the selection of the former that actually took place.
Clearing the Ground: The Demise of the Social Gospel Movement and the
Rise of Neoclassicism in American Economics - Bateman
Clearing the Ground: The Demise of the Social Gospel Movement and the Rise of
Neoclassicism in American Economics
Como o pluralismo do entreguerras americano desapareceu to rpido no final da
segunda guerra? Por que Ely, Commons, Mitchell deram lugar Samuelson, Solow e
Arrow. Matemtica, formalismo e fisica.
Estas puxaram o institucionalismo para fora da economia americana. O sucesso dos
neoclssicos no foi pr ordenado, mas sim um resultado de uma srie de
reviravoltas e returnos.

Clark desenvolveu sua teoria no final do sculo XIX com vis matemtico, ao
contrrio de Ely e Commons.
O protestantismo do Social Gospel foi se retirando do senso comum depois de 1918.
A reforma da economia americana, que vigorou depois da Guerra Civil, deu lugar
busca pela eficincia da nao.

Os neoclssicos tiram o cientfico da teoria institucionalista. Do um conceito mais


estrito para cincia.
O Social Gospel ajudou a termos uma economia americana mais plural, com
empiricismo e preocupao social. Mas ajudou a ter uma sociedade mais plural.
Quando o pluralismo na sociedade (representao poltica e tudo mais) comeou a
emergir, o pluralismo da economia sucumbiu.
What Is the Critique of the Mathematization of Economics?
O texto mostra as principais crticas da matematizao da economia, tanto ad hoc
quanto gerais.
Apesar de divergncias quanto ao conceito de economia matemtica, uma coisa
certa q ue diferente de quantificao, econometria e mensurao de dados
econmicos.
As crticas nascidas em 40 e 50 foram afogadas pela vasta aplicao dos mtodos
matemticos.
These are:
1. The axioms of mathematical economics do not correspond with real world
behaviour.
2. The number of empirically testable hypotheses generated by mathematical
economics is small compared with the volume of mathematical economic analysis.
3. Some/much of economics is not naturally quantitative and therefore does not
lend itself to mathematical exposition.
4. The translation of the description of economic processes from a natural language
(such as English) to mathematics can be naive and illegitimate.
5. There is no objective way to gauge whether mathematical economics is more
precise than less mathematical economics.
6. There is no one best system of mathematical logic.
7. Because of all the above problems, mathematics is often an unnecessary
adornment to economic discovery about the real world, but serves other purposes.
Measuremente whitout theory - Koopmans
Introduo

Fala sobre a teoria de Mitchell dos ciclos. Relaciona ela com a de Kepler, sendo mais
experiemental ainda que esta. Diferencia fase de Kepler (emprica) e Newton
(terica).
Para koopmans, no se deve focar numa s "era", mas sim se focar na parte inteira.
Concluso
O livro de Mitchell absurdamente empiricista. Perserverana e elogios ao
tratamento estatstico dos dados. Algumas hipteses econmicas so postas
prova. O no uso da teoria econmica comportamental, mesmo que
hipoteticamente limita o valor da cincia econmica para fazer polticas. Essa
deciso limita as concluses estatsticas.

Mirowski - Cyborg
Resumo: importncia da ascenso da OR no desenvolvimento da economia aps a
guerra. 1)HIstria da OR necessita de reviso aps seu artigo de Fortun e Schweber
em 1993; 2) tradio neoclssica americana ecnontrou obstculos em 1930; 3) o
recrutamento de uma generao de economistas na primeira guerra ajudou a
dissolevr este impasse; 4) diferenas nas escolas podem ser mapreada, em
particular, Escola de Chicago e Comisso Cowles.
Teses de que a segunda ferra marcou uma grande incurso de fsicos na teoria
neoclssica.
Introduo
A patronagem militar mudou a cincia no sculo XX.
have forged links between the literature on the military
patronage of scientific research and the rise of what they have called the cyborg
sciences, interdisciplinary research programmes inspired by the command-controlcommunications-information paradigm of military doctrine and the advent of the
computer.
A teoria neoclssica se abstraiu, se tornou mais matemtica e reacional, algortmica
aps a dcada de 1940. Sua ascenso e a criao da OR no so coincidncia para
Mirowski.
Concluso
A anlise dos anos 50 mostra que no o final, mas sim o incio da estabilizao da
teoria neoclssica nos EUA. A vinda da fsica no algo acidental. Molculas
tentando entrar em equilbrio so que nem agentes tentando entrar em equilbrio.
A teoria neoclssica precisava ser "estratgica" para ser convincente, ou seja,
cultivas teoria dos jogos.
Chicago era menos abstrato que Cowles.
No final, as inovaes de von Neumann continuam a mexer com a economia,
transformando a ortodoxia neoclssica em uma imitao auto consciente do

computador. A questo que encerra o texto : ser que a ortodoxia se fragmentara


da mesma maneira que a OR no final do sculo?
Reminiscences Dantzig
Dantzig fala sobre o incio da Operations Research e programao linear. Fala sobre
a dificuldade em achar solues para problemas prticos sem o auxlio de
computadores.
Destaca a influncia de von Neumann e axiomatizao do sistema.
Ento ele v que precisava de uma funo objetivo.
Ele procurou economistas para ver esse problema. Koopmans entendeu a
crucialidade do problema a apresentou para varios economistas como Arrow,
Samuelson e outros.
Insatisfeito, comea a pesquisar. Desenvolve solues para problemas achando que
era um tema de casa. Faz progressos na questo dos multiplicadores lagrangeanos
e no mtodo simplexo.
Ele foi falar com Neumann para ter uma luz. Ele disse que estava trabalhando em
um problema analogamente igual, mas o da teoria dos jogos. Os dois problemas
eram equivalentes, foi a que Dantzig viu pela primeira vez o problema da
dualidade.
Em 48, conheceu Tucker. Este mostrou seu trabalho sobre dualidade. Mas Dantzig j
avia elaborado, no entanto no tinha publicado pois era ideia do Neumann.
Hoje em dia, todo mundo cita von neumann pela ideia e Kuhn, Tucker e Gale como
os primeiros a provar.
Na palestra sobre programao linear, Hotelling disse "mas o mundo no linear".
Neumann ento respondeu: "se funciona, use, seno, no use".
No incio da dcada de 50, o mtodo da programao linear se espalhou.
Principais contribuies de Dantzig:
1) Reconhecer que as relaes prticas podiam ser reformuladas como um sistema
de inequaes lineares;
2) Expressar critrios de bons e melhores planos em termos de objetivos
especfcios;
3) inveno do mtodo simplexo, que transformou uma abordagem econmica em
uma ferramenta bsica para planejamento prtico de sistemas grandes e
complexos.
O mtodo simplexo resolve em 1s o que demoraria o universo inteiro.
Samuels Biddle
Aps a guerra civil dos EUA, faltavam economistas americanos para resolver os
problemas do pas. Muitos foram estudar na alemanha, onde diversos vieram

viesados pelo pensamento alemo, mais emprico e no ortodoxo. Diferiu muito do


que se tinha antes, mais pro lado de Livre comcio, de Wells e Walker. Aps 1880
mudou.
New schoolers vs old schoolers em 1880.
Newcomb, representando o passado, liberal.
Ely como "intervencionista" alemo.
Alemanha x Inglaterra.
Tudo isso na Universidade John Hopkins.
Ely: questes sociais como responsabilidade do governo.
Neycomb: governo s atrapalhava, era preciso ver a questo social, mas no
intervir.
Criao da American Economic Association por Ely para juntar pessoas da nova
escola.
Esta grande dicotomia gerou presses para os dois lados. pela velha escola, Irvin
Fisher formula sua teoria de doutorado estabelecendo a economia matemtica. Por
outro, Commons e Veblein despontam na nova escola, com o empiricismo duro.

Kantorovich by Roy Gardner


75 o nobel foi para Kantor junto de Koopmans.
Koopmans: anlise de atividade, programao linear, crescimento tima. um
terico central da teoria neoclssica.
Kantorovich: no muito visto no oeste.
O artigo fala sobre:
1) Vida de kantorovich, similar de Neumann
2)descoberta de planejamento timo, por isso ganhou nobel
3)computao de um plano timo
4)sua influncia direta na reestruturao da perestroila.
Concluso
At the end of his life, Kantorovich said, "A major achievement of the mathematical
eco-nomic direction was the elaboration of a series of problems of planned pricing,
as was the sub-stantiation of the thesis of the inseparability of the plan and prices"
Pensamento econmico de Kantorovich:
1) optimalidade tem implicaes no preo
2) um plano timo inseparvel dos preos corretos.
3) reforma do planejamento requer reforma dos preos

Ao abrir o canal de ideias do ocidente para a URSS, Kantorovich teve um importante


papel no desenvolvimento do pensamento econmico.