Pois é, Claus... Nada a acrescentar ao que vc diz. E, num resumo: ZF não serve para descrever nem mesmo a matemática mainstream.
2011/10/1 Claus Akira Horodynski Matsushigue <claus...@mat.unb.br> > > > Grande Dória.... > > É isso que falo desde meu doutorado!!!! > > É isso aí! Perfeito! > > Desse modo, simplesmente não tem nem sentido > dizer que alguns problemas/afirmações são ou não > independentes a qualquer sistema formal, pois eles > nem podem ser bem expressos nele (portanto menos > ainda serem resolvidos neles). > > O duro é o povo entender isso! > > A questão então é que a "Matemática" se dividiria > em "duas", a dos sistemas usuais, onde é feita TODA > Matemática dita ordinária (=Matemática-Fundamentos), > e uma Matemática finitária, onde seria tratada a > Teoria da Computação. Porém, há aí dois problemas: > a Teoria da Computação não estaria embasada em > nenhum sistema formal (ou seja, não há fundamentos > para ela) e passaria a existir um abismo entre todas as > teorias usuais (não de Fundamentos!) e a Teoria da > Computação. > > Um grande abraço a todos, Claus > > > > > 2011/10/1 Francisco Antonio Doria <famado...@gmail.com> > >> Muitos dos problemas que têm sido assinalados nessa discussão sobre >> Nelson >> resultam de um fato simples: sistemas axiomáticos como os usuais >> (consistentes, incluem bastante aritmética, possuem um conjunto r.e. de >> teoremas, têm por linguagem a lógica clássica) não se prestam à teoria da >> computação: muitos fatos simples e intuitivamente claros resultam, na >> versão >> formal, em sentenças indecidíveis. Me parece que a teoria da computação >> exige algum tipo de regra infinitária na sua axiomatização, se desejarmos >> que nossas intuições a respeito se reflitam em teoremas da teoria. >> >> -- >> fad >> >> ahhata alati, awienta Wilushati >> _______________________________________________ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
