Acho que deve ter erro, tambem, mas não vou me meter a ler 250 páginas. Tem um teorema pouco sabido e citado, mas que aponta, ao contrário, na direção da consistência de ZF:
- lista na ``ordem natural'' (crescente no comprimento, e para as iguais, em ordem alfabética) as sentenças de ZF na sua linguagem formal. - Se a sentença está na posição N, seu código será N. - Os teoremas de ZF, se listados, crescem como a parte inteira de log N. Isso quer dizer: ser demonstrável é um fato raro. É como se houvesse pouca chance de aparecer uma contradição. 2011/9/19 <[email protected]> > Olás a todos, > > Essa questão do Kiselev ("ZF provar que não existem inacessíveis") é > complicada mesmo e concordo com as colocações do Rodrigo, principalmente no > que se refere à analogia com o axioma do infinito. > > Além das discussões no FOM, há algo também no MathOverFlow: > > http://mathoverflow.net/**questions/73121/recent-claim-** > that-inaccessibles-are-**inconsistent-with-zf<http://mathoverflow.net/questions/73121/recent-claim-that-inaccessibles-are-inconsistent-with-zf> > > No MathOverFlow, Andreas Blass (que é um pesquisador respeitável - olha o > argumento de autoridade de novo, hehe...) diz o que mais ou menos todos > estão dizendo pelo que vi, o texto é difícil de ler, está meio rebuscado e > repetitivo, não está claro qual é a parte crucial do argumento. Aí, para ler > as 250 páginas, fica complicado. > > Também li que o problema é que o Kiselev está tratando de certas afirmações > ao mesmo tempo "no sistema e também metamatematicamente", o que complica um > pouco a coisa. > > Ou seja: como disse Dana Scott no FOM, alguém vai ter que ler e expor o > erro, caso ele exista. Só críticas superficiais (está mal escrito, monótono, > etc.) não vão resolver. > > E, como Andreas Blass, eu também estou sem tempo para ler as 250 páginas, > vou deixar para algum pesquisador mais experiente do que eu fazer isso, > hehe... > > Até, > > []s Samuel > > PS: Há alguns anos atrás eu vi algo de um russo em um congresso dizendo que > inacessíveis nao existiam, deve ser o mesmo Kiselev... Seria bom se um cara > como o Kanamori, ou o próprio Solovay, viesse a público e desse uma opinião > rápida sobre esse trabalho, que acabou de entrar no ArXiv. O cara deve ser > um desses rebeldes que não gostam de críticas ao próprio trabalho, por isso > não submete num formato padrão como artigo ou livro, e aí nós temos que > todos procurar o erro no trabalho do cidadão, enfim (se é que existe, eu > particularmente aposto que tem algum erro em algum lugar). > > > > > > > Citando [email protected]**: > > Send Logica-l mailing list submissions to >> [email protected] >> >> To subscribe or unsubscribe via the World Wide Web, visit >> >> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> >> or, via email, send a message with subject or body 'help' to >> [email protected] >> >> You can reach the person managing the list at >> [email protected] >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Logica-l digest..." >> >> > > > ------------------------------**------------------------------**---- > Universidade Federal da Bahia - http://www.portal.ufba.br > > ______________________________**_________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<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
