Entidades subrogatorias: La sala de máquinas de la inferencia matemática
Hoy vamos a detenernos en una cuestión fundamental de la filosofía de la práctica matemática contemporánea: cómo logramos asir aquello que, por su propia naturaleza abstracta, resulta inalcanzable. Hablo del concepto de entidades subrogatorias y su imprescindible papel inferencial. (En un trabajo fin de master abordé precisamente esto, bajo el título: las entidades subrogatorias y su papel inferencial en la emergencia de los objetos matemáticos) En matemáticas, rara vez manipulamos el "objeto en sí". A menudo es demasiado abstracto, inabarcable o se encuentra en pleno proceso de definición formal. En su lugar, operamos con sustitutos cognitivos, representaciones intermedias como símbolos, diagramas o modelos. Es a través de la manipulación directa, disciplinada y formal de estos sustitutos que emergen las propiedades y, en última instancia, la existencia misma de los nuevos objetos matemáticos. La naturaleza de la entidad subrogatoria El término bebe del concepto de razona...