Axiomatizar, el sueño ¿fallido? de los matemáticos
Wir müssen wissen. Wir werden wissen. David Hilbert Uno de los grandes proyectos de los matemáticos ha sido el de identificar axiomas, verdades indiscutibles, sobre los que construir todo el edificio de las matemáticas. ¿Es posible conseguir tal ambicioso objetivo? Veamos la relevancia del proyecto. En Los Elementos, Euclides puso la primera piedra del proyecto. Identificó una serie de axiomas de los cuáles, mediante razonamientos lógicos, derivada proposiciones, teoremas y corolarios. En geometría sus famosos cinco primeros axiomas dieron mucho…