EDICIóN GENERAL

Las matemáticas… ¿invento o descubrimiento? Un milenario debate sin resolver

#28 Los axiomas que se usan son de lo más razonable y minimalista. Lo de los distintos conjuntos de axiomas viene de la resulución de problemas especiales (números transfinitos), pero debes notar que no se trata de axiomas escogidos porque sí, sino de dos conjuntos concretos que son los que son y no otros. Afectan a algo, pero no al todo.

Escoger axiomas al azar lleva a contradicciones, no a resultados distintos.

Peor es eso de que la lógica matemática no puede ser completa y demostrable a la vez.

Estas cosas reflejan la realidad(1). No son escogibles. No puede existir una matemática que sea completa y demostrable. Es así y lo es para todo el mundo en todos los tiempos y lugares. Si ahora nace una civilización calculadora en la galaxia GN-z11 y les da por mirar eso de la lógica, no les va a salir completa y demostrable. Les va a salir como es. Luego no se la han inventado, la han descubierto.

(1) Me doy cuenta de que he colocado a las matemáticas dentro de la realidad. Así lo veo yo.

P.S. Así razono yo que las mates son reales. Me gustaría ver el razonamiento del porqué son inventadas, pero solo lo leo como punto de partida. No me vale para nada.

menéame