Introducción a Metamathematics- Stephen Cole Kleene

Stephen Cole Kleene fue uno de los más grandes lógicos del siglo XX y este libro es el influyente libro de texto que escribió para enseñar el tema a la próxima generación. Se publicó por primera vez en 1952, unos veinte años después de la publicación del artículo de GAdel sobre la incompletitud de la aritmética, que marcaba, si no el comienzo de la lógica moderna, al menos un punto de inflexión después del cual un enano era siempre el mismo. Una figura importante en la lógica, y vivió una larga y llena vida de erudición y enseñanza. La década de 1930 fue un tiempo de creatividad y fermento en el tema, cuando la noción de una oecomputablea pasó del ámbito de la especulación filosófica al reino de la ciencia. Esto fue logrado por la obra de Kurt GAde1, Alan Turing y la Iglesia Alonzo, quienes dieron tres definiciones precisas, aparentemente diferentes, de una oecomputablea. Cuando todos resultaron ser equivalentes, hubo una comprensión colectiva de que ésta era efectivamente la noción aerea. Kleene desempeñó un papel clave en este proceso. Se podría decir que él era un oethere al principio de la lógica moderna. Mostró la equivalencia del cálculo lambda con las máquinas de Turing y con las ecuaciones de recursión de GAdel y desarrolló la maquinaria moderna de funciones recursivas parciales. Este libro de texto jugó un papel inestimable en educar a los lógicos del presente. Jugó un papel importante en su propia educación lógica.