Etiqueta: Metamatemá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.

La Máquina Oráculo utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.plugin cookies

ACEPTAR
Aviso de cookies