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
