Resumen de Una demostración del Teorema de Incompletitud de Gödel

George Boolos

• George Boolos (1940-96) fue catedrático de Fisolofía del Massachusetts Institute of Technology. El siguiente artículo apareció publicado con el título New Proof of the Gödel Incompleteness Theorem en el Notices of The American Mathematical Society, 36 (1989) 388-390). Reproducimos también una carta de Boolos al Notices: A letter from George Boolos, Notices of the American Mathematical Society, 36 (1989) 676. LA GACETA agradece a la American Mathematical Society y a Sally Sedgwick el permiso para la traducción y publicación de este material.