Introducción a la metamatemática /
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | |
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
Madrid :
Tecnos,
1974.
|
| Temas: | |
| Notas: | Edición original: Introduction to metamathematics. Amsterdam : North-Holland |
| Descripción Física: | 494 p. |
| ISBN: | 8430905294 |
Tabla de Contenidos:
- La teoría de conjuntos
- Algunos conceptos fundamentales
- Una crítica del razonamiento matemático
- Un sistema formal
- Deducción formal
- El cálculo proposicional
- El cálculo de predicados
- Teoría formal de números
- Funciones recursivas primitivas
- La aritmetización de la metamatemática
- Funciones recursivas generales
- Funciones recursivas parciales
- Funciones computables
- El cálculo de predicados y sistemas axiomáticos
- Consistencia, sistemas clásicos e intuicionistas