Uma nova ponte liga a estranha matemática do infinito à ciência da computação

Teóricos descritivos estudam o nicho da matemática do infinito. Agora, eles mostraram que seus problemas podem ser reescritos na linguagem concreta de algoritmos.