
METAMATEMÁTICA:
DE CANTOR A GÖDEL
Metamatemática
A finales del siglo XIX, viejas ideas matemáticas consideradas obvias empezaron a ser puestas en duda. Muchos intentaron conservar el edificio de la matemática acumulado durante siglos mediante el estudio de los métodos y conceptos más fundamentales de la matemática en sí. Esto es lo que se conoce como Metamatemática.
Esta serie se organizará en varios artículos siguiendo aproximadamente un orden histórico, desde las investigaciones sobre el infinito de Georg Cantor hasta los teoremas de Gödel.
Es muy recomendable tener ciertas nociones sobre lógica formal. Por ello recomendamos antes visitar nuestra serie de artículos sobre el tema.
Artículos de la Serie
01

02

Paradojas del Infinito
David Baños Abril
03

La Teoría de Conjuntos de Cantor
David Baños Abril
04

Los números transfinitos
David Baños Abril
05

El Continuo matemático
David Baños Abril
06

El logicismo y lógica moderna
David Baños Abril
07

La aritmética de Frege
David Baños Abril
08

La Paradoja de Russell
David Baños Abril
09

Paradojas y la Teoría de Tipos
David Baños Abril
10

El Axioma de Elección
David Baños Abril
11

Los Axiomas de Zermelo-Fraenkel
David Baños Abril
12

Brouwer y la crítica intuicionista
David Baños Abril
13

El Programa de Hilbert
David Baños Abril
14

La Teoría de la Prueba
David Baños Abril
15

El Problema de Decisión
David Baños Abril
16

Kurt Gödel y la Metamatemática
David Baños Abril
17

Los Teoremas de Incompletitud de Gödel
David Baños Abril
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17