Ken Kunen escreveu um algoritmo que prova Paris-Harrington, e assim prova Con PA, a sentença de Gödel (não se consegue em PA mostrar que o algoritmo converge). Logo, tá estranho mesmo.
2011/9/28 Valeria de Paiva <[email protected]> > 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 <[email protected]>: > >> 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 > > [email protected] > > 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 > [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
