Etiqueta: Metamatemática

Filosofía de la Matemática

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.

Filosofía de la Matemática

El Programa de Hilbert

El Programa de Hilbert fue la respuesta ofrecida por el alemán David Hilbert al debate acerca de los fundamentos de la Matemática.

Filosofía de la Matemática

Brouwer y la crítica intuicionista

Brouwer dio inicio a una nueva perspectiva matemática conocida como Intuicionismo, destinada a replantear sus más elementales fundamentos.

Metamatemática

Los Axiomas de Zermelo-Fraenkel

Los Axiomas de Zermelo-Fraenkel suponen el primer intento exitoso de formalizar y axiomatizar la Teoría de Conjuntos iniciada por Cantor.

Lógica

El Axioma de Elección

El Axioma de Elección fue necesario para salvaguardar la Teoría de Conjuntos cantoriana muy a pesar de la polémica que suscitó.

Lógica

La Paradoja de Russell

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.

Lógica

Metalógica de Proposiciones

La Metalógica de Proposiciones estudia los lenguajes de Lógica Proposicional como un todo con propiedades no son reducibles a las partes.