En la entrada previa, hablamos de la conjetura de Kepler y como fue resuelta por Thomas Hales, con la ayuda de los ordenadores. Vamos ahora a comentar cuál fue en concreto esa ayuda. Como decíamos, en enero de 2003, Hales…
En su ensayo Strena seu de nive sexángula (El copo de nieve de seis ángulos), Johannes Kepler planteó su famosa conjetura de empaquetamiento, resuelta 300 años después por Thomas Hales. Años antes, Kepler había compartido correspondencia con el astrónomo y…
Un reciente artículo en Nature, Moon mapper, Sun spotter: the astonishing Thomas Harriot, escrito por Georgina Ferry, atrajo mi atención sobre la figura de este notable matemático, que tuvo una enorme influencia (muchas veces no confesada) sobre los trabajos de…
