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
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 logica-l-requ...@dimap.ufrn.br:
Send Logica-l mailing list submissions to
logica-l@dimap.ufrn.br
To subscribe or unsubscribe via the World Wide Web, visit
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
or, via email, send a message with subject or body 'help' to
logica-l-requ...@dimap.ufrn.br
You can reach the person managing the list at
logica-l-ow...@dimap.ufrn.br
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
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
