| Título: | Teorías inseparables |
| Autores: | José F. Prida ; Ángel d'Ors, Editor científico ; José M. Ansemil, Editor científico ; Enrique Gallego, Editor científico |
| Tipo de documento: | texto impreso |
| Editorial: | Madrid : Trotta, 2004 |
| Colección: | Estructuras y Procesos |
| Subcolección: | Serie Filosofía |
| ISBN/ISSN/DL: | 84-8164-731-4 |
| Dimensiones: | 247 p. / 23 cm. |
| Langues: | Español |
| Clasificación: | 510.2 (Fundamentos de las matemáticas. Consideraciones filosóficas en general. Aspectos críticos. Antinomias lógicas ) |
| Nota de contenido: | Funciones R-Computables ; Funciones T-Computables ; Funciones recursivas parciales ; Recursividad parcial, R-Computabilidad y T-Computabilidad ; Problemas indecidibles ; Teoremas básicos de la teoría de recursión ; Reducibilidad ; Enumerabilidad efectiva ; Productividad, creatividad e inseparabilidad ; la jerarquía aritmética ; Teorías formales ; Interpretación de una teoría en otra ; Teorías inseparables ; Estructuras fuertemente indecidibles ; Teorías finitamente inseparables ; La teoría de grupos. |
Ejemplares (2)
| Pedir por | Ubicación | Estado |
|---|---|---|
| 510.2 P945 | Biblioteca Central | Disponible |
| 510.2 P945 ej.2 | Biblioteca Central | Disponible |
