Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda
INICIO |
27 de julio de 2024
A direct proof of Gödel's incompleteness theorem.
| Título inglés | A direct proof of Gödel's incompleteness theorem. |
|---|---|
| Título español | Una prueba directa del teorema de incompletitud de Gödel. |
| Autor/es | Prida, José F. |
| Organización | Fac. Mat. Univ. Complut. Madrid, Madrid, España |
| Revista | 0010-0757 |
| Publicación | 1986, 37 (1): 81-83, 1 Ref. |
| Tipo de documento | articulo |
| Idioma | Inglés |
| Clasificación UNESCO | 110206 |
| Palabras clave español | Función recursiva |
| Código MathReviews | MR0882793 |
| Código Z-Math | Zbl 0627.03042 |
 Acceso al artículo completo |
|