Bishop empobrece tudo. 2010/8/23 Decio Krause <[email protected]>
> Marcelo > Claro que você deve conhecer a matemática do Bishop. Não lhe serve? > Abraço, > Décio > > > ________________________________ > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-990 Florianópolis, SC -- Brasil > [email protected] > www.cfh.ufsc.br/~dkrause > ________________________________ > *Doctor Bell say we’re connected,* > *He called me on the phone,* > *But if we’re really together baby,* > *How can I feel so all alone?* > (Bell's Theorem Blues) > > Em 23/08/2010, às 09:22, Marcelo Finger escreveu: > > 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 > > > > _______________________________________________ > 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
