A short history of time