Reporting back from this year's World Science Festival: how artificial intelligence will help us deal with the unsolvable and yes even the certain.
As a theoretical physicist, Janna Levin probes whether the universe is finite or infinite. As a novelist, she explored the separate but parallel lives of two influential 20th-century scientists: Kurt Gödel and Alan Turing. Their work laid the foundations for computer intelligence while challenging fundamental notions about how we can know what is true.
Comments from two cosmologists and NASA's images from a refurbished Hubble.