¿Quién formuló el problema de la parada?