Faço minhas as palavras do Walter, em especial o que ele disse quanto à maneira como se deve fazer ciência. Parabéns ao Tausk e ao Rodrigo. Foi um prazer acompanhar os debates desta última semana.
Em 1 de outubro de 2011 14:21, Walter Carnielli <[email protected]>escreveu: > Caros colegas: > > como vimos, o Ed Nelson retirou seu "claim" sobre a inconsistência de > P. > Isso, contudo, não significa o fim das discussões, nem menos a > garantia da consistência de P! > > Quero aqui parabenizar ao nosso colega Daniel Tausk do IME USP > (http://www.ime.usp.br/~tausk/) > pela excelente observação que convenceu o Nelson. Imagino que o > Rodrigo Freire e outros coelgas da USP tenham participado > ativamente da atmosfera de discussão que levou o Daniel a observar o > erro na pretensa prova do Ed Nelson. > > E finalmente parabenizo o Ed Nelosn pela coragem em propor sua > alegação, e pela humildade em reconhecer publicamente o erro. Acho > que é assim que se faz ciência, e acho que esse tipo de atitude é > que devemos ensinar aos nossos estudantes, e aprendermos nós > mesmos. Ed Nelson merece uma homegagem. > > Abraços, > > Walter > > ---------- Forwarded message ---------- > From: Edward Nelson <[email protected]> > Date: 2011/10/1 > Subject: [FOM] inconsistency of P > To: [email protected] > > > Terrence Tao, at > http://golem.ph.utexas.edu/category/2011/09/ > and independently Daniel Tausk (private communication) > have found an irreparable error in my outline. > In the Kritchman-Raz proof, there is a low complexity > proof of K(\bar\xi)>\ell if we assume \mu=1, but the > Chaitin machine may find a shorter proof of high > complexity, with no control over how high. > > My thanks to Tao and Tausk for spotting this. > I withdraw my claim. > > The consistency of P remains an open problem. > > Ed Nelson > _______________________________________________ > FOM mailing list > [email protected] > http://www.cs.nyu.edu/mailman/listinfo/fom > > > > -- > ----------------------------------------------- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > _______________________________________________ > 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
