![Foto de JOSÉ](/img/nophoto.png)
JOSÉ
FERNÁNDEZ-PRIDA DE CARLOS
Researcher to 2008
Publications (26) JOSÉ FERNÁNDEZ-PRIDA DE CARLOS publications
2009
-
Lógica matemática
Marova
2006
-
El revolucionador de la metamatemática
Números: Revista de didáctica de las matemáticas, Núm. 64
2004
-
Teorías inseparables
Trotta
1999
-
A nonstandard approach to arithmetic.
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Vol. 93, Núm. 2, pp. 227-229
1996
-
Una caracterización topológica de las clases elementales
Calculemos... Matemáticas y libertad: homenaje a Miguel Sánchez-Mazas (Servicio de Publicaciones), pp. 223-228
1995
-
Aleatoreidad e inmunidad
Revista matemática de la Universidad Complutense de Madrid, Vol. 8, Núm. 2, pp. 345-354
1994
-
Inmersión versus representación (un estudio heterodoxo de la aritmética)
Contribuciones matemáticas: libro-homenaje al profesor José Javier Etayo (Editorial Complutense), pp. 179-188
-
Números superaleatorios
Theoria: an international journal for theory, history and foundations of science, Vol. 9, Núm. 20, pp. 185-188
1992
-
Un problema indecidible
Revista de filosofía, Núm. 8, pp. 233-234
-
Un teorema de multirrecursión
Theoria: an international journal for theory, history and foundations of science, Vol. 7, Núm. 16, pp. 87-90
1986
-
A direct proof of Gödel's incompleteness theorem
Collectanea mathematica, Vol. 37, Fasc. 1, pp. 81-83
1982
-
A non-standard study of the theory of relative recursivity
Collectanea mathematica, Vol. 33, Fasc. 2, pp. 201-214
1981
-
Inseparabilidad recursiva y efectiva
Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 38, pp. 56-60
-
Una versión más fuerte del Teorema de Büchi
Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario (Madrid : Ministerio de Educación y Ciencia, 1981), pp. 13-18
1979
-
Una prueba muy simple del teorema de Craig
Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 35, pp. 1-2
1978
-
Una nueva prueba del teorema de incompletitud de la aritmética
Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 32, pp. 1-3
1977
-
Generalización del teorema de la forma normal de Kleene al caso de la recursividad relativa
Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 30, pp. 1-15
1976
-
Clases de fórmulas aritméticas en la 1-reducibilidad
Boletín del Centro de Cálculo de la Universidad Complutense, Núm. 28, pp. 1-44
-
Teorías recursivas, creativas y productivas
Coloquio sobre lógica simbólica: Madrid, febrero 1975
1975
-
104 problemas resueltos de teoría de la computabilidad
[Madrid, Universidad Complutense, Servicio de Publicaciones, 1975]