Oi João Marcos. Gostei muito do artigo, obrigado.
Eu nunca gostei do infinito, mas não pela repulsa a ter que abraçar cardinais inacessíveis, mas sim porque o infinito me parece um mal modelo para computações reais. Sempre sonhei com uma matemática que não contivesse um infinito, mas permitisse o ilimitado. Nunca tive nem tempo nem a competência de perseguir essa meta, mas fico feliz de ver que o incômodo com o infinito não é só meu. []s Marcelo 2010/8/22 Joao Marcos <[email protected]>: > Um belíssimo artigo de divulgação científica, inteiramente acessível, > sobre a "estranha possibilidade de que a Aritmética possa não nos dar > todas as respostas" foi partilhado estes dias na lista f.o.m. > > To infinity and beyond: The struggle to save arithmetic > --por Richard Elwes > http://www.newscientist.com/article/mg20727731.300-to-infinity-and-beyond-the-struggle-to-save-arithmetic.html?full=true > > O artigo trata do livro recente do Harvey Friedman, no qual o autor > exibe 12 asserções aritméticas que *somente* podem ser decididas pela > _adição de grandes cardinais_ à Aritmética de Peano. > > O futuro da Lógica e a sua relevância para a pesquisa matemática > aparentemente vai passar pela luta entre aqueles que vêem "infinite > sets are a paradise of fools" e aqueles que estão dispostos a abraçar > "monstrous infinite entities". > > Leitura MUITO recomendada, para todas as tribos. > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > (in absentia, post-doc in cives vindobonensis) > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
