OK. obrigado :)) 2011/3/1 Eduardo Ochs <[email protected]>
> Pronto: > http://angg.twu.net/doria/README.html > Me manda outros artigos e um README decente quando der. > [[]], Eduardo > > 2011/3/1 Francisco Antonio Doria <[email protected]>: > > Anexo o artigo, obrigado. > > > > 2011/3/1 Eduardo Ochs <[email protected]> > >> > >> Oi Dória, > >> > >> se você quiser eu crio um subdiretório em http://angg.twu.net/ - você > >> escolhe o nome dele - e ponho os artigos lá... Vou te pedir também pra > >> escrever um README em formato txt; o programa que eu uso pra gerar > >> HTML (que fui eu que fiz) vai gerar um README.html a partir do seu > >> README original, e no README.html todas as URLs vão virar links. > >> Exemplo: > >> > >> http://angg.twu.net/eev-current/ > >> http://angg.twu.net/eev-current/README-0.95.2 > >> http://angg.twu.net/eev-current/README-0.95.2.html > >> > >> [[]], > >> Eduardo Ochs > >> [email protected] > >> http://angg.twu.net/ > >> > >> > >> 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 > >> > > > > > > > > > -- > > 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
