A brief history of time