[FOM] Is Godel's Theorem surprising?
laureanoluna at yahoo.es
Sun Dec 10 17:45:24 EST 2006
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
LLama Gratis a cualquier PC del Mundo.
Llamadas a fijos y móviles desde 1 céntimo por minuto.
More information about the FOM