
La Teoría de la Prueba
La Teoría de la Prueba ofrecida por Hilbert tenía por objetivo demostrar la ausencia de contradicciones en los fundamentos de la Matemática.
La Teoría de la Prueba ofrecida por Hilbert tenía por objetivo demostrar la ausencia de contradicciones en los fundamentos de la Matemática.
El Programa de Hilbert fue la respuesta ofrecida por el alemán David Hilbert al debate acerca de los fundamentos de la Matemática.
Brouwer dio inicio a una nueva perspectiva matemática conocida como Intuicionismo, destinada a replantear sus más elementales fundamentos.
Los Axiomas de Zermelo-Fraenkel suponen el primer intento exitoso de formalizar y axiomatizar la Teoría de Conjuntos iniciada por Cantor.
El Axioma de Elección fue necesario para salvaguardar la Teoría de Conjuntos cantoriana muy a pesar de la polémica que suscitó.
La Paradoja de Russell amenazó a gran parte de los proyectos llevados a cabo en el siglo XIX por fundamentar la matemática de forma rigurosa.
La Metalógica de Proposiciones estudia los lenguajes de Lógica Proposicional como un todo con propiedades no son reducibles a las partes.
La Máquina Oráculo » Metamatemática