Opa, > Concordo com sua obs, até pq segundo o teorema da incompletude de Godel, > dentro de um sistema axiomático, existirão verdades que não poderão ser > provadas....este teorema já está sendo estendido para a física (tem um artigo > na Scientific American sobre isto - acho natural isto, até pq, a física tem > seus postulados).
Se eu não me engano, a incompletude do Gödel só diz que existem verdades não-deduzíveis em sistemas axiomáticos que involvam aritimética... E por mais que nós usemos os números reais para quantificar (não confundir com quantizar) as grandezas físicas, isso não significa que os axiomas da física involvem aritimética. Dizer que a distancia entre duas partículas é de 7m não tem nada de especial só por que 7 é um número inteiro, ou primo, já que também podemos dizer (dizendo a mesma coisa) que tal distância é de 7000mm, sabendo que 7000 não é um número primo, ou até 22.9658793 pés, usando um número que não é nem inteiro. Eu posso estar enganado, mas eu tenho quase certeza de que isso invalida o teorema da incompletude para a física. > Porém, podemos ter algumas evidências com relação a continuidade ou não de > certas grandezas.....tempo, espaço e energia, por exemplo.....Creio que, se > todos forem discretos, quantizados, isto nos dará uma visão a cerca da > "computabilidade" a que me referi. Eu acho que mesmo sendo tudo contínuo, não tem nada que impeça "o universo" de computar as leis da física. Claro que seria mais fácil para nós, humanos, fazer as contas com tudo quantizado. > Qto a sua outra obs : Existir = ser percebido...Por quem ? Seres humanos, > animais, ou meramente através de relações dadas pelas leis físicas e > descritas pela matemática ? Acho que ser percebido significaria "fazer uma diferença". Mas eu falei só pela curiosidade da etimologia.. eu não acho que faça sentido aplicar essa definição ao "existir" da frase "existem números reais?" De qualquer modo, como eu faço então para mandar emails para a lista do modo "certo"? Eu percebi que todos os emails que eu recebo têm uma tag "mailed-by saci.mat.puc-rio.br", enquanto o meu é "mailed-by gmail.com". Eu tenho que usar um cliente especial, ou o quê? abraços, Pedro Angelo ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~obmlistas/obm-l.html =========================================================================
