Do Greg Restall no Google+: It seems that Terry Tao has a good idea of where an error in the general proof strategy might be, here https://plus.google.com/117663015413546257905/posts/HH5X7728k34(in the comment at 5:25), though I haven’t checked enough myself to be sure.
Se alguem quer ler e nao tem Google+ eu posso convidar. --Valeria 2011/9/27 Joao Marcos <botoc...@gmail.com>: >> Eu sou computeiro e não filósofo, mas não posso deixar de notar o >> histrionismo de afirmações como essa (e suas similares): >> >>> Se PRA é incosistente, acredito que não restará nada que mereça o título de >>> "conhecimento". >> >> Informo que, qualquer que seja a veracidade dos teoremas de Nelson, a >> engenharia, a física e a maior parte da matemática e da computação vão ficar >> exatamente onde estão hoje. > > [...] is it wrong to say: "Well, I shall go on. If I see a > contradiction, then will be the time to do something about it."? — Is > that: not really doing mathematics? Why should that not be > calculating?! I travel this road untroubled; if I should come to a > precipice I shall try to turn around. Is that not 'travelling'? > (L. Wittgenstein, Remarks on the Foundations of Mathematics) > > > Ao viajar em uma estrada encontro um precipício e decido voltar. Mas > isto não é "viajar"? No caso do sistema matemático no qual encontramos > uma contradição, será que não estávamos fazendo matemática antes? > /Mais em http://www.cfh.ufsc.br/~principi/p141-9.pdf ) > > > JM > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > 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/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
