Etiqueta: Metamatemática

Filosofía 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.

septiembre 21, 2022

Filosofía 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.

septiembre 15, 2022

Filosofía de la Matemática

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

mayo 25, 2022

Metamatemática

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

febrero 3, 2022

Lógica

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

enero 4, 2022

Lógica

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.

diciembre 1, 2021

Lógica

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

enero 10, 2021

Artículos Populares