Soy matemático interesado en la teoría de conjuntos, la teoría ordinal, la combinatoria infinita y la topología general. ¿Existen aplicaciones para estos temas en informática? He buscado un poco y he encontrado muchas aplicaciones (por supuesto) para la teoría de grafos finitos, topología finita,...