EDICIóN GENERAL

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

Si hay lógicas paraconsistentes significa que hay partes de las matemáticas que son inventadas y encajan en la realidad. Ahora bien, hay relaciones que están ahí aunque nosotros les demos nombres y conceptos que antes no existían, como 1.

Edit.
Lo dice #73 mucho mejor.
#75 Lo que pasa es que creo que cualquier sistemá lógico que inventes a partir de leyes sencillas tendré propiedades emergentes. Esto lo digo desde el punto de vista de alguien que sabe algo de informática. En un vídeo jugo pones unas reglas pero luego aparecen "bugs" sobre cosas totalmente inesperadas. Y siempre podrás comparar ese modelo lógico con algo que se le asemeje...

Lo he comentado en otros sitios, pero por ejemplo me parece absurdo hablar de números imaginarios. Por definición no existen, pero luego si das por sentado que existen aparecen una serie de propiedades que pueden ser útiles.

menéame