Metamatemática - Paul Lorenzen

TÍTULO: Metamatemática

AUTOR: Paul Lorenzen

EDITORIAL: Tecnos

AÑO DE EDICIÓN: 1971

PÁGINAS: 210

FORMATO: Rústica, 21 x 14 cm.

• Estado: Aceptable. Cubierta sobada. El texto presenta algunos subrayados. Traducción de la 2ª edición alemana por Jacobo Muñoz.

SUMARIO:

INDICE DE SÍMBOLOS.

INTRODUCCIÓN

1. FORMALIZACIÓN DE LA LÓGICA

§ 1. Lógica clásica de yuntores.

§ 2. Lógica constructiva de yuntores y cuantificadores.

§ 3. Lógica clásica de cuantificadores.

§ 4. Lógica de la igualdad.

II. FORMALIZACIÓN DE LA ARITMÉTICA

§ 5. Aritmética constructiva y axiomática.

§ 6. Formalización de la aritmética clásica.

§ 7. Consistencia de la aritmética clásica.

III. ARITMETIZACIÓN DE LOS FORMALISMOS.

§ 8. Formalismos completos.

§ 9. Decibilidad.

§ 10. Expresabilidad aritmética.

§ 11. Representabilidad aritmética.

§ 12. Indecibilidad e incompletitud.

...

.........