This paper integrates into public economics a biologically founded, stochastic process of individual ageing. The novel approach enables us to investigate the interaction between health and retirement policy in order to quantitatively characterize the optimal joint design of the social insurance system today and in response to future medical progress, and its implications for health inequality....