RE: filosofando

["Gonzalo J. Perez" <gonj@...>]

> De: Miguel Angel Velilla  Mula <m.velilla en sul.com.br>
> A: Escepticos. <escepticos en correo.dis.ulpgc.es>
> Asunto: Re: filosofando
> Fecha: sábado 30 de noviembre de 1996 1:06
> Pues te respondere en forma dificil: por que el universo es matematico, y
> Kurt Godel demostro que en todo sistema formal hay siempre proposiciones
que
> nunca podran ser demostradas como siendo verdaderas o falsas.
> Esto quiere decir que en la aritmetica (y por ende en las matematicas)
hay
> verdades ocultas que nunca podran ser desvendadas.
> Por ejemplo, NUNCA sabremos si existen dos teoremas perfectamente
> desarrollados y que sean mutuamente contradictorios. (nunca realmente
quiere
> decir nunca)

	Yo no es que sea un experto, pero si no recuerdo mal lo de Godel se
referia 'solo' a sistemas formales que fueran lo suficientemente amplios
como para incluir a la aritmetica. Si que puede haber sistemas menos
amplios dentro de los cuales cualquier teorema que se pueda formular se
pueda demostrar. Lo que no veo claro es por que la realidad fisica, por muy
matematica que sea, ha de hacer uso de toda la aritmetica; quizas la
formulacion actual de las leyes fisicas no sea la formulacion mas simple
posible -de esto me atreveria a decir algo mas que 'quizas'- y quizas
cuando se tenga la teoria del todo resulte que sea un sistema menor que la
aritmetica, y decidible. De momento esto no pueden ser mas que
especulaciones.

Gonzalo J Perez
gonj en ctv.es