2018 : WHAT IS THE LAST QUESTION?

siobhan_roberts's picture
Director’s Visitor, Institute for Advanced Study, Princeton; Author, Genius at Play and King of Infinite Space
The Last Question

 

Can a user-friendly computer proof assistant satisfy the mathematician’s desire for certainty without killing the pleasure?