Doria,o que você quer dizer com isso? Abraço, D. ________________________________ Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause ________________________________ "He [God] will never choose among indiscernibles" (G.W.Leibniz)
Em 01/10/2011, às 10:57, Francisco Antonio Doria escreveu: > 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 <[email protected]> > >> >> >> 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 <[email protected]> >> >>> 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 >>> [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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
