Next Wednesday P. Sánchez Terraf (CIEM-FaMAF) will give us a talk presenting two elementary problems with a set-theoretic solution.
Título: Dos problemas señeros.
Resumen: Discutiré dos problemas de enunciado bastante elemental, pero que su solución requiere el desarrollo (no así axiomas o hipótesis) de cierta cantidad de Teoría de Conjuntos “seria”. Brevemente, el primer problema pregunta cuántos puntos hay que agregar a un orden total arbitrario para cambiar su tipo de isomorfismo; la respuesta, sorprendentemente, es uno solo. El segundo problema, da una versión conjuntista de que es imposible iterar indefinidamente el logaritmo (i.e., no se puede definir la sucesión $x_{n+1} := \log x_n$ para todos los $n$ naturales, sin importar donde uno comience). Más info acerca de esta charla en mi blog.
(source)