Kurt F. Gödel (1906-1978).
Mariano Martínez Pérez (1998)
Historia de la Matemática
Similarity:
Displaying similar documents to “Una demostración del Teorema de Incompletitud de Gödel.”
Kurt F. Gödel (1906-1978).
La ignorancia de Bourbaki.
A. R. D. Mathias (2004)
Gaceta de la Real Sociedad Matemática Española
Similarity:
Kurt Gödel 1906–1978, a life dedicated to meditation. (Kurt Gödel 1906–1978, una vida dedicada a la reflexión.)
di Prisco, Carlos Augusto (2006)
Boletín de la Asociación Matemática Venezolana
Similarity:
El método axiomático y álgebra de relaciones y condiciones lógicas.
Juan Esteban Palomar Tarancón (1971)
Gaceta Matemática
Similarity:
Sistemas axiomáticos más usuales de la teoría de conjuntos.
Miguel L. Laplaza (1970)
Gaceta Matemática
Similarity:
De lo viejo a lo nuevo en Teoría de la Computación: teoría de lenguajes formales y de autómatas vs. computación molecular.
Carlos Martín Vide, Gheorghe Paun (2002)
Gaceta de la Real Sociedad Matemática Española
Similarity:
La verificación estructural de sistemas basados en conocimiento.
Luis M. Laita (1995)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Un método de construcción de estructuras basado en la forma normal distributiva.
Mario Rodríguez Artalejo (1981)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity:
Un episodio de la crisis de fundamentos: 1904.
José Ferreirós (2004)
Gaceta de la Real Sociedad Matemática Española
Similarity:
Problemas de aritmética y álgebra con las nociones correspondientes de crítica algorítmico
Zoel Garcia de Galdeano y Yanguas
Similarity:
La obra matemática de Bertrand Russell (1872-1970).
José Javier Etayo (1970)
Gaceta Matemática
Similarity: