Faltou o link... http://angg.twu.net/doria/
2011/3/1 Francisco Antonio Doria <[email protected]>: > Botei no site do Eduardo Ochs, obrigado. > > 2011/3/1 Valeria de Paiva <[email protected]> > >> oi Doria, >> >> outra possibilidade 'e usar um site com academia.edu. >> valeria >> >> 2011/3/1 Francisco Antonio Doria <[email protected]>: >> > Pois é...Se alguem tiver um site, mando pra lá. >> > >> > 2011/3/1 Alessandro Bandeira Duarte <[email protected]> >> > >> >> > O chato dessa lista é que não dá pra anexos, ou postava o artigo aqui. >> >> > >> >> >> >> uma possibilidade é upar no googledocs e linkar aqui >> >> >> >> -- >> >> Alessandro Bandeira Duarte >> >> UFRRJ >> >> frege.hdfree.com.br >> >> (Usa GNU/Linux) >> >> Em terça-feira 01 março 2011, às 06:26:42, Francisco Antonio Doria >> >> escreveu: >> >> > O chato dessa lista é que não dá pra anexos, ou postava o artigo aqui. >> >> > >> >> > 2011/3/1 yuri lumer <[email protected]> >> >> > >> >> > > "Um resultado tem sido muito citado, em economia: >> >> > > >> >> > > ``mercados competitivos possuem preços de equilíbrio, mas estes são >> em >> >> > > geral >> >> > > não computáveis.''" >> >> > > >> >> > > Prof. Dória, poderia me dar algumas referências sobre o tópico >> citado >> >> > > acima. >> >> > > >> >> > > Obrigado, >> >> > > Yuri >> >> > > >> >> > > 2011/3/1 Francisco Antonio Doria <[email protected]> >> >> > > >> >> > >> Na verdade pode-se provar, usando o número omega de Greg Chaitin >> como >> >> > >> uma espécie de medida, que tanto em PA quanto em ZFC, >> indecidibilidade >> >> > >> é o fato >> >> > >> típico. É por isso, aliás, que tanto PA quanto ZFC são >> consistentes. >> >> > >> >> >> > >> 2011/3/1 Francisco Antonio Doria <[email protected]> >> >> > >> >> >> > >> > Newton e eu mostramos em 1990 que existe um termo t (uma >> expressão >> >> > >> >> >> > >> formal) >> >> > >> >> >> > >> > numa axiomatização da mecânica clássica em ZFC tal que este termo >> t >> >> > >> > representa um sistema mecânico determinístico, mas tal que não >> >> podemos >> >> > >> >> >> > >> em >> >> > >> >> >> > >> > ZFC dizer se sua órbita é limitada ou não. (Outras axiomatizações >> >> > >> > necessariamente dão o mesmo resultado.) >> >> > >> > >> >> > >> > Depois disso provamos um teorema tipo Rice para a linguagem da >> >> > >> > análise, onde a indecidibilidade se estende além da hierarquia >> >> > >> > aritmética, em >> >> > >> >> >> > >> ZFC. >> >> > >> >> >> > >> > Um resultado tem sido muito citado, em economia: >> >> > >> > >> >> > >> > ``mercados competitivos possuem preços de equilíbrio, mas estes >> são >> >> em >> >> > >> > geral não computáveis.'' >> >> > >> > >> >> > >> > (Obtido com Marcelo Tsuji.) >> >> > >> > >> >> > >> > Outro, atrapalha; a sentença abaixo: >> >> > >> > >> >> > >> > ``a família P de máquinas de Turing é uma família de máquinas >> >> > >> >> >> > >> polinomiais >> >> > >> >> >> > >> > no tempo'' >> >> > >> > >> >> > >> > é indecidível em ZFC, para um P dado explicitamente (a sentença é >> >> > >> > verdadeira em modelos de ZFC com aritmética standard, mas falsa >> em >> >> > >> >> >> > >> muitos >> >> > >> >> >> > >> > modelos não standard). >> >> > >> > >> >> > >> > Tem outros exemplos. Tô preparando pra Coppe um review do que >> Newton >> >> e >> >> > >> >> >> > >> eu >> >> > >> >> >> > >> > fizemos juntos. >> >> > >> > >> >> > >> > 2011/2/28 Joao Marcos <[email protected]> >> >> > >> > >> >> > >> > a busca de exemplos concretos de incompletude em matemática ainda >> >> vai >> >> > >> > >> >> > >> >> dar panos para a manga >> >> > >> >> >> >> > >> >> Picking holes in mathematics >> >> > >> >> -- Marianne Freiberger >> >> > >> >> http://plus.maths.org/content/picking-holes-mathematics >> >> > >> >> >> >> > >> >> (o artigo inclui em particular um exemplo interessante, mesmo >> que >> >> não >> >> > >> >> seja recente, de uma sentença indecidível que envolve uma >> coleção >> >> > >> >> finita de árvores finitas) >> >> > >> >> >> >> > >> >> >> >> > >> >> jm >> >> > >> >> _______________________________________________ >> >> > >> >> Logica-l mailing list >> >> > >> >> [email protected] >> >> > >> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> > >> > >> >> > >> > -- >> >> > >> > fad >> >> > >> > >> >> > >> > ahhata alati, awienta Wilushati >> >> > >> >> >> > >> -- >> >> > >> fad >> >> > >> >> >> > >> ahhata alati, awienta Wilushati >> >> > >> _______________________________________________ >> >> > >> Logica-l mailing list >> >> > >> [email protected] >> >> > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> _______________________________________________ >> >> Logica-l mailing list >> >> [email protected] >> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> >> > >> > >> > >> > -- >> > fad >> > >> > ahhata alati, awienta Wilushati >> > _______________________________________________ >> > Logica-l mailing list >> > [email protected] >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > >> >> >> >> -- >> Valeria de Paiva >> http://www.cs.bham.ac.uk/~vdp/ >> http://valeriadepaiva.org/www/ >> > > > > -- > fad > > ahhata alati, awienta Wilushati > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
