Tim muses about the timeless nature of mathematical truthsÂ