Sociedad

Martin Gadner.Konrad JacobsNos preguntábamos la semana pasada cuál es la cadena más larga que se puede construir con tres dígitos -1, 2 y 3- sin repetir ninguno ni ninguna secuencia de dígitos de forma consecutiva. La respuesta es que no hay límite de longitud para tal cadena, pues a partir de la sucesión de Thue […]

14 de noviembre de 1969. El día había amanecido gris y las condiciones empeoraban hora a hora. Un frente frío avanzaba desde el noroeste, trayendo lluvia y actividad eléctrica. Una espesa capa de nubes cubría ya la costa occidental de Florida, y las instalaciones del Centro Kennedy, por lo general resplandecientes bajo el sol, mostraban

Edmund E. Clarke.Universidad carnegie mellon Encontrar errores en los programas informáticos es una tarea titánica con una curiosa historia. Uno de los padres de la técnica del model checking (verificación de modelos) para el análisis y detección de dichos fallos fue el profesor Edmund E. Clarke, fallecido de covid el pasado diciembre. Pero el equipo

Rublev celebra su triunfo contra Ruud, este sábado en Montecarlo.SEBASTIEN NOGIER / EFEEl viento se hace notar en Montecarlo, donde las corrientes impulsan a dos de los jóvenes llamados a marcar el paso a medio plazo, si no más pronto que tarde, quién sabe. Son Stefanos Tsitsipas y Andrey Rublev, dos talentos que asoman, golpean