[FOM] Is Godel's Theorem surprising?

[laureano luna]

On Sun, 10 Dec 2006  Gyorgy Sereny wrote:

>It is perhaps worth noting that Boolos's proof of
>incompleteness (G. Boolos, A new proof of the
>Godel incompleteness theorem.  Notices
>Amer. Math. Soc., 388-390 (1989))  based on the
>formalization of the Berry paradox shows that
>diagonalization does not play an essential
>role in the incompleteness phenomenon.
>(By the way, Boolos's method can be used to
>show that the same is true for the
>undefinability of truth and the undecidability
>of provability as well
>(cf. G. Sereny, Boolos-style proofs of limitative
>theorems, Mathematical Logic Quarterly,
>50 (2004), No.2, pp. 211-216).)

Anyway, our knowledge about the possibilities of
diagonalization should be enough to render limitation
theorems unsurprising.

Regards




		
______________________________________________ 
LLama Gratis a cualquier PC del Mundo. 
Llamadas a fijos y móviles desde 1 céntimo por minuto. 
http://es.voice.yahoo.com