> 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
