Vida a ojos de un mago matemático

Ya lo he dicho antes, estar haciendo matemáticas por más de 10 años te lleva a pensar de manera un poco diferente. En matemáticas, siempre buscamos un hilo de premisas lógicas para ir de un punto A a un punto B. El cómo llegar es un tema diferente, lo importante es que en el proceso de ir de la hipótesis a la tesis se usa todo lo que se sabe. Y no solo de matemáticas; por eso, es muy importante tener una forma de abstraer ideas y conceptos para ponerlos en ese hilo lógico. Esto siempre me lleva a preguntarme cómo se definen las cosas. Si estás escribiendo una prueba y usas una biyección (lo que sea que sea eso), muchas veces utilizas las implicaciones de su definición: que es un relación entre conjuntos, que es sobreyectiva e inyectiva. Y cada una de estas propiedades tiene su propia definición. Todo esto, con el fin de ser precisos a la hora de argumentar. Esa forma de pensar se traslada a mi día a día. Si alguien me dice "es que un carro tiene que tener 4 llantas", digo: ...

Esta entrada nace de estar dándole vueltas a una idea sobre el principio de Kruskal, que sin querer, me di cuenta que lo que estaba pensando en realidad es un procedimiento que parece igual, pero que matemáticamente hablando es diferente. Pero a ver, algo de contexto antes de tirar la idea aquí. Generalmente, cuando un principio matemático tiene que ver con probabilidad no suelo incluirlo en mis herramientas para hacer magia. Primero porque estoy pendejo, y segundo porque, al ser probabilidad, no va a funcionar el 100% de las veces. Y ahí está la cosa... Resulta que mi error estaba en no haber tenido en cuenta que, aunque no funcione el 100% de las veces, como mago tengo otras herramientas para asegurar que sí o sí funcione siempre. Y ahí fue donde me dije "démosle una oportunidad al principio de Kruskal". Mini preliminares matemáticos que no son tan matemáticos pero si son necesarios: Como bien dice el subtítulo innecesariamente largo, hay que hablar del principio desde un p...